航天科工集團飛航技術研究院推廣QAC/QAC++ 編程標準檢查工具
2007 年初,航天科工集團飛航技術研究院準備在全院各個研發單位實施編程標準,具體的標準制定和工具選型由北京京航計算通訊研究所牽頭開展。2007 年9 月,北京京航計算通訊研究所對多家供應商及其工具進行調研并實際試用評估,認為QAC/QAC++:
● 能夠滿足航天科工集團飛航技術研究院對C/C++ 編程規則進行自動檢查的要求
● 可以針對航天科工集團飛航技術研究院提出的附加規則進行開發和定制
● 成熟的許可證管理機制可以在航天科工集團飛航技術研究院內網部署
● 具有許可證資源沖突和超時管理的機制
● 分析速度非常快
● 可以生成多種格式的報告,報告模板可以定制進行綜合比較,QAC/QAC++ 功能強大,且性價比最高,最終選擇了旋極公司代理的英國PR 公司的QAC 和QAC++,作為在全院范圍內強制執行編程標準檢查的指定工具。
旋極公司在軟件工程化和軟件測試領域處于國內領先地位,有著10 多年的經驗,是很多國防和軍工研發單位軟件工程化和測試方案的供應商和服務商,旋極公司不僅僅為客戶提供軟件測試的工具,更憑借雄厚的技術實力和長期積累的經驗為用戶提供工具實施和項目開發的咨詢服務。
北京京航計算通訊研究所工程師和旋極公司工程師一起對GJB5369-2005《航天型號C 語言安全子集》以及《EffectiveC++》等標準進行分析,最后對航天三院的C/C++ 標準進行調整和優化,并由旋極公司提供專門的檢查模塊。
2008 年4 月,由北京京航計算通訊研究所和旋極公司共同對涉及三院的所有軟件研發單位進行了編程標準和工具使用的培訓。工具許可證安裝在院信息中心機房服務器上,院各單位通過內網獲取浮動許可證本地使用。
項目啟動以來,QAC/QAC++ 在各軟件研發單位發揮了巨大的作用,已經成為型號軟件開發中的必不可缺的常用工具,保證了型號軟件的標準符合性和軟件的質量。