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