功效清静/ASPICE合规包管：高效模子测试驱动零缺陷开发

宣布时间：

2025-11-06 11:10

前序两篇文章划分先容了模子静态规范检查工具Model Inspector和模子动态测试工具Model Verifier，，，，，本篇文章将先容切合功效清静和ASPICE流程的模子测试解决计划。。。。。

陪同汽车行业向“上半场电动化，，，，，下半场智能化”的深刻厘革，，，，，系统重大性急剧增添，，，，，对电子控制单位（ECU）的清静性提出了亘古未有的严酷要求。。。。。重大的软件功效带来的潜在危害，，，，，使得规范基于模子的设计（MBD）流程、统一建模标准并确保模子与需求及功效实现的一致性，，，，，成为各厂商提升软件质量和功效清静的要害挑战。。。。。

图1 软件质量怀抱

ISO 26262在设计开发和测试验证等阶段对模子测试提出了要求，，，，，需要对模子开展建模规范检查、质量怀抱、单位测试、集成测试、背靠背测试，，，，，包管模子及天生代码的质量。。。。。

图2 功效清静要求

切合功效清静/ASPICE流程的模子测试解决计划

针对动力、底盘、车身等领域控制器的模子测试，，，，，ca88官方唯一网站拥有富厚的项目实验和计划定制履历。。。。。借助建模规范检查工具MI对模子举行自动化、批量化的建模规范检查和重漂后怀抱，，，，，检查 Simulink、Targetlink 等模子是否切合建模标准、评估模子设计的合理性；；；；；；借助动态测试工具MV自动化、批量化的执行 MIL、SIL 及背靠背测试，，，，，验证模子和需求，，，，，模子和代码的一致性，，，，，提供以用户为中心的交互界面，，，，，形成依据需求举行测试用例管理和执行的自动化测试情形。。。。。

除基于MI/MV的实验要领，，，，，ca88官方唯一网站还提供基于客户自备工具链（Simulink Test、BTC、TPT等）构建测试计划并开展模子测试的能力项。。。。。

图3 模子全流程实验计划

· 客户收益

? 统一建模标准，，，，，识别潜在危害，，，，，规范MBD开发流程

? 提高协同开发效率，，，，，包管模子和模子天生代码的质量

? 发明潜在危害，，，，，定位逻辑缺陷，，，，，包管模子需求和功效的一致性

? 构建切合功效清静和 ASPICE 要求的测试工具链，，，，，形成模子测试能力项

· 测试内容

? 质量怀抱：包括圈重漂后、软件耦合度、内聚度、模浚�？？？？槭俊⒆酉低成疃鹊�21种

? 规范检查：包括MAB、MISAR_AC_SLSF等标准规范以及功效清静的映射规则集扫描，，，，，同时支持凭证企标和项目履历自界说规则集举行统一下发执行

? 单位/集成测试：基于需求的测试、接口笼罩度测试、组件内行为验证、组件间行为验证、界线值测试、故障注入测试等

? 背靠背测试：对模子以及模子天生的代码（SIL/PIL情形下）举行一致性测试

? 质量管控：建模规范违反报告、怀抱元统计报告、修正建议清单、笼罩度统计报告、测试问题单、测试用例、测试纪录、需求用例追溯表等

图4 静态测试流程

图5 动态测试流程

测试能力先容

ca88官方唯一网站深耕模子测试领域多年，，，，，具备全流程测试场景笼罩与危害点追踪的能力，，，，，熟悉从需求剖析到效果验证的闭环问题定位流程。。。。。针对客户的特定需求，，，，，ca88官方唯一网站提供定制化的咨询服务，，，，，包括测试历程能力建设、测试手艺咨询、测试工具链建设、高阶软件测试服务（包括性能、压力、可靠性、清静性）等。。。。。现在，，，，，公司已乐成助力多家主机厂及零部件企业提升模子质量，，，，，为其产品可靠性保驾护航。。。。。

模子测试

ca88官方唯一网站亮相AICC人工智能盘算大会，，，，，以智能体手艺助推汽车电子研发立异

VBA ETH功效应用 | “0”代码构建SOME/IP节点

ca88官方唯一网站亮相AICC人工智能盘算大会，，，，，以智能体手艺助推汽车电子研发立异

VBA ETH功效应用 | “0”代码构建SOME/IP节点