- 博客(1)
- 资源 (5)
- 收藏
- 关注
原创 静态代码分析工具-CasePlayer2
CasePlayer2 : 适用于嵌入式软件的说明书制作及解析工具静态解析C/C++源代码自动生成流程图等文件适用于各种嵌入式微机用汇编代码具有符合编程标准MISRA-C 1998/2004的规范检查功能,Code Metrics计测功能适用于掌握以往程序的内容,审阅会议时评估程序等,有利于改善软件质量的工具产品概要CasePlayer2是通过解析ANSI C语言,C++,嵌入式C语言(非ANSI),以及汇编语言的源代码,制作包括流程图等的程序说明书的工具。不论是对以往..
2020-12-22 09:34:13 442
MCVerifier_A4カタログ_20161206 -ch.pdf
按照ISO26262的Back-to-Back (B2B)测试标准统合的工具
可实行模型/模型, 模型/软件, 模型/目标代码的B2B测试
可检出Simulink上,B2B测试错误发生的地点(subsystem)
可以在Simulink上对包含反馈处理在内的模型按时间轴以及B2B测试错误进行追迹
可以在代码执行时,计算代码覆盖率(Statement, Branch, MC/DC)
取得了机能安全ISO26262/IEC61508的 工具认证
2019-10-16
winAMS & CasePlayer2(文档winAMS_ch)
嵌入式系统芯片完美对应! C/C++嵌入式软件测试用模块化单元测试自动工具
不使用hook code.对实装代码直接进行动态测试
支持函数单位的C0/C1/MCDC覆盖率测试及结合测试用函数调用覆盖率的计测
通过静态解析机能可自动生成满足C0/C1/MCDC覆盖率测试用输入数据
获得机能安全标准ISO26262/IEC61508工具认证
2016-03-21
winams caseplay2 应用 winams.pdf
全球首款通过ISO26262 (汽车功能安全标准)的测试工具产品
单元测试工具 winAMS
静态解析工具 CasePlayer2
2015-08-17
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人