CoverageMaster winAMS MBT扩展功能
（面向模型驱动开发的Back to Back测试扩展功能工具）
利用CoverageMaster winAMS的MBT扩展功能提高基于模型开发所需的Back to Back测试效率
- 目标行业：汽车行业
- 目标部门：嵌入式软件开发部门
- 规 格：ISO 26262 / IEC 61508
课题
Back to Back测试课题
- 实施Back to Back的测试，需要使用各种工具来构建环境
- 由于工作量很大，没有充足的时间来进行本来的确认工作
- 进行实机代码的Back to Back测试（MIL-PIL）需要实机环境
解決
通过CoverageMaster winAMS MBT扩展功能，就能够利用CoverageMaster winAMS高效的实施基于模型开发所需的Back to Back测试。
这是一款为了利用CoverageMaster winAMS高效的进行基于模型开发软件所需的Back to Back测试（以下简称BtoB测试）所研发的扩展功能。通过CoverageMaster winAMS所搭载的微控制器模拟器来验证模型（MILS）和目标代码（PIL仿真）的一致性。
CoverageMaster winAMS MBT扩展功能的特征
CoverageMaster winAMS MBT扩展功能的构成
在CoverageMaster winAMS（CMW）的标准功能之上，追加了7个功能实现了Back to Back测试的高效执行。
在能够实施函数单元测试的CoverageMaster功能之上，追加了Back to Back测试的扩展功能，这有助于简化BtoB测试自动执行环境的构建，并有助于减少BtoB测试所需的工作量。
在能够实施函数单元测试的CoverageMaster功能之上，追加了Back to Back测试的扩展功能，这有助于简化BtoB测试自动执行环境的构建，并有助于减少BtoB测试所需的工作量。
-
特点 1可与CoverageMaster配合使用，实施模型、软件和目标代码的Back to Back测试，对测试结果进行评估并作成报告书
通过CoverageMaster的MBT扩展功能，能够实施MILS操作并且利用CoverageMaster实施SILS和PILS。通过MBT扩展功能对实施结果进行比较，确认一致性。还可以将其他工具创建的测试数据转换为CoverageMaster可以利用的测试数据。 -
特点 2全面支持测量C语言代码的C0、C1、MC/DC覆盖率，以及结合阶段的函数/调用覆盖率
利用CoverageMaster，可以测量汽车功能安全标准（ISO 26262）所要求的C语言代码的C0、C1、MC/DC 覆盖率，以及结合阶段的函数/调用覆盖率。
CoverageMaster winAMS MBT扩展功能的功能
CoverageMaster winAMS MBT扩展功能能够解决在进行Back to Back测试时面临的课题。
-
功能 01
实施Back to Back测试
-
与CoverageMaster winAMS联动，可以确认SIL/PIL执行结果与MIL执行结果的等价性
-
与CoverageMaster winAMS联动，可以确认SIL/PIL执行结果与MIL执行结果的等价性
-
功能 02
测试报告书作成
-
用CoverageMaster winAMS输出包含代码覆盖率测量的Back to Back测试报告
-
用CoverageMaster winAMS输出包含代码覆盖率测量的Back to Back测试报告
-
功能 03
构建Back to Back测试所需的各项功能
- 可以通过可执行的CLI构建进行Back to Back测试所需的各项功能，使用的是m脚本
各种功能
| 测试工具生成模型功能 | 可以生成测试工具模型，以便将待验证的模型的子系统剪切后，进行部分独立验证。 |
|---|---|
| I/O映射功能 | 可以根据测试工具模型的信息和从Coverage Master winAMS输出的变量信息，进行比较对象信号和变量的映射，并生成映射列表。在创建映射列表时，可以设置整体的允许误差。信号的个别允许误差、定点设置和上次值设置可以通过编辑映射列表进行调整。 |
| 测试数据AD/DA转换功能 | 可以从模型或源代码生成的测试CSV文件中，创建用于代码测试的CSV文件和用于模型测试的CSV文件。根据固定小数点设置，将从模型生成的物理值数据转换为数字值，并将从代码生成的数字值数据转换为物理值。 |
| MILS执行功能 | 可以将模型测试用CSV文件的数据输入到测试桩模型中，并生成模型执行结果日志。 |
| Back to Back测试一致性判定功能 | 通过比较代码执行结果日志和模型执行结果日志，进行一致性判定，并生成对比结果数据文件。针对比较对象的信号和变量，可以根据容许误差进行误差评估。 |
| 综合报告生成功能 | 可以将对比结果数据文件、模型执行结果日志和代码执行结果日志汇总，生成XML或HTML格式的报告。 |