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