MC-Verifier-基于模型开发 Back-to-Back测试统合工具

「MC-Verifier」是针对基于模型开发中Back-to-Back测试的统合测试工具。能够在开发过程中的各个阶段确认模型、软件、目标代码之间的动作一致性。

MC-Verifier是一款能够对模型(MIL)、软件(SIL)、目标代码(PIL)的动作进行比较实施B2B测试、从来评价两者间的误差及找到错误发生位置的B2B测试统合工具。可以使用其他MBD工具生成的测试用例进行B2B测试。目标代码的执行使用gaio公司的芯片仿真器、不需要使用开发板等一切硬件。