近日，日本主要的噴氣式發(fā)動機制造商IHI選擇LDRA工具套件對其C語言和Ada語言的源代碼進行滿足DO-178B認證要求的驗證；并且欣喜的發(fā)現(xiàn)LDRA工具套件比之前的覆蓋率分析過程速度提高十四倍。雖然IHI選擇LDRA獲獎的工具套件是因為其深入的和多樣性化的工具，但是對于極端緊張的開發(fā)計劃，速度的提升對于整個相關(guān)的全面成功也證明是一個重要的因素。

IHI占有日本70%的市場，是國防部主要的飛行器引擎承包商，并且參與國際合作項目為民用飛行器開發(fā)各類大型，小型引擎。因為這樣的市場地位，IHI要求達到DO-178B的A級認證，這是針對航空電子軟件最苛刻的測試標(biāo)準。

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

DO-178B標(biāo)準是針對航空

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

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

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

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

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