LDRA工具套件將IHI之前的航電開發(fā)過程提速14倍
近日,日本主要的噴氣式發(fā)動(dòng)機(jī)制造商IHI選擇LDRA工具套件對其C語言和Ada語言的源代碼進(jìn)行滿足DO-178B認(rèn)證要求的驗(yàn)證;并且欣喜的發(fā)現(xiàn)LDRA工具套件比之前的覆蓋率分析過程速度提高十四倍。雖然IHI選擇LDRA獲獎(jiǎng)的工具套件是因?yàn)槠渖钊氲暮投鄻有曰墓ぞ?,但是對于極端緊張的開發(fā)計(jì)劃,速度的提升對于整個(gè)相關(guān)的全面成功也證明是一個(gè)重要的因素。
IHI占有日本70%的市場,是國防部主要的飛行器引擎承包商,并且參與國際合作項(xiàng)目為民用飛行器開發(fā)各類大型,小型引擎。因?yàn)檫@樣的市場地位,IHI要求達(dá)到DO-178B的A級認(rèn)證,這是針對航空電子軟件最苛刻的測試標(biāo)準(zhǔn)。
按照DO-178B標(biāo)準(zhǔn)的要求,象LDRA工具套件這樣的軟件確認(rèn)工具要求一個(gè)項(xiàng)目一個(gè)項(xiàng)目的被進(jìn)行資質(zhì)確認(rèn)。因此,在評估LDRA工具套件的價(jià)值時(shí),IHI將供應(yīng)商對工件資質(zhì)能夠提供的幫助作為一個(gè)很重要的價(jià)值進(jìn)行考慮。LDRA對客戶工作的極好的追蹤記錄以及FAA對項(xiàng)目中使用的LDRA工件套件的審查都成為了重要的影響因素。IHI想想從LDRA多年進(jìn)行DO-178B驗(yàn)證的經(jīng)驗(yàn)中獲益。
DO-178B標(biāo)準(zhǔn)是針對航空
“IHI選擇LDRA工具套件將能夠使公司擴(kuò)展其在航空引擎設(shè)計(jì)領(lǐng)域的優(yōu)勢,”LDRA公司運(yùn)營官Ian Hennell評論到,“客戶需要工具有靈活性來應(yīng)對需求變更。LDRA的工具套件自動(dòng)將系統(tǒng)變更從需求映射貫穿到測試?!?
IHI公司控制系統(tǒng)工程組主管Osamu Kannoto先生認(rèn)識到了DO-178B認(rèn)證的挑戰(zhàn),他評論到,“我們必須達(dá)到DO-178B的A級要求,這需要達(dá)到MCDC的測試覆蓋要求—這不是個(gè)容易完成的任務(wù)。”
IHI獲得的十四倍的速度提升清晰的說明了LDRA工具套件是針對簡化DO-178B各個(gè)級別要求的度量而特殊設(shè)計(jì)的。報(bào)告可以裁剪以更快更簡明的給用戶DO-178B的信息,加速測試步驟。IHI在實(shí)施過程中通過對LDRA工具套件和其開發(fā)過程進(jìn)行配置和匹配來設(shè)計(jì)一個(gè)高效的可重復(fù)的過程從而引入了高層次的自動(dòng)化。
LDRA工具套件v8.0版本2009年三月在美國硅谷的嵌入式系統(tǒng)展會上發(fā)布。Eg3,歷史最悠久,最大的嵌入式系統(tǒng)網(wǎng)站,授予LDRA的產(chǎn)品發(fā)布編輯選擇的“最佳展示”獎(jiǎng)。McDonald,eg3的資深編輯,補(bǔ)充認(rèn)為LDRA提供了市場上第一個(gè)提供全面的端到端的軟件驗(yàn)證解決方案。需求管理全面集成到了v8.0中,在整個(gè)軟件開發(fā)周期中提供了需求追蹤——在當(dāng)前經(jīng)濟(jì)下滑的情況下,關(guān)鍵的經(jīng)費(fèi)削減能力是絕對必要的。
感謝LDRA工具套件提供的許多好處,IHI通過LDRA工具套件支持的單元,模塊和集成級別的測試覆蓋自動(dòng)化過程,在審核,審查和評審設(shè)計(jì)方面的能力有了顯著提升。IHI將來計(jì)劃通過LDRA工具套件強(qiáng)大的靜態(tài)分析能力獲取對他們源代碼質(zhì)量的客觀的定量的評價(jià)。