CoverageMaster winAMS:嵌入式目标代码的单元测试/集成测试工具
全面支持嵌入式微电脑！验证嵌入式C/C软件实现以模块为单元的自动化单元测试工具，不需要HookCode直接使用目标机器码进行单元测试。结合静态分析工具【CasePlayer2】，提供C0(语句)、C1(判断)、MC/DC覆盖报告，优化测试用例的产生。获得了第三方认证机构TUVSUD对适用于汽车功能安全的ISO26262软件工具的认证。
产品目录
【覆盖率大师winAMS】是一款基于嵌入式软件功能实现模块单元测试和C0/C1/MCDC覆盖率测试的嵌入式软件自动化单元测试工具。目标机的源代码通过交叉编译器生成目标机的执行代码，单元测试在与实际处理器相同的模拟处理器环境中进行，不需要对执行代码做任何改动，使得高可靠性的模块测试成为可能。单元测试已经成为汽车控制软件领域不可或缺的一部分，对安全性要求很高。使用目标机器码进行单元测试也是为了满足汽车行业的ISO26262功能安全认证标准。
产品专业
全面支持嵌入式微电脑！验证嵌入式C/C软件实现以模块为单元的自动化单元测试工具。
【单元测试】作为一种能够检测出仅通过系统测试和整体测试无法发现的【潜在错误】的检测方法，在嵌入式开发领域受到了广泛的关注。同时，单元测试也是汽车软件功能安全领域(ISO26262)要求的认证项目之一。【覆盖主winAMS】直接使用交叉编译生成的目标机器码，在模拟处理器环境下进行单元测试。不仅可以实现C语言程序的逻辑单元验证，还可以针对嵌入式微型计算机组装成产品后可能出现的问题进行高可靠性的白盒测试。
不需要HookCode，这是业界唯一一个可以直接使用目标机器码进行单元测试的工具。
一些公司的单元测试工具往往采用在被测试对象的源代码中添加测试代码或测试驱动的方法，导致测试中使用的代码在组装到产品中后与目标机器码不同。虽然[理论上运行的功能应该是一样的]，但是从嵌入式开发的角度来说，这就像是处理交叉编译生成的优化代码，无法保证最终产品的质量。Coverage master winAMS是业内唯一一款具备单元测试功能的工具【不需要对被测对象进行任何处理】，尤其是在安全性要求较高的领域。
单元测试不需要建立专门的环境，单元测试可以在交叉编译环境下进行开发。
覆盖率大师winAMS不需要添加任何测试驱动或者测试代码，可以直接使用目标代码组装成产品进行单元测试。单元测试可以和软件开发使用一个通用的交叉编译环境，不再需要专门管理测试资源，建立其他特殊环境。因此，它不仅便于程序资源管理，而且可以缩短准备测试环境所需的时间。
符合汽车功能安全标准(ISO26262)要求的最佳工具【不经处理直接使用目标机器码进行单元测试】。
ISO26262是源自IEC61508的功能安全标准，适用于汽车制造。第6-9部分[软件程序的单元测试]包括软件程序和相关规定项目的结构覆盖测试。根据汽车安全标准(ASIL)，提出了语句覆盖、分支覆盖和MC/DC覆盖的推荐项目。
另一个建议是
[尽量使单元测试环境与目标环境相同]
规章制度。如果单元测试是在不同于目标环境的环境中进行的，那么就需要展示源代码和目标代码的区别，以及目标环境和测试环境的区别。因此，对于其他公司使用与目标微机不同的计算机进行编译和单元测试的工具，很难满足这一要求。还有一些公司的单元测试工具包括交叉编译环境和编译功能，可以在与目标环境相同的环境下进行测试，但是所有的测试都需要通过插入测试代码重新编译，所以测试只能在与目标环境不同的环境下进行。
GAIO提供的单元测试工具Coverage master winAMS具有以下特性
采用完全支持嵌入式微型计算机的基于微型计算机的功能测试平台环境不插入测试代码，直接用目标机器码进行测试。
提供符合ISO26262标准要求的必要功能。GAIO提供的Coverage master winAMS是业界唯一符合ISO26262标准要求的工具【直接使用代码进行单元测试】。
汽车功能安全ISO26262与认证获取的对应
获得了第三方认证机构TUVSUD对适用于汽车功能安全的ISO26262软件工具的认证。
2012年6月28日，测试工具“Coverage master winAMS/General”通过了德国TUVSUD第三方认证机构对汽车功能安全规范ISO26262软件工具的认证，在亚洲包括日本尚属首次。
通过此次认证，表明公司的单元测试工具“Coverage master winAMS/General”和程序分析工具“CasePlayer2”符合静态分析和单元测试领域的所有安全标准，并得到TUVSUD认证机构的保证。
ISO 26262要求开发者提供在TCL开发软件工具的认证。本认证适用于工具认证中最复杂的TCL3工具认证标准。所以导入我公司的单元测试工具后，TCL部分就不需要认证了，可以进一步缩短程序和时间。
主要单元测试功能
使用SSTManager管理单元测试项目
SSTManager是Coverage master winAMS的应用功能，用于管理单元测试项目，制作测试数据。从设置测试环境到报告测试结果，集成管理由计算机化功能测试平台(ISS)执行。
使用通用方便的CSV文件管理测试数据的输入和输出。
覆盖主winAMS不需要插入测试代码，直接使用目标机器码进行单元测试。使用通用且方便的CSV文件管理功能来管理测试中使用的输入和输出数据。测试结束后，输出的测试结果和输出的期望值也会以相同的格式显示在CSV文件中。
C0/C1覆盖报告的自动生成功能(标准功能)
根据测试的输入输出数据，自动报告相应源代码的C0/C1测试覆盖结果。包括通过查看器显示测试数据及其对应的源代码路径的功能，用于分析测试结果。可选功能还包括MC/DC覆盖测试功能。
MC/DC覆盖的自动测试功能(可选功能)
提供MC/DC覆盖测试功能作为可选功能。C0/C1覆盖测试可以直接使用目标机器码而无需处理。但是对于MC/DC覆盖测试，在测试每个条件表达式之前，需要自动插入HookCode来分解复合条件表达式。这可能导致测试代码和目标机器代码之间的差异。为了验证HookCode的适当性，在MC/DC覆盖测试的同时运行目标机器码，以确认运行结果与期望值的一致性。
注意：右边的例子显示第二个if句的复合条件表达式中[gbc30]为false时的分支没有经过测试。对于C1覆盖测试，其测试结果是可以的；对于MC/DC覆盖测试，其结果为NG。
注意：MC/DC覆盖测试功能不支持C程序。
单元测试的效率函数
结合程序解析工具CasePlayer2，实现了代码引用解析操作的高效性。
利用CasePlayer2生成的流程图和模块结构图(调用函数的结构图)与源代码之间的链接功能，对单元测试的源代码进行分析是高效的。
被测函数的外部变量可以被自动检索，这使得测试条件的设置变得高效。
CasePlayer2，一个联合程序分析工具，自动检索被测函数使用的外部变量。缩短以前查找源代码的工作，找出输入条件的变量。而且可以防止类似的人工操作造成的错误。
根据代码分析自动生成C0、C1、MC/DC的覆盖测试计划。
CasePlayer2，联合程序分析工具，自动产生条件分支if，switch，for，while等的测试数据。满足覆盖率测试的要求。条件表达式(if、switch等。)可以显示在数据图(查看器)的列表中。点击条件，工具会自动开始检索与之相关的变量，然后从设定条件的边界值自动生成覆盖测试所需的数据。
为了实现C1/MCDC的覆盖范围，有必要在测试期间合并每个功能的数据。使用CasePlayer2提供的分析结果，分析条件表达式的网络结构，并以最小的可重复性限制生成用于C1/MCDC覆盖测试的数据。
支持微处理器
CoverageMaster winAMS支持的处理器列表(英语)
行动环境
操作PC/OS IBM PC/AT兼容电脑奔腾(相当)CPU内存2GHz以上512MB(推荐值)显示分辨率XGA以上(1024*768)(推荐值)Windows XP、Windows Vista、Windows 7 (32位/64位)( Windows 95/98/Me/NT/2000不。
回顾黄浩宇
标签：单元测试功能测试