LDRA工具套件将IHI之前的航电开发过程提速14倍

近日，日本主要的喷气式发动机制造商IHI选择LDRA工具套件对其C语言和Ada语言的源代码进行满足DO-178B认证要求的验证；并且欣喜的发现LDRA工具套件比之前的覆盖率分析过程速度提高十四倍。虽然IHI选择LDRA获奖的工具套件是因为其深入的和多样性化的工具，但是对于极端紧张的开发计划，速度的提升对于整个相关的全面成功也证明是一个重要的因素。

IHI占有日本70%的市场，是国防部主要的飞行器引擎承包商，并且参与国际合作项目为民用飞行器开发各类大型，小型引擎。因为这样的市场地位，IHI要求达到DO-178B的A级认证，这是针对航空电子软件最苛刻的测试标准。

按照DO-178B标准的要求，象LDRA工具套件这样的软件确认工具要求一个项目一个项目的被进行资质确认。因此，在评估LDRA工具套件的价值时，IHI将供应商对工件资质能够提供的帮助作为一个很重要的价值进行考虑。LDRA对客户工作的极好的追踪记录以及FAA对项目中使用的LDRA工件套件的审查都成为了重要的影响因素。IHI想想从LDRA多年进行DO-178B验证的经验中获益。

DO-178B标准是针对航空

“IHI选择LDRA工具套件将能够使公司扩展其在航空引擎设计领域的优势，”LDRA公司运营官Ian Hennell评论到，“客户需要工具有灵活性来应对需求变更。LDRA的工具套件自动将系统变更从需求映射贯穿到测试。”

IHI公司控制系统工程组主管Osamu Kannoto先生认识到了DO-178B认证的挑战，他评论到，“我们必须达到DO-178B的A级要求，这需要达到MCDC的测试覆盖要求—这不是个容易完成的任务。”

IHI获得的十四倍的速度提升清晰的说明了LDRA工具套件是针对简化DO-178B各个级别要求的度量而特殊设计的。报告可以裁剪以更快更简明的给用户DO-178B的信息，加速测试步骤。IHI在实施过程中通过对LDRA工具套件和其开发过程进行配置和匹配来设计一个高效的可重复的过程从而引入了高层次的自动化。

LDRA工具套件v8.0版本2009年三月在美国硅谷的嵌入式系统展会上发布。Eg3，历史最悠久，最大的嵌入式系统网站，授予LDRA的产品发布编辑选择的“最佳展示”奖。McDonald，eg3的资深编辑，补充认为LDRA提供了市场上第一个提供全面的端到端的软件验证解决方案。需求管理全面集成到了v8.0中，在整个软件开发周期中提供了需求追踪——在当前经济下滑的情况下,关键的经费削减能力是绝对必要的。

感谢LDRA工具套件提供的许多好处，IHI通过LDRA工具套件支持的单元，模块和集成级别的测试覆盖自动化过程，在审核，审查和评审设计方面的能力有了显著提升。IHI将来计划通过LDRA工具套件强大的静态分析能力获取对他们源代码质量的客观的定量的评价。