LDRA贏得了中國載人航天工程一百萬美金的合同
國際電子商情訊 CMSP(中國載人航天工程)選擇在自動化的軟件驗(yàn)證工具供應(yīng)商具有領(lǐng)導(dǎo)地位的LDRA,以及LDRA工具包用來分析復(fù)雜的天宮一號飛船關(guān)鍵應(yīng)用。需要滿足DO-178B的A級驗(yàn)證的天宮號飛船,將進(jìn)行空間交會對接試驗(yàn),全面支持CMSP任務(wù)要求。LDRA工具包使得CMSP開發(fā)者能夠達(dá)到高安全苛刻性標(biāo)準(zhǔn)的要求,并確保飛船的安全發(fā)射。
從2001年以來，LDRA工具包已經(jīng)成功應(yīng)用在中國航天工程計劃中,實(shí)現(xiàn)了對軟件的安全性和任務(wù)苛刻性的驗(yàn)證。在最新發(fā)展階段,CMSP被要求使用國軍標(biāo)GJB5369進(jìn)行編碼規(guī)則檢查,采取自動化的單元測試,分析代碼覆蓋率要達(dá)到DO-178B的A級標(biāo)準(zhǔn)包含的MCDC級以及對天宮1號飛船的苛刻性系統(tǒng)進(jìn)行目標(biāo)碼驗(yàn)證。LDRA工具包是唯一一個完全滿足這些最新軟件測試需求的商用工具并且提供了終身服務(wù)。
代理商上海創(chuàng)景計算機(jī)系統(tǒng)有限公司為中國航天工程提供了LDRA軟件測試工具和服務(wù)。該公司總經(jīng)理張志強(qiáng)說:“編碼規(guī)則檢查在中國已經(jīng)成為廣泛的需求,LDRA工具包能深入分析數(shù)據(jù)流的缺陷而這些是其它工具所不能發(fā)現(xiàn)的,另外工具包的自動化功能使單元測試成為一個不間斷且高效的過程?！?/FONT>
LDRA工具包對于CMSP測試過程支持的關(guān)鍵在于LDRA Testbed,這個是LDRA工具包的核心管理工具,它是自動化軟件驗(yàn)證的組成基礎(chǔ)。Testbed分析代碼,對源碼進(jìn)行質(zhì)量評審和設(shè)計評審,它還能管理測試認(rèn)證進(jìn)行包括語句,分支,MC/DC,測試路徑及其函數(shù)調(diào)用的度量。
配合Testbed的是LDRA的自動化單元測試工具TBrun,它是依據(jù)測試數(shù)據(jù)自動生成驅(qū)動程序及其自動樁體創(chuàng)建的用戶圖形界面。LDRA采取這個技術(shù)的比其他廠商一個更長遠(yuǎn)的考慮是讓用戶使用object-box模式創(chuàng)建一個高水平源碼結(jié)構(gòu)覆蓋率的測試用例。這些完全相同的測試案例,應(yīng)用到相應(yīng)的目標(biāo)代碼,以滿足DO - 178B的A級要求。TBrun提供了一個先進(jìn)的,高自動化的測試工具,它在開發(fā)生命周期的能更有效更早地準(zhǔn)確發(fā)現(xiàn)代碼缺陷,從而減少了在正式的測試時的缺陷數(shù)量,并且降低了按時、按預(yù)算交付的軟件的難度。
LDRA執(zhí)行董事Ian Hennell說:“LDRA工具包已經(jīng)應(yīng)用于航空和國防軟件市場的案例,比如中國的載人航天和月球探測計劃,成功的推動了LDRA在中國擴(kuò)展更廣泛的市場。在LDRA,我們將承諾幫助開發(fā)人員完成高質(zhì)量軟件,令人高興的是成為和全部工程開發(fā)團(tuán)隊一起推進(jìn)中國整個軟件開發(fā)生命周期技術(shù)的一部分?！?/FONT>
下載文檔
