0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

符合功能安全要求的动态测试工具-TESSY

经纬恒润 ? 2022-03-05 11:34 ? 次阅读
加入交流群
微信小助手二维码

扫码添加小助手

加入工程师交流群

Tessy是一个专门针对嵌入式软件的C/C++代码进行单元、集成测试的工具,它可以自动化地执行测试、评估测试结果并生成测试报告。

Tessy的目标就是:通过自动化整个测试周期,支持针对C语言的单元测试/集成测试,同时,Tessy也同样关注测试组织和测试管理。

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

北京经纬恒润作为Hitex/Razorcat公司的中国合作伙伴,将为中国汽车客户提供Tessy软件及软件测试服务。

产品介绍

在以V模型为例的开发模式中,Tessy主要应用在单元/模块测试,集成/组件测试。在V模型的开发模式中,单元测试是第一个动态测试活动。通过函数级测试,有效检查出每一类错误,比如算法错误、边界控制错误、数据溢出等。通过单元测试,可以尽可能早得发现Bug,防止到后面的测试过程或者到最终用户那里才被发现。在整个项目开发测试周期中,越早发现Bug越好,事实证明,开展详尽规范的单元测试能够有效减少系统测试和回归测试时间,降低开发成本。

db089096-9bd4-11ec-8b86-dac502259ad0.jpg

另外,Tessy也可以满足各类标准(ISO26262、IEC 61508、 EN 50128/50129、 DO-178B、汽车SPiCE或FDA的软件验证通用原则)对测试的需求,比如ISO26262中各个测试等级中对模块测试的要求可以使用Tessy来满足,当然Tessy本身也通过了Tuev的认证,可以在安全相关性的软件研发过程中被使用。

功能介绍

自动生成测试环境

Tessy可以自动生成测试环境驱动,选择自动或者手动打桩以及自动生成测试用例模板,帮助客户提高测试用例设计效率。

db22fad0-9bd4-11ec-8b86-dac502259ad0.jpg

多种测试用例确定方式

除了可以在简洁的界面中手动输入测试用例之外,还支持从Excel中导入测试数据,也可以通过脚本编辑器编写测试用例。另外,Tessy里集成了CTE软件,根据分类树的方法,将每个接口的等价类进行划分,半自动化的生成测试用例,降低用例冗余度,提高测试效率。

db357b1a-9bd4-11ec-8b86-dac502259ad0.jpg

用例设计

db473dfa-9bd4-11ec-8b86-dac502259ad0.jpg

用例脚本编辑器

db5918cc-9bd4-11ec-8b86-dac502259ad0.jpg

CTE分类树设计

支持动态测试的各阶段

Tessy可以支持从单元测试到系统测试的动态测试过程各个阶段,通过单元测试检查每个函数的功能完整性,通过集成测试对各个子模块进行功能验证以及模块间接口测试,可以通过与目标板集成进行系统功能验证。

db6b71ac-9bd4-11ec-8b86-dac502259ad0.jpg

另外Tessy可以自动识别被测对象的接口变更,提示我们需要更新测试用例;版本迭代时,可重用测试用例和测试数据,节约大量回归测试需要的工作和时间,在接口不变的情况下,Tessy可以自动化地执行不需要用户介入的回归测试。

全自动地测试执行及评估

Tessy检查源文件并且通过分析程序代码来确定函数以及他们的接口,这些信息将被保存在特定的数据库中供随时检索,接口信息和测试数据的分离实现了结构和数据之间的明确划分,一方面,接口的测试使首先显示变化成为可能;另一方面,如果发生变化,通常也只有要测试的函数接口的几个元素要发生变化,在Tessy中接口发生变化时的处理相当简单。

db7e7f68-9bd4-11ec-8b86-dac502259ad0.jpg

测试报告生成

管理测试数据并生成在测试报告,Tessy提供输入参数/执行测试和评估结果和报告文档,Tessy可以生成各种类型的测试报告,包括详细报告、概况报告以及覆盖度报告等。

db8d4106-9bd4-11ec-8b86-dac502259ad0.jpg

覆盖率统计

Tessy提供C1覆盖,即分支覆盖branch coverage或者判定覆盖decision coverage ;条件覆盖,即多条件覆盖MCC(Multiple Condition Coverage)和修正条件判定覆盖MC/DC(Modified Condition/Decision Coverage),Tessy是通过测试应用程序来获取测试覆盖信息的。

db9cda94-9bd4-11ec-8b86-dac502259ad0.jpg

故障注入测试

