摘要：
阅读全文
摘要：
「MC-Verifier」是针对基于模型开发中Back-to-Back测试的统合测试工具。能够在开发过程中的各个阶段确认模型、软件、目标代码之间的动作一致性。 按照ISO26262的Back-to-Back (B2B)测试标准统合的工具,可实行模型/模型, 模型/软件, 模型/目标代码的B2B测试, 阅读全文
摘要：
覆盖率专家winAMS获得机能安全标准ISO26262/IEC61508工具认证,是日本工业制造领域普遍使用的针对C/C++的单元/集成测试工具.winAMS是将通过交叉编译生成的原始代码作为评价代码,具有使用芯片仿真器进行仿真功能的测试工具.不仅可以对C语言编写的程序进行逻辑水平的测试,还可以对嵌 阅读全文