单元测试工具 Coverage Master winAMS

Coverage master winAMS是一款以嵌入式软件的函数为单位,实施模块单元测试以及C0/C1/MCDC/函数覆盖(function coverage)/调用覆盖(call coverage)的覆盖率测试(coverage test)的嵌入式软件自动化单元测试工具。

此软件以交叉编译器生成的目标执行文件为测试对象,通过跟实际处理器相同的模拟仿真器技术还原测试环境,不需要对用户的源代码进行任何变动,即可完成高信赖性的模块单元测试。在汽车控制软件等对安全性要求极高的领域,单元测试已成为不可缺少的必要步骤。本软件通过了ISO26262以及IEC61508的功能安全认证,为用户针对功能安全基准所要求还原实际处理器环境下的测试提供了高水准的测试功能。

 

Coverage Master winAMS的产品特性

  • 完成单元测试需求,找出嵌入式系统软件开发过程中潜藏的bug,通过动态解析发现问题,规避风险,提高软件品质
  • 通过单元测试,在开发早期阶段检测出问题并进行修改,提高嵌入式系统软件的开发效率
  • 以交叉编译后的目标执行文件为测试对象,不会对客户源代码进行任何修改。通过模拟仿真器还原了用户的开发环境,可检测出用户使用的实际开发环境中,芯片及编译器特性上的潜在问题(演算顺序,位域运算的内存配置等问题)
  • 针对不同用户群体所使用的不同的开发环境,提供数量繁多的MPU模拟仿真器(240种以上),最大化满足不同客群的要求
  • 内置的静态解析软件可生成函数流程图,函数构造图,外部变量参照一览表,以及MISRA-C规则解析,帮助用户更好的进行代码检查
  • 自动生成测试数据和测试报告,可有效管理已开发的嵌入式软件资产,提高企业的产品竞争力
  • 经过了第三方认证机构TUV SUD关于ISO26262和IEC61508的功能安全认证

Coverage Master winAMS的产品功能

  • 内置的静态解析工具,自动生成覆盖率测试所需要的测试数据组。且可生成用于代码检查的函数流程图,函数构造图,外部变量参照一览表等多功能辅助图表
  • 拥有STUB函数“置换”功能,对于测试对象的子函数自动生成STUB函数,不需要对调用函数进行编程修改,简单切换选择
  • 自动生成输入输出数据组报告。可以对用户事先登录的输出期待值进行比对,在没有事先登录结果期待值时,自动生成输出数据,方便客户检查
  • 自动生成覆盖率结果报告。通过调试器可检查未达到覆盖率的代码行数,从而对测试数据进行修改或追加
  • 可通过命令行界面CLI制作出自动执行脚本,让单元测试在后台自动进行,实现测试效率化
  • 自动化单元测试执行,可以减少测试人员对测试模型的设计,测试数据(test data)的制作,测试执行,执行后测试结果比对等一系列工作量,从而提高效率
  • 可进行ISO26262/IEC61508所要求的C0/C1/MCDC/函数覆盖(function coverage)/调用覆盖(call coverage)的覆盖率测试

Ihr Ansprechpartner bei imbus

联系人: Dierk Engelhardt

邮箱:testbench@imbus.de
电话:+49 9131 / 7518-0
传真:+49 9131 / 7518-50