故障注入可以实现传统方法无法实现的测试用例输入,例如跳出无限循环,先写后读功能以及防御性编程测试。可以在选定的分支位置注入专用的测试代码,以便可以操纵决策结果。这确保了正确的操作以及正常的测试用例不会由故障注入引起副作用。

dbb1bc20-9bd4-11ec-8b86-dac502259ad0.jpg

支持测试用例有效性自动评估

除了传统的测试用例执行结果统计和覆盖率统计,TESSY还支持自动化的用例有效性评估,检验测试用例对边界测试和特殊场景的覆盖情况,防止由于测试用例不充分对测试效果的影响,影响程序运行可靠性。同时,对于测试项目管理者来说,也可以通过该指标对团队的整个测试结果有更全面的了解和把控。

dbc30002-9bd4-11ec-8b86-dac502259ad0.jpg

支持各种开发环境

Tessy现在可以支持超过130种微控制器、编译器和调试器的组合;这确保了Tessy能够处理交叉编译器生成的非标准C(ANSI-C)微控制器特定的代码;一旦Tessy和不同的开发环境完成集成,就可以在实际芯片中运行测试用例了。

dbd13fdc-9bd4-11ec-8b86-dac502259ad0.jpg

支持ASAP2

在Tessy中设计测试用例之前选择与ASAP2标准的集成功能,确定需要导入的ASAP2文件,使用ASAP2转换规则自动地将测试用例中设计的测试数据物理值转换为在目标板中执行测试对象的整数值,从而简化测试用例设计的理解和实现,并且可以在Tessy中显示其他ASAP2信息,例如单位,最大/最小值等。

dbdcf1ce-9bd4-11ec-8b86-dac502259ad0.jpg

插入需求

所有的测试活动都是基于功能规格和需求变更的。支持插入需求,随着需求的变化自动变更需求版本,实现需求可溯性。可通过插入需求宏观把握测试工作的进度。

dbefb354-9bd4-11ec-8b86-dac502259ad0.jpg

应用 & 案例

Tessy被广泛应用于汽车、铁路、医疗和工业应用领域当中,众多汽车整车厂、零部件供应商都在使用Tessy。

汽车行业


dbfd0acc-9bd4-11ec-8b86-dac502259ad0.jpg

安全关键性领域


dc103ac0-9bd4-11ec-8b86-dac502259ad0.jpg

医疗行业、白色家电等领域

