浅谈汽车软件解决方案：智能电控模型/代码一致性测试

     随着汽车工业的不断发展，汽车电气系统越来越复杂，目前一台汽车搭载的动力系、车身系、信息系ECU多达50~100个。      

     ECU中的软件规模也大幅增加，规模已超过1000万行，开发成本越来越高。汽车的量产周期非但没有因此而延长，相反是越来越短，从90年代的36个月，缩短到目前12个月之内。伴随着造车的复杂性增高、成本增加、周期缩短，汽车控制失效事件也越来越多，给社会安全造成了很大的影响。

图 2010年以来召回的汽车数量激增

 为了抑制汽车控制系统愈发庞大的开发量、愈发复杂的电气系统带来的控制失效事件增加、车厂修复成本增加，并减少社会安全事故、确保用户用车安全，2011年11月作为国际标准体系的ISO26262汽车功能安全标准应运而生。

  ISO26262体系构成

ISO26262功能安全标准中针对ECU研发有两个要求：

     覆盖度测定是衡量软件单元测试质量的一个重要指标，分为语句覆盖、判定覆盖、条件覆盖、分支覆盖、修正条件判定覆盖等多种覆盖度指标。ECU开发中一般都会要求达到修正条件判定覆盖，也就是业界常说的MC/DC覆盖度指标

富士通南大软件自主研发的模型/代码一致性测试解决方案（easyModelVerifier），是一套可全自动完成Simulink模型和代码的Back-to-Back一致性验证工具。广泛应用于基于模型开发产品的单体测试和集成测试，支持测试用例的自动生成及便利编辑，支持MIL/SIL/PIL多种仿真，自动比较仿真结果并通过生成的HTML报表直观呈现测试结果。 

     easyModelVerifier已经成功应用于国外某整车厂的发动机、变速箱电控软件的测试及某研究所的数字电源控制软件的测试。此外、尚有多家国内外企业正在检讨此软件的导入，以帮助通过产品的功能安全认证。