中國(guó)載人航天二期工程采用旋極公司的測(cè)試工具
隨著神舟六號(hào)的成功發(fā)射和回收，中國(guó)載人航天計(jì)劃進(jìn)入第二個(gè)階段。載人航天工程第一階段取得圓滿的成功與其關(guān)注軟件質(zhì)量和軟件工程是分不開的，中國(guó)航天的軟件工程化水平隨著載人航天工程的發(fā)展逐步提高。載人航天二期啟動(dòng)后，軟件專家組組織編寫了一套軟件工程化技術(shù)標(biāo)準(zhǔn)，其中首次明確提出，在單元測(cè)試時(shí)，對(duì)高級(jí)語(yǔ)言編寫的A、B 級(jí)軟件要達(dá)到MC/DC 覆蓋率100%，同時(shí)要開展目標(biāo)碼覆蓋分析。
2009 年3 月，載人航天工程軟件專家組成員到旋極公司考察軟件測(cè)試工具，重點(diǎn)考察目標(biāo)碼測(cè)試工具SystemVerify和MC/DC 覆蓋率分析工具Cantata++。在聽取旋極公司對(duì)工具的介紹并觀看了產(chǎn)品演示，并對(duì)工作原理和技術(shù)難點(diǎn)進(jìn)行了深入的溝通交流之后，專家組一致認(rèn)為SystemVerify 是目前唯一一款不利用插裝技術(shù)進(jìn)行真正的目標(biāo)碼測(cè)試的工具，其好處是對(duì)被測(cè)軟件沒(méi)有干擾，結(jié)果最真實(shí)。Cantata++ 產(chǎn)品成熟、技術(shù)先進(jìn)，關(guān)于MC/DC 的分析詳細(xì)豐富，適合載人航天二期對(duì)測(cè)試的各項(xiàng)技術(shù)要求。此外旋極公司代理的QAC 產(chǎn)品也是目前業(yè)內(nèi)領(lǐng)先的編程標(biāo)準(zhǔn)檢查工具，完全支持載人航天工程編程標(biāo)準(zhǔn)。
2009 年10 月，載人航天二期各個(gè)單位開始在旋極公司技術(shù)人員配合下安裝部署SystemVerify，Cantata++ 和QAC，經(jīng)過(guò)一段時(shí)間的培訓(xùn)和在型號(hào)軟件中的使用，目前SystemVerify 已經(jīng)在所有相關(guān)單位成功聯(lián)調(diào)，能夠很好的支持各單位所使用的處理器型號(hào)和編譯器。Cantata++ 在型號(hào)所涉及的目標(biāo)環(huán)境下已經(jīng)成功的調(diào)試完成，在SZIDE、Tornado、CCS 等目標(biāo)環(huán)境下可以在嵌入式環(huán)境下開展測(cè)試，QAC 在各個(gè)開發(fā)和評(píng)測(cè)單位憑借其配置簡(jiǎn)單，使用方便的特點(diǎn)目前已經(jīng)廣泛的被軟件開發(fā)和人員作為日常所用的標(biāo)準(zhǔn)代碼檢查工具使用。
在這些測(cè)試產(chǎn)品的安裝、培訓(xùn)和調(diào)試過(guò)程中，旋極公司的技術(shù)人員憑借10 多年嵌入式測(cè)試經(jīng)驗(yàn)，給客戶提供了優(yōu)質(zhì)的技術(shù)支持。
