基于模型开发 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的 工具认证。

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

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

 

上一篇:P1487 失落的成绩单


下一篇:【转载】 强化学习中 采用 【首次访问的蒙特卡洛预测法】 的算法描述