核電行業(yè)對系統(tǒng)可靠性的高標準要求，決定了廣利核公司開發(fā)的所有軟件系統(tǒng)都必須要經(jīng)過極其嚴格的代碼測試和單元測試，包括嵌入式設(shè)備和純軟件的應(yīng)用，都必須要滿足相關(guān)的開發(fā)標準和質(zhì)量要求，比如 IEC60880,CMMI 等等標準。而這些測試工作如果全靠人工來完成，無論是從工作效率還是質(zhì)量的角度來說，都存在很大的不確定性。在這種背景下，廣利核公司需要尋找一種自動化的測試工具和方法來輔助項目的順利完成。

2009 年初，廣利核公司多方評估了市場上的多種商業(yè)的和開源的測試軟件，主要包括 DRA TestBed,IBM RTRT,Parasoft C++test CPPunit 等，在綜合考慮了 Parasoft C++test 在靜態(tài)測試偵錯能力和單元測試效率上的顯著優(yōu)勢之后，廣利核于 2009 年 8 月最終了選擇美國 Parasoft 公司的 C++test 作為質(zhì)量部的測試工具。

在經(jīng)過前期的培訓(xùn)和工作流程的熟悉之 后，現(xiàn)已將 C++test 的靜態(tài)編碼規(guī)則分析，數(shù)據(jù)流分析，單元測試等功能成功地部署在廣利核實際的項目工作中，并在將近大半年的使用中看到明顯的效果。

使用 C++test BugDetective 數(shù)據(jù)流分析在廣利核 10 萬行代碼級的 VC 項目中測試出 15 個重大程序缺陷，和幾十個代碼隱患，包括空指針引用、數(shù)組越界、未初始化引用、內(nèi)存泄漏等。

針對 BugDetective 的測試結(jié)果，引入了相關(guān)的編碼規(guī)范集合‘Parasoft Recommended Rules’，用 C++test 自動化地實施到開發(fā)人員的編碼過程中，實現(xiàn)對常發(fā)生問題的自動化預(yù)防，并節(jié)約了大約 80?的人工代碼審查編碼規(guī)范的工作。

運用 C++test 單元測試功可以自動生成單元測試用例，節(jié)省了人工編寫測試代碼的工作量，提高測試效率，并能準確地統(tǒng)計 6 種測試覆蓋率。使用 C++test 進行測試，還發(fā)現(xiàn)了相比于手工測試兩倍的程序缺陷，同時提高了大約 30?的測試效率。

總的來說，通過使用 Parasoft C++test，廣利核公司在測試質(zhì)量和效率上有了顯著提高。并讓更多的人力資源解放出來從事更有價值的人工工作，對團隊資源配置和工作流程優(yōu)化也很有幫助。鑒于此，我們準備將其應(yīng)用到更多的項目中去。（作者：劉軍利）

行業(yè)：核電數(shù)字化儀控系統(tǒng)設(shè)計、制造和工程服務(wù)

軟件需求：廣利核質(zhì)量部門為了滿足核電行業(yè)對軟件開發(fā)和質(zhì)量的要求，需要找到一種合適的解決方案，對自主開發(fā)的嵌入式和非嵌入式軟件進行高效的全面的測試，包括對 C/C++程序進行代碼審查和單元測試的工作。

Parasoft 解決方案：Parasoft C++test 自動化測試工具，包括靜態(tài)編碼規(guī)范分析，BugDetective 數(shù)據(jù)流分析和單元測試等功能，讓廣利核準確高效地檢查編碼規(guī)范，自動分析程序運行時錯誤，自動化地輔助單元測試工作，從而有效地提高軟件質(zhì)量和測試效率。

使用C++test 的主要好處

• 提高測試效率，減少重復(fù)勞動
• 提高軟件整體質(zhì)量
• 優(yōu)化團隊人力資源分配

關(guān)于北京廣利核系統(tǒng)工程有限公司

北京廣利核系統(tǒng)工程有限公司（ChinaTechenergyCo.,Ltd,CTEC，下簡稱“廣利核”）是中廣核工程有限公司與北京和利時系統(tǒng)工程有限公司共同出資成立的從事核電數(shù)字化儀控系統(tǒng)設(shè)計、制造和工程服務(wù)的專業(yè)化公司。公司總部位于中國北京，以推進核電儀控系統(tǒng)國產(chǎn)化、自主化進程為使命，立足專業(yè)化、自主化、國際化的發(fā)展戰(zhàn) 略，面向核電站提供端到端、全生命周期的數(shù)字化儀控系統(tǒng)解決方案，業(yè)務(wù)涵蓋工程設(shè)計、產(chǎn)品制造、系統(tǒng)集成、定制開發(fā)、技術(shù)支持和服務(wù)外包等多個領(lǐng)域，公司業(yè)績幾乎涉及國內(nèi)所有在役和在建核電站。