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