本文主要是介绍基于模型开发 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的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！
原文地址:https://blog.csdn.net/diao3675/article/details/101239178
本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.chinasem.cn/article/750749。
如若内容造成侵权/违法违规/事实不符，请联系我们进行投诉反馈，一经查实，立即删除！我们的邮箱：23002807@qq.com
