: 嵌入式目标代码的单元测试/集成测试工具

全面支持嵌入式微机！使用自动化单元测试工具逐个模块验证嵌入式 C/C++ 软件实现

无需直接使用目标代码进行单元测试

联合静态分析工具【】，提供C0（语句）、C1（决策）、MC/DC覆盖率报告，优化测试用例制作

汽车功能安全软件工具第三方认证机构认证产品汇总

[]是一款嵌入式软件自动化单元测试工具，基于嵌入式软件功能实现模块单元测试和C0/C1/MCDC覆盖测试（test）。目标机源代码通过交叉编译器生成目标机执行代码，并通过与实际处理器相同的模拟处理器环境进行单元测试，无需对执行代码做任何改动，使得模块测试成为可能具有高可靠性。在汽车控制软件等对安全性要求极高的领域，单元测试已经成为不可或缺的一部分。还使用目标代码进行单元测试，以符合汽车行业的功能安全认证标准。

产品特点

全面支持嵌入式微机！使用自动化单元测试工具逐个模块验证嵌入式 C/C++ 软件实现

【单元测试】在嵌入式开发领域被广泛重视，作为一种检测方法，可以检测出单靠系统测试和整体测试无法发现的【潜在错误】。同时，单元测试也是汽车软件功能安全领域需要实施的认证项目之一（）。

[ ] 直接使用交叉编译生成的目标机器代码在模拟处理器环境中进行单元测试。它不仅可以实现C语言程序的逻辑单元验证，而且可以对嵌入式微机组装成产品后可能出现的问题进行高可靠性的白盒测试。

业内唯一可以直接使用目标代码进行单元测试的工具

一些公司的单元测试工具经常采用在被测对象的源代码中添加测试代码或测试驱动的方法，导致测试时使用的代码与组装成产品后的目标机器代码不同。虽然【理论上操作功能应该是一样的】，但从嵌入式开发的角度来看，就像是处理交叉编译生成的优化代码，无法保证最终产品的质量。它是业界唯一具有实现单元测试功能的工具[无需对被测对象进行任何处理]，特别是在安全要求高的领域获得了很高的评价。

无需建立专门的单元测试环境，可以在交叉编译环境中进行单元测试进行开发

无需添加任何测试驱动程序或测试代码，可以直接使用将组装成产品的目标代码进行单元测试。单元测试可以使用与软件开发共同的交叉编译环境，不再需要对测试资源进行特殊管理或建立其他特殊环境。因此，便于程序资源管理win测试工具，可以缩短准备测试环境所需的时间。

符合汽车功能安全标准要求的最佳工具()【直接使用目标机器码实现单元测试，无需处理】

它源自适用于汽车行业的功能安全标准。其中，Part.6-9【软件程序单元测试】包括软件程序的结构覆盖测试及相关规定。根据汽车安全标准 (ASIL)，提出了测试语句覆盖率 ( )、分支覆盖率 ( ) 和 MC/DC 覆盖率的建议。

另一个推荐的项目是

【尽量让单元测试的环境和目标环境一样】

规定。如果在与目标环境不同的环境中进行单元测试，则必须显示源代码和目标代码之间的差异，以及目标环境和测试环境之间的差异。因此，对于使用与目标微机不同的计算机进行编译和单元测试的其他公司的工具，很难满足这一要求。虽然有些公司的单元测试工具包含了交叉编译环境和编译功能，也可以在和目标环境相同的环境下进行测试，但是所有的测试都需要插入测试代码重新编译，所以测试只能实现在与目标环境不同的环境中。

GAIO 提供的单元测试工具有

●使用完全支持嵌入式微机的微机化功能测试平台环境

●无需插入测试代码，直接用目标机器码进行测试

特征，提供满足标准要求的必要功能。GAIO 提供了业界唯一符合标准要求的工具[直接从整个代码实现单元测试]。

关于汽车功能安全的对应与认证的取得

