自动化嵌入式系统测试流程：TESSY功能优势详解

关于TESSY：

TESSY作为最早的单元测试工具之一，是当今嵌入式软件测试的领先解决方案。TESSY的设计目的是支持根据标准进行的开发和测试，已经成为高质量产品和安全关键型应用的常用工具。

TESSY实现了整个测试周期的自动化，包括在各种目标系统上对C/C++嵌入式软件进行回归测试。作为已通过认证的测试工具，TESSY支持所有行业领先的编译器、调试器和微控制器以及主机模拟。

TESSY具有IEC61508 / ISO26262、IEC62304 和 EN50128 标准要求的安全相关软件开发资质。

自动化测试工具TESSY，源自戴姆勒-奔驰公司的软件技术实验室，在戴姆勒-奔驰公司得到广泛使用。1997年之后独立成为专业的软件测试工具公司，Razorcat负责全球销售及技术支持服务。

龙智作为TESSY软件的授权分销商，为中国用户提供全方位的TESSY软件服务，包括咨询、销售、实施、培训和技术支持。点击咨询，申请免费试用。

单元/集成测试的关键特点：

> 直观的测试设计和自动化工作流程
> 管理、链接和追踪需求
> 在电子表格和用户代码中编辑测试数据
> 支持软件变体测试
> 故障注入测试
> 定义基于时间的组件测试场景
> 在主机、模拟器和硬件上执行测试
> 图形化绘制测试结果
> 自动代码访问（Automatic Code Access）检查
> 用流程图的形式分析代码覆盖率
> 累计基于行的超覆盖率（Hyper Coverage）
> 生成多种格式的定制报告
> 用于持续集成的命令行脚本
> 集成分类树编辑器（CTE）
> 软件度量的计算（McCabe）
> 测试工作估算和跟踪
> 通过文本测试脚本审查测试更改
> 基于更改的回归测试
> 自动检查测试用例质量

自动化测试工具TESSY的功能优势：

高效测试与追溯

TESSY将手动任务量降至最低，使验证过程可扩展、透明化且不易出错。TESSY可自动化生成测试规范、执行测试并生成报告，从而提供一致的可追溯性，这也是认证所必需的。

执行需求审查

TESSY提供需求管理功能，通过接口与第三方需求管理工具交互。通过测试或基于ASCII/PDF的检查清单和审查协议，可实现对需求的全面覆盖。

以需求管理工具Jama Connect为例，TESSY支持通用的的交换格式ReqIF来交换需求。TESSY可以在ReqIF文件中记录链接和测试运行的结果，这样ReqIF文件可以重新导入Jama Connect。为了进行交换，需要在Jama Connect中准备适当的属性，例如，除了结果字段外，通常还需要一个所谓的验证级别，指定需求在测试的哪个阶段被链接。

通过故障注入进行健壮性测试

利用TESSY基于源代码控制流的自动故障注入功能，可以对不可达的分支和异常运行条件进行彻底测试。

两种测试编辑方式：图形用户界面和文本形式

通过脚本视角，可以对测试进行文本编辑，也可以用专用的测试脚本对更改进行审查。所有测试数据都可以从脚本格式转换为TESSY内部格式，反之亦然。

这种混合编辑方法提供了最灵活的方式，既可以使用基于表格的专用图形界面编辑数百个测试数据值，又可以在基于ASCII的编辑器中轻松编辑大型分布式的测试代码片段。

基于变更的回归测试

TESSY可自动检测源代码中的更改。基于这些更改，TESSY会预分配接口元素并自动调整用户代码。为了快速、直接地进行回归测试，TESSY只会针对已更改的代码执行测试。

使用Jenkins进行持续测试

TESSY的命令行界面和专用于TESSY的Jenkins插件，让您可以在Jenkins等持续集成平台上提供强大的测试设置。

轻松处理数据

舒适的电子表格编辑器带有问题高亮显示，并可在分类树编辑器内进行访问，使得数据处理变得简单。使用多种导入/导出格式，可方便交换测试数据和需求。

持续调整适应

TESSY支持的编译器、目标调试器和第三方工具的接口范围广泛，并在不断扩大。可根据需求针对特定系统、接口或可选功能进行调整。

生成测试驱动程序

TESSY可自动生成完整的测试框架，包括存根函数和所有外部引用。

代码覆盖率分析

TESSY包含八种不同的覆盖率测量方法，可单独或根据规范和标准进行选择。覆盖率结果以图形流程图、彩色源代码视图以及文本形式呈现。

强大导航功能，通过流程图可以轻松发现未显示的分支，条件则在代码视图中突出显示。

检测隐藏或未经测试的源代码

测试设置完成后，代码访问 (CA) 功能会自动检测哪些代码行尚未测试。此外，所有的覆盖结果将被累积到超覆盖 (HC) 中，以显示任何未覆盖的源代码行。

检测测试质量

批处理模式下，对所有已通过的测试进行突变测试是测试执行的附加选项之一。此外，还可以自动使用不同的测试数据模式初始化输出变量，并检查测试中是否存在至少一个验证。

审核编辑 黄宇