丨编码规则验证

· MISRA-AC MAAB等

丨代码度量验证

· 对模型进行功能验证

丨Run-time Error验证

 · 验证模型到代码的一致性

丨执行单元和集成测试

丨通过需求和设计分析开发和执行测试用例

丨检查结构覆盖

· 语法、分支、MC/DC、函数调用等的覆盖测量

丨静态验证(模型规则验证)

· MISRA-AC MAAB等

丨动态验证

· 对模型进行功能验证

丨一致性验证

· 验证模型到代码的一致性

丨ASPICE 项目经验 

·台湾 XXX 公司：CANIF 

·苏州 XXX 公司：ADCU 

·广州 XXX 公司：ADCU 

·深圳 XXX 公司：ADCU 

·常州 XXX 公司：流体动力系统