汽车功能安全软件工具第三方认证机构认证

2012年6月28日，“/”测试工具获得德国第三方认证机构汽车功能安全规范软件工具方面的认证，这是包括日本在内的亚洲地区首次获得该认证。

通过该认证意味着我公司的单元测试工具“/”和程序分析工具“”是满足静态分析和单元测试领域所有安全级别的工具，并有认证机构的保证。

ISO 26262 要求开发人员为不同开发软件工具的工具置信级别 (TCL) 开发软件工具提供认证。该认证适用于工具认证中最复杂的TCL3工具认证标准。因此，引入公司的单元测试工具后，无需对TCL部分进行认证，可以减少程序和时间。

主要单元测试功能

采用托管单元测试

是用于管理单元测试和制作测试数据的应用程序功能。从测试环境的设置到测试结果的上报win测试工具，通过微机化功能测试平台（ISS）实现综合管理。

使用通用且方便的 CSV 文件管理测试数据的输入和输出

无需插入测试代码，直接使用目标机器代码进行单元测试。用于功能测试的输入和输出数据使用通用且方便的 CSV 文件进行管理。测试结束后，输出的测试结果和输出期望值也会以同样的格式显示在CSV文件中。

自动生成 C0/C1 覆盖率报告（标准功能）

根据测试的输入输出数据，自动上报对应源代码的C0/C1测试覆盖率结果。包括通过 graph() 显示测试数据的能力，及其对应的被测源代码路径，用于分析测试结果。MC/DC 覆盖测试功能也作为可选功能包括在内。

MC/DC覆盖自动测试功能（选项功能）

提供 MC/DC 覆盖测试功能作为可选功能。C0/C1覆盖测试可以直接使用目标机器码，无需处理。但是，MC/DC覆盖测试需要对复合条件表达式自动插入和分解复合条件表达式，以便对每个条件表达式进行测试。这可能导致测试代码和目标机器代码之间的差异。为了验证有效性，在进行MC/DC覆盖测试的同时，运行目标机器代码win测试工具，确认运行结果与预期值的一致性。

注意：右边的例子表明，在第二个if语句的复合条件表达式中，[gbc>30]为false时的分支没有被测试。对于C1覆盖测试，其测试结果OK；对于 MC/DC 覆盖率测试，其结果为 NG。

注意：MC/DC 覆盖测试功能不支持 C++ 程序。

单元测试的效率函数

结合程序分析工具，实现代码引用分析工作的效率

使用该函数将生成的流程图和模块结构图（调用函数的结构图）与源代码链接起来，使单元测试的源代码分析工作更加高效。

可自动检索被测函数的外部变量，使测试条件的设置更高效

一种联合程序解析工具，可自动检索被测函数使用的外部变量。减少搜索源代码以查找输入条件的变量所需的工作。此外，还可以防止因手动操作导致变量指定遗漏等错误。

根据代码分析自动制定C0、C1、MC/DC覆盖测试计划

结合程序分析工具，可以自动生成满足覆盖测试要求的条件分支if、for、while等测试数据。被测函数中包含的条件表达式（if 等）可以列在数据图（）上。点击其中一个条件，工具会自动开始检索与其相关的变量，然后根据设置条件的阈值自动生成覆盖测试所需的数据。

为了实现C1/MCDC覆盖，测试时需要结合各个功能的数据。使用提供的分析结果，分析条件网络结构以生成具有最小可重复性约束的 C1/MCDC 覆盖测试数据。

支持主板

列表（）

行动环境

・操作PC/OS

・IBM PC/AT 兼容

・（同等）2GHz以上的CPU

・内存512MB以上（推荐值）

・显示分辨率XGA（1024*768）或更高（推荐值）

・ XP, , 7 (32bit/64bit) (※ 95/98/Me/NT/2000 不支持)

本系统及软件只用于个人封装技术研究交流使用，不得用于商业用途，且本站不承担任何技术及版权问题，请在试用后24小时内删除!