相关链接 (直接点击进入

1

MACH SYSTEMS—总线接口转换工具

2

Stimulus—需求形式化建模和分析工具

3

Cotherm 多物理场耦合方案

4

Cradle CFD—专业热流场分析工具

5

TAITherm座舱热管理与续航里程

6

Twin Builder——系统级多物理域数字孪生平台

经纬恒润通过与IBM、Dassault、ANSYS等知名工业软件厂商合作,为用户提供汽车电子领域数十种研发工具,并通过在研发流程、建模仿真、测试验证、平台建设等领域的定制开发和技术服务,助力用户实现研发的流程化、数字化、智能化和平台化,提升产品研发效率和市场竞争力。

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • 测试
    +关注

    关注

    8

    文章

    5772

    浏览量

    129418
收藏 人收藏
加入交流群
微信小助手二维码

扫码添加小助手

加入工程师交流群

    评论

    相关推荐
    热点推荐

    单元测试工具TESSY现已支持ABIX HiperSIM,助力MELEXIS MLX16 汽车嵌入式系统的软件验证

    TESSY现已支持ABIX HiperSIM,为基于MELEXIS MLX16架构的汽车嵌入式系统提供高效、可靠的软件验证解决方案。自动化测试+高保真仿真,助力提升软件质量与开发效率。
    的头像 发表于 07-17 13:39 ?384次阅读
    单元<b class='flag-5'>测试工具</b><b class='flag-5'>TESSY</b>现已支持ABIX HiperSIM,助力MELEXIS MLX16 汽车嵌入式系统的软件验证

    试工具:Eclipse调试工具栏与窗口的深入分析

    摘要 :在嵌入式系统开发领域,高效的调试工具链对于项目的成功实施具有决定性意义。本文聚焦于 Eclipse 调试工具栏与窗口的功能特性,深入剖析其在嵌入式开发调试过程中的关键作用。以厦门国科安芯
    的头像 发表于 07-07 11:32 ?275次阅读
    调<b class='flag-5'>试工具</b>:Eclipse调<b class='flag-5'>试工具</b>栏与窗口的深入分析

    PSoC? BLE 设备是否符合 Cyber Resilience?

    PSoC? BLE 设备是否符合 Cyber Resilience(在 RED(RADIO EQUIPMENT DIRECTIVE))中增加安全要求的法律法规)? 如果没有,将来有支持它的计划吗?
    发表于 07-03 07:20

    合作伙伴资讯 | Razorcat再次通过ISO 9001质量管理体系认证,龙智持续为您保障高质量测试工具与服务

    龙智代理的嵌入式软件自动测试工具TESSY的研发厂商——Razorcat再次顺利通过 ISO 9001 质量管理体系认证!充分体现了Razorcat在产品研发、服务支持及流程管理方面的高标准与持续稳定性。
    的头像 发表于 06-19 17:01 ?942次阅读
    合作伙伴资讯 | Razorcat再次通过ISO 9001质量管理体系认证,龙智持续为您保障高质量<b class='flag-5'>测试工具</b>与服务

    开源工具 Made with KiCad(131):BomberCat 安全测试工具

    “? BomberCat 是一个结合硬件开发与安全测试的开源工具,主要面向电子工程和网络安全领域。用于检测银行终端、门禁系统等设备的漏洞。 ” Made with KiCad 系列将支
    的头像 发表于 06-19 11:18 ?4324次阅读
    开源<b class='flag-5'>工具</b> Made with KiCad(131):BomberCat <b class='flag-5'>安全</b><b class='flag-5'>测试工具</b>

    视频教程| 单元测试工具TESSY:故障注入测试演示

    测试
    龙智DevSecOps
    发布于 :2025年05月30日 13:38:20

    “黄盔甲”散热材料提升电池电芯模组安全性 | 《电动汽车用动力蓄电池安全要求

    根据工信部于2025年4月3日发布的GB38031-2025《电动汽车用动力蓄电池安全要求》,动力电池安全标准迎来全面升级,首次将“不起火、不爆炸”从企业技术目标上升为强制性法律要求,标志着动力电池
    的头像 发表于 05-20 05:59 ?394次阅读
    “黄盔甲”散热材料提升电池电芯模组<b class='flag-5'>安全</b>性 | 《电动汽车用动力蓄电池<b class='flag-5'>安全要求</b>》

    充电桩3c认证测试项目(详细版)

    充电桩的CCC认证测试项目主要依据GB 39752《电动汽车供电设备安全要求》和GB 44263《电动汽车传导充电系统安全要求》,涵盖电气安全、机械
    的头像 发表于 03-07 17:31 ?3164次阅读
    充电桩3c认证<b class='flag-5'>测试</b>项目(详细版)

    芯科科技Z-Wave设备测试工具介绍

    本篇技术博文将介绍SiliconLabs(芯科科技)提供的Z-Wave设备测试工具,通过使用一个旧的Z-Wave DUT项目来测试Z-Wave设备,以确保设备可以正常工作。
    的头像 发表于 01-17 09:39 ?709次阅读
    芯科科技Z-Wave设备<b class='flag-5'>测试工具</b>介绍

    Web端TCP/UDP测试工具!小白必学~

    Web端TCP/UDP测试工具,方便大家进行各种基于TCP和TDP的模拟测试。该测试工具不仅支持TCP和UDP测试,还支持SSL,使用极为便捷。 按照如下
    的头像 发表于 01-08 18:17 ?1482次阅读
    Web端TCP/UDP<b class='flag-5'>测试工具</b>!小白必学~

    Modbus测试工具

    非常实用的工具,通信测试前可以用来检查线路接线和仪表设置是否正常。
    发表于 12-31 13:38 ?3次下载

    嵌入软件单元/集成测试工具专业分析

    软件开发设计的单元测试工具,其独特的功能和优势使其在市场中占据了一席之地。本文将对WinAMS进行深入分析,并将其与其他测试工具进行对比,探讨其在功能、易用性和兼容性等方面的优点。 1
    的头像 发表于 11-19 16:41 ?763次阅读

    CAN总线测试工具选择与使用

    1. CAN分析仪 CAN分析仪是一种高级的测试工具,能够实时捕获和分析CAN总线上的数据。它们通常具备以下功能: 数据捕获和存储 实时数据显示 信号诊断和错误检测 网络参数配置 模拟CAN消息发送 2. CAN接口卡 CAN接口卡是一种硬件设备,安装在计算机上
    的头像 发表于 11-12 10:16 ?2842次阅读

    TCP&UDP调试工具

    TCP&UDP调试工具
    发表于 10-30 10:41 ?3次下载

    MODBUS调试工具(modscan32)

    MODBUS调试工具(modscan32)
    发表于 10-24 10:39 ?3次下载