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