Tommmmy

摘要： 「MC-Verifier」是针对基于模型开发中Back-to-Back测试的统合测试工具。能够在开发过程中的各个阶段确认模型、软件、目标代码之间的动作一致性。 按照ISO26262的Back-to-Back (B2B)测试标准统合的工具,可实行模型/模型, 模型/软件, 模型/目标代码的B2B测试, 阅读全文

摘要： 覆盖率专家winAMS获得机能安全标准ISO26262/IEC61508工具认证,是日本工业制造领域普遍使用的针对C/C++的单元/集成测试工具.winAMS是将通过交叉编译生成的原始代码作为评价代码,具有使用芯片仿真器进行仿真功能的测试工具.不仅可以对C语言编写的程序进行逻辑水平的测试,还可以对嵌 阅读全文

摘要： MPU Maker MPU Type Simulator Engine Type Latest Simulator Version Cross Compiler Support Status Altera Nios System-G sxgnt2 V1.01 GNU OK ARM ARM Corte 阅读全文

摘要： CasePlayer2 : 嵌入式软件的说明书制作及解析工具 静态解析C/C++源代码自动生成流程图等文件适用于各种嵌入式微机用汇编代码具有符合编程标准MISRA-C 1998/2004的规范检查功能，Code Metrics计测功能适用于掌握以往程序的内容，审阅会议时评估程序等，有利于改善软件质量 阅读全文

摘要： CoverageMaster winAMS : 适用于嵌入式目标机代码的单元测试工具 全面支持嵌入式微机！验证嵌入式C/C++软件 实施以模块为单位的自动化单元测试工具不需要HookCode 直接使用目标机代码进行单元测试联合静态解析工具[CasePlayer2]，提供C1,MC/DC用优化测试计划 阅读全文