神舟飛船的關(guān)鍵性軟件測試
中國的載人航天工程于1992 年1 月被正式批準(zhǔn)，并命名為“載人航天工程”。載人飛船工程由航天員、飛船應(yīng)用、載人飛船、運載火箭、發(fā)射場、著陸場和航天測控與通信等七大系統(tǒng)構(gòu)成。飛船從論證到發(fā)射，共要進(jìn)行四次無人實驗，兩次載人飛行，發(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)。我國的載人航天工程從項目成立開始就按照軟件工程化思路來進(jìn)行管理和設(shè)計，嚴(yán)格對軟件進(jìn)行質(zhì)量過程控制。為此，航天集團(tuán)專門成立了軟件專家小組，設(shè)立了七個航天軟件評測機(jī)構(gòu)，對不同的關(guān)鍵性軟件進(jìn)行測試和評估。
旋極公司積極引進(jìn)國外的軟件測試先進(jìn)思想和工具，并結(jié)合航天集團(tuán)各評測機(jī)構(gòu)的特點，為這些評測機(jī)構(gòu)提供軟件測試咨詢、測試方案、測試工具等服務(wù)，為各評測機(jī)構(gòu)的測試提供了需求分析、需求測試、測試用例自動化設(shè)計、單元測試、集成測試和系統(tǒng)測試等測試平臺和環(huán)境，并進(jìn)行技術(shù)專業(yè)培訓(xùn)和技術(shù)合作等服務(wù)。特別是在嵌入式匯編語言環(huán)境測試中，為航天測評機(jī)構(gòu)提供了實時性很強的專業(yè)匯編測試工具，并取得良好的效果。
