神舟飛船的關(guān)鍵性軟件測試
中國的載人航天工程于1992 年1 月被正式批準，并命名為“載人航天工程”。載人飛船工程由航天員、飛船應用、載人飛船、運載火箭、發(fā)射場(chǎng)、著(zhù)陸場(chǎng)和航天測控與通信等七大系統構成。飛船從論證到發(fā)射，共要進(jìn)行四次無(wú)人實(shí)驗，兩次載人飛行，發(fā)射載人飛船，要具備三個(gè)條件：一、性能可靠的大推力火箭；二、完備的維持生命系統；三、萬(wàn)無(wú)一失的衛星回收技術(shù)。
在這些復雜的電子系統中，系統的可靠性是關(guān)鍵。而構成這些系統的系統軟件又是該系統關(guān)鍵之關(guān)鍵，在這之前，歐洲阿麗亞那5 的失敗就是軟件導致的沉痛教訓。我國的載人航天工程從項目成立開(kāi)始就按照軟件工程化思路來(lái)進(jìn)行管理和設計，嚴格對軟件進(jìn)行質(zhì)量過(guò)程控制。為此，航天集團專(zhuān)門(mén)成立了軟件專(zhuān)家小組，設立了七個(gè)航天軟件評測機構，對不同的關(guān)鍵性軟件進(jìn)行測試和評估。
旋極公司積極引進(jìn)國外的軟件測試先進(jìn)思想和工具，并結合航天集團各評測機構的特點(diǎn)，為這些評測機構提供軟件測試咨詢(xún)、測試方案、測試工具等服務(wù)，為各評測機構的測試提供了需求分析、需求測試、測試用例自動(dòng)化設計、單元測試、集成測試和系統測試等測試平臺和環(huán)境，并進(jìn)行技術(shù)專(zhuān)業(yè)培訓和技術(shù)合作等服務(wù)。特別是在嵌入式匯編語(yǔ)言環(huán)境測試中，為航天測評機構提供了實(shí)時(shí)性很強的專(zhuān)業(yè)匯編測試工具，并取得良好的效果。
