- 博客(2)
- 资源 (5)
- 收藏
- 关注
原创 嵌入式软件开发使用CasePlayer2静态分析的10大优势
质量和可靠性在飞行控制、医疗设备、动力传动系统和其他高功能安全要求的嵌入式系统是极其关键的。但是在有限的开发时间内,开发者常常需要权衡验证的工作量。静态分析技术可以帮助开发者在不运行代码的方式下进行早期地自动代码检查,而不需要到系统或硬件集成阶段再进行代码验证。CasePlay2提供了静态分析所需的完整能力,包括: 自动生成・流程图・模块(函数)说明书・模块结构图・模块(函数)表・ ...
2018-05-04 13:16:54 770
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关注的人