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

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

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

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

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

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

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

行業：核電數字化儀控系統設計、制造和工程服務

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

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

使用C++test 的主要好處

• 提高測試效率，減少重復勞動
• 提高軟件整體質量
• 優化團隊人力資源分配

關于北京廣利核系統工程有限公司

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