- 博客(6)
- 收藏
- 关注
转载 基于模型开发 Back-to-Back测试统合工具-MC-Verifier
「MC-Verifier」是针对基于模型开发中Back-to-Back测试的统合测试工具。能够在开发过程中的各个阶段确认模型、软件、目标代码之间的动作一致性。 按照ISO26262的Back-to-Back (B2B)测试标准统合的工具,可实行模型/模型, 模型/软件, 模型/目标代码的B2B测试,可检出Simulink上,B2B测试错误发生的地点(subs...
2019-03-15 13:45:00 441
转载 单元测试工具-winAMS
覆盖率专家winAMS获得机能安全标准ISO26262/IEC61508工具认证,是日本工业制造领域普遍使用的针对C/C++的单元/集成测试工具.winAMS是将通过交叉编译生成的原始代码作为评价代码,具有使用芯片仿真器进行仿真功能的测试工具.不仅可以对C语言编写的程序进行逻辑水平的测试,还可以对嵌入式软件特有的依存于芯片的问题点进行确认.是一款值得信赖的单元测试工具....
2019-03-15 13:39:00 288
转载 WinAms支持芯片列表
MPU MakerMPU TypeSimulator Engine TypeLatest Simulator VersionCross Compiler SupportStatusAlteraNiosSystem-Gsxgnt2 V1.01...
2019-03-08 10:32:00 314
转载 嵌入式软件静态解析工具-CasePlayer2
CasePlayer2 : 嵌入式软件的说明书制作及解析工具静态解析C/C++源代码自动生成流程图等文件适用于各种嵌入式微机用汇编代码具有符合编程标准MISRA-C 1998/2004的规范检查功能,Code Metrics计测功能适用于掌握以往程序的内容,审阅会议时评估程序等,有利于改善软件质量的工具产品概要CasePlayer2是通过解析ANSI C语言,C++...
2018-08-29 16:17:00 231
转载 嵌入式软件单元测试/集成测试工具-WINAMS
CoverageMaster winAMS : 适用于嵌入式目标机代码的单元测试工具全面支持嵌入式微机!验证嵌入式C/C++软件 实施以模块为单位的自动化单元测试工具不需要HookCode 直接使用目标机代码进行单元测试联合静态解析工具[CasePlayer2],提供C1,MC/DC用优化测试计划(test case)制作功能已取得第三方认证机构TUVSUD对适用于汽车机能安全ISO...
2018-08-29 16:16:00 1219
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人