「MC-Verifier」是针对基于模型开发中Back-to-Back测试的统合测试工具。能够在开发过程中的各个阶段确认模型、软件、目标代码之间的动作一致性。
MC-Verifier是一款能够对模型(MIL)、软件(SIL)、目标代码(PIL)的动作进行比较实施B2B测试、从来评价两者间的误差及找到错误发生位置的B2B测试统合工具。可以使用其他MBD工具生成的测试用例进行B2B测试。目标代码的执行使用gaio公司的芯片仿真器、不需要使用开发板等一切硬件。
原创声明:本文系作者授权腾讯云开发者社区发表,未经许可,不得转载。
如有侵权,请联系 cloudcommunity@tencent.com 删除。
原创声明:本文系作者授权腾讯云开发者社区发表,未经许可,不得转载。
如有侵权,请联系 cloudcommunity@tencent.com 删除。