overageMaster winAMS :适用于嵌入式目标机代码的单元测试工具
全面支持嵌入式微机!验证嵌入式C/C++软件 实施以模块为单位的自动化单元测试工具
不需要HookCode 直接使用目标机代码进行单元测试
联合静态解析工具[CasePlayer2],提供C1,MC/DC用优化测试计划(test case)制作功能
符合汽车制造领域的单元测试标准,即功能安全认证ISO26262标准的最佳验证工具
产品概要
[Coverage master winAMS]是以嵌入式软件的函数为单位,实施模块单元测试以及C0/C1/MCDC覆盖率测试(coverage test)的嵌入式软件自动化单元测试工具。目标机源代码通过微机化功能测试平台生成目标机执行代码,之后在不需要做任何加工的状态下使用该执行代码进行测试,使高信赖性的模块测试成为可能。在汽车控制软件这样的对安全性要求很高的领域,单元测试已经成为事实上的标准。使用目标机代码进行单元测试也是为了符合IEC61508功能安全认证标准。
产品特长
全面支持嵌入式微机!验证嵌入式C/C++软件 实施以模块为单位的自动化单元测试工具
[Coverage master winAMS]直接使用通过交叉编译生成的目标机代码,在微机化功能测试平台上进行单元测试。即能实现C语言程序的逻辑上的单元验证,更能够对嵌入式微机组装为产品后可能发生的问题等进行具有高信赖度的白盒(white box)测试。
主要的单元测试功能
采用SSTManager管理单元测试project
SSTManager是Coverage master winAMS的应用功能,用于管理单元测试project,制作测试数据(test data)。从设定测试环境开始,到报告测试结果为止,均由微机化功能测试平台(ISS)实施综合管理。
采用通用便利的CSV文件管理测试数据的输入输出
Coverage master winAMS不需要插入测试用代码,直接使用目标机代码进行单元测试。采用通用便利的CSV文件管理函数测试时使用的输入输出数据。测试结束后,输出的测试结果和输出的期待值也将以相同的格式显示在CSV文件之中。
C0/C1覆盖率报告的自动化制作功能(标准功能)
根据测试的输入输出数据自动报告相应源代码的C0/C1测试覆盖率结果。包括通过图形(viewer)显示测试数据,以及与其相应的被测试的源代码路径的功能,用于分析测试结果。作为选项功能也包括MC/DC覆盖率测试功能。
MC/DC覆盖率的自动化测试功能(选项功能)
作为选项功能提供MC/DC覆盖率测试功能。C0/C1覆盖率测试不需要加工即可直接使用目标机代码。然而,MC/DC覆盖率测试对于复合式的条件式,需要自动插入HookCode将复合式的条件式分解,才能对各条件式进行测试。这样就有可能导致测试用代码与目标机用代码的不同。为了验证HookCode的妥当性,在MC/DC覆盖率测试的同时,运行目标机代码,确认运行结果与期待值的一致性。
注:右图举例显示,第2个if句的复合条件式中,[gbc>30]为false时的分支没有被测试到。以C1覆盖率测试来说,它的测试结果是OK;而对于MC/DC覆盖率测试来说,它的结果是NG。
注: MC/DC覆盖率测试功能不支持C++程序。
单元测试的效率化功能
联合程序解析工具CasePlayer2,实现代码参照解析作业的效率化
利用CasePlayer2生成的流程图表以及模块构造图(调用函数的构造图)与源代码的连接(link)功能,使单元测试用源代码的解析工作效率化。
能够自动检索被测试函数的外部变量,使测试条件设定效率化
联合程序解析工具CasePlayer2,自动检索被测试函数所使用的外部变量。缩短了以往必须对源代码进行搜索找出输入条件的变量所需的工作。而且,能够防止人工操作导致的类似变量指定遗漏的的错误。
根据代码解析自动化制作C0/C1/MC/DC 覆盖率测试计划
联合程序解析工具CasePlayer2,自动化制作符合覆盖率测试要求的条件分支if,switch,for,while等的测试数据。可以将被测试函数中含有的条件式(if以及switch等)在数据制成图形(Viewer)上列表显示。点击其中的条件,工具将自动开始检索与之相关的变量,进而从所设置的条件的境界值中自动生成覆盖率测试所需要的数据。
为了达到C1/MCDC覆盖率,测试时需要对各函数的数据进行组合。利用CasePlayer2提供的解析结果,分析条件式的net构造,在重复性限制在最小限度下生成C1/MCDC覆盖率测试用数据。
动作环境
●操作PC/OS
・IBM PC/AT兼容机
・Pentium(相当) 2GHz 以上的CPU
・存储器 512MB 以上(推荐值)
・显示器分辨率 XGA(1024*768)以上(推荐值)
・・Windows XP, Windows Vista, Windows 7(32bit only)(※Windows 95/98/Me/NT/2000 未支持)
●License Key
・USB Board Hardware Key (Dongle)
'