本文主要是介绍基于模型开发 Back-to-Back测试统合工具-MC-Verifier，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！
「MC-Verifier」是针对基于模型开发中Back-to-Back测试的统合测试工具。能够在开发过程中的各个阶段确认模型、软件、目标代码之间的动作一致性。
按照ISO26262的Back-to-Back (B2B)测试标准统合的工具,可实行模型/模型, 模型/软件, 模型/目标代码的B2B测试,可检出Simulink上，B2B测试错误发生的地点（subsystem）,可以在Simulink上对包含反馈处理在内的模型按时间轴以及B2B测试错误进行追迹,可以在代码执行时，计算代码覆盖率（Statement, Branch, MC/DC）,取得了机能安全ISO26262/IEC61508的 工具认证。
转载于:https://www.cnblogs.com/Tommmy/p/10536559.html
这篇关于基于模型开发 Back-to-Back测试统合工具-MC-Verifier的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！
http://www.chinasem.cn/article/750749。
23002807@qq.com
