近日，日本主要的噴氣式發(fā)動(dòng)機(jī)制造商IHI選擇LDRA工具套件對(duì)其C語(yǔ)言和Ada語(yǔ)言的源代碼進(jìn)行滿足DO-178B認(rèn)證要求的驗(yàn)證；并且欣喜的發(fā)現(xiàn)LDRA工具套件比之前的覆蓋率分析過程速度提高十四倍。雖然IHI選擇LDRA獲獎(jiǎng)的工具套件是因?yàn)槠渖钊氲暮投鄻有曰墓ぞ?，但是?duì)于極端緊張的開發(fā)計(jì)劃，速度的提升對(duì)于整個(gè)相關(guān)的全面成功也證明是一個(gè)重要的因素。

IHI占有日本70%的市場(chǎng)，是國(guó)防部主要的飛行器引擎承包商，并且參與國(guó)際合作項(xiàng)目為民用飛行器開發(fā)各類大型，小型引擎。因?yàn)檫@樣的市場(chǎng)地位，IHI要求達(dá)到DO-178B的A級(jí)認(rèn)證，這是針對(duì)航空電子軟件最苛刻的測(cè)試標(biāo)準(zhǔn)。

按照DO-178B標(biāo)準(zhǔn)的要求，象LDRA工具套件這樣的軟件確認(rèn)工具要求一個(gè)項(xiàng)目一個(gè)項(xiàng)目的被進(jìn)行資質(zhì)確認(rèn)。因此，在評(píng)估LDRA工具套件的價(jià)值時(shí)，IHI將供應(yīng)商對(duì)工件資質(zhì)能夠提供的幫助作為一個(gè)很重要的價(jià)值進(jìn)行考慮。LDRA對(duì)客戶工作的極好的追蹤記錄以及FAA對(duì)項(xiàng)目中使用的LDRA工件套件的審查都成為了重要的影響因素。IHI想想從LDRA多年進(jìn)行DO-178B驗(yàn)證的經(jīng)驗(yàn)中獲益。

DO-178B標(biāo)準(zhǔn)是針對(duì)航空

“IHI選擇LDRA工具套件將能夠使公司擴(kuò)展其在航空引擎設(shè)計(jì)領(lǐng)域的優(yōu)勢(shì)，”LDRA公司運(yùn)營(yíng)官Ian Hennell評(píng)論到，“客戶需要工具有靈活性來(lái)應(yīng)對(duì)需求變更。LDRA的工具套件自動(dòng)將系統(tǒng)變更從需求映射貫穿到測(cè)試?！?

IHI公司控制系統(tǒng)工程組主管Osamu Kannoto先生認(rèn)識(shí)到了DO-178B認(rèn)證的挑戰(zhàn)，他評(píng)論到，“我們必須達(dá)到DO-178B的A級(jí)要求，這需要達(dá)到MCDC的測(cè)試覆蓋要求—這不是個(gè)容易完成的任務(wù)?！?

IHI獲得的十四倍的速度提升清晰的說(shuō)明了LDRA工具套件是針對(duì)簡(jiǎn)化DO-178B各個(gè)級(jí)別要求的度量而特殊設(shè)計(jì)的。報(bào)告可以裁剪以更快更簡(jiǎn)明的給用戶DO-178B的信息，加速測(cè)試步驟。IHI在實(shí)施過程中通過對(duì)LDRA工具套件和其開發(fā)過程進(jìn)行配置和匹配來(lái)設(shè)計(jì)一個(gè)高效的可重復(fù)的過程從而引入了高層次的自動(dòng)化。

LDRA工具套件v8.0版本2009年三月在美國(guó)硅谷的嵌入式系統(tǒng)展會(huì)上發(fā)布。Eg3，歷史最悠久，最大的嵌入式系統(tǒng)網(wǎng)站，授予LDRA的產(chǎn)品發(fā)布編輯選擇的“最佳展示”獎(jiǎng)。McDonald，eg3的資深編輯，補(bǔ)充認(rèn)為L(zhǎng)DRA提供了市場(chǎng)上第一個(gè)提供全面的端到端的軟件驗(yàn)證解決方案。需求管理全面集成到了v8.0中，在整個(gè)軟件開發(fā)周期中提供了需求追蹤——在當(dāng)前經(jīng)濟(jì)下滑的情況下,關(guān)鍵的經(jīng)費(fèi)削減能力是絕對(duì)必要的。

感謝LDRA工具套件提供的許多好處，IHI通過LDRA工具套件支持的單元，模塊和集成級(jí)別的測(cè)試覆蓋自動(dòng)化過程，在審核，審查和評(píng)審設(shè)計(jì)方面的能力有了顯著提升。IHI將來(lái)計(jì)劃通過LDRA工具套件強(qiáng)大的靜態(tài)分析能力獲取對(duì)他們?cè)创a質(zhì)量的客觀的定量的評(píng)價(jià)。