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