自动化您的嵌入式系统测试流程: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) 中,以显示任何未覆盖的源代码行。

检测测试质量

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

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值