基于错误驱动的翻译模板自动获取 利用Controller Tester进行动态测试

我们先来了解一下什么是编辑器的单元测试！

1. 什么是单元测试？

单元测试也称为模块测试或组件测试。它是测试可以与程序的其他部分隔离进行测试的*小单元的活动，以发现缺陷并验证其功能。

一般来说，单元的具体含义应根据实际情况确定，可以是函数、模块、类或对象。

并且单元测试将首先进行功能（基于需求）测试，此外还有具体的非功能测试，如接口测试、源代码相关测试、健壮性测试等。

单元测试一般在以编码为中心的运行环境中进行，因此需要调试或编译工具等开发环境的支持。但是在单元测试中，有时会用到驱动、存根和模拟器，所以不需要完美的环境。

上图是国际汽车电子控制装置功能安全标准ISO 26262（Road Vehicles Functional Safety）中提出的V模型。汽车相关行业的开发和验证都需要遵守此规定，单元测试是右侧测试过程的第一阶段。

汽车控制器通过接受危害分析和风险评估来建立 ASIL（汽车安全完整性等级）级别。根据不同的层次，有相应的推荐方法或结构覆盖（Structural Coverage：Statement Coverage、Branch Coveage、MC/DC）。

就像汽车领域的ISO 26262一样，各个行业都有相应的标准应该遵循。国防和航天标准为DO-178B/C，铁路领域为IEC-62279、EN-50128。

2.使用Controller Tester进行单元测试过程

单元测试过程

首先在Controller Tester中，根据环境信息（如集成开发环境和目标软件的编译器版本）搭建Build环境，然后继续搭建测试环境，通过创建项目生成测试代码每个单位。

测试环境搭建好后，为了测试顺利，还需要添加测试代码。此时，Controller Tester 通过分析规范和代码来编写测试代码，反映使用的变量的输入/输出或必要的存根信息。

完成测试编码后，根据反映的信息生成要执行的测试用例。创建测试用例的方法有很多种，其中*具代表性的是等价类划分法和边界值法。前者是将所有可能的输入数据，即程序的输入域分成若干部分（子集），然后从每个子集中选取少量有代表性的数据作为测试用例；后者是对每组错误概率较高的极限值进行测试。

Controller Tester判断测试用例的必要性，使用上述方法直接生成测试用例或使用Controller Tester提供的自动生成功能自动生成测试用例。

Controller Tester提供的测试用例自动生成功能利用了多种测试用例生成和组合方式，包括基于测试数据数量*多的变量简单组合的平面组合。每个选定的参数数据至少与自身以外的参数数据组合。一个pairwise组合的Pairwise组合，以及输入参数变量分区列表的*小值和*大值之间的任意值的随机组合基于错误驱动的翻译模板自动获取，根据用户定义的数量等。

测试用例生成后，使用编写好的测试代码和测试用例进行测试，直到必须满足100%的结构覆盖率（Structural Coverage：Statement Coverage、Branch Coverage、MC/DC）。执行工作。在这种情况下，只要使用Controller Tester提供的可以轻松掌握覆盖满意程度的“Coverage View”功能或者可以确认函数内执行的分支的“Control Flow Chart”功能，就可以更简单有效 执行单元测试。

测试结束后基于错误驱动的翻译模板自动获取，在确认测试结果时，可以通过分析可能导致致命错误的部分或掌握覆盖效果不能满足的原因来发现软件缺陷。

我们公司的软件Controller Tester可以通过在目标环境或类似于目标环境的主机环境中配置嵌入式软件来帮助您轻松测试。此外，Controller Tester 支持测试设计、测试代码和数据生成、执行测试和覆盖率测量的各个阶段，并具有测试自动化过程中所需的各种功能。