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

    文章

    5275

    浏览量

    126600
收藏 人收藏

    评论

    相关推荐

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

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

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

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

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

    TESSY实现了整个测试周期的自动化,包括在各种目标系统上对C/C++嵌入式软件进行回归测试。作为已通过认证的测试工具TESSY支持所
    的头像 发表于 07-22 10:52 531次阅读
    自动化嵌入式系统<b class='flag-5'>测试</b>流程:<b class='flag-5'>TESSY</b><b class='flag-5'>功能</b>优势详解

    单元测试工具TESSY 新版本亮点速览:提供测试驾驶舱视图、超级覆盖率、代码访问分析、增强覆盖率审查

    TESSY最新版本v5.1现已发布! 该版本可用于Windows和Linux,并提供各种有趣的新功能。一个突出的新功能是新的“测试驾驶舱视图”,它可用于从整个软件中确定要
    的头像 发表于 07-08 16:20 433次阅读
    单元<b class='flag-5'>测试工具</b><b class='flag-5'>TESSY</b> 新版本亮点速览:提供<b class='flag-5'>测试</b>驾驶舱视图、超级覆盖率、代码访问分析、增强覆盖率审查

    简仪计数器/定时器模块满足严格的工业标准和安全要求

    ,以满足严格的工业标准和安全要求。 挑战 传统的脉冲边沿检测方法通常采用示波器或时间间隔计时器等仪表进行测量,但这些方法存在精度不够高、测量速度慢、操作繁琐等弊端,难以满足高压控制模组测试的苛刻要求。 解决方案 针对这一
    的头像 发表于 06-26 15:06 662次阅读
    简仪计数器/定时器模块满足严格的工业标准和<b class='flag-5'>安全要求</b>

    CAN总线测试工具的主要功能

    CAN总线测试工具是用于测试CAN(Controller Area Network)总线通信的软件或硬件工具,其功能丰富且多样化。以下是CAN总线
    的头像 发表于 06-25 16:02 1052次阅读

    接口测试工具有哪些种类

    接口测试是软件测试的一个重要环节,主要用于验证系统各模块之间的交互是否符合预期。随着软件行业的快速发展,接口测试工具也不断涌现,为测试人员提
    的头像 发表于 05-30 15:07 700次阅读

    工具工具——映射与调度、模拟与验证、开发与测试工具

    本篇文章将重点介绍工具链的工具相关知识,我们将从工具链的基本概念出发,重点介绍工具链中的映射和调度工具、模拟与验证
    的头像 发表于 05-16 14:30 2824次阅读
    <b class='flag-5'>工具</b>链<b class='flag-5'>工具</b>——映射与调度、模拟与验证、开发与<b class='flag-5'>测试工具</b>

    嵌入软件单元测试工具的作用

    嵌入软件单元测试工具是现代软件开发过程中不可或缺的一环。它的作用在于帮助开发人员对软件中的各个单元进行测试,以确保其功能的正确性和稳定性。单元测试是软件开发过程中的一种
    的头像 发表于 04-23 15:31 428次阅读
    嵌入软件单元<b class='flag-5'>测试工具</b>的作用

    DEKRA被CSA指定为Zigbee统一测试工具开发和优化新功能测试用例

    DEKRA德凯被CSA联盟(Connectivity Standards Alliance,CSA)指定负责为Zigbee统一测试工具(Zigbee Unified Test Harness,ZUTH)开发和优化新功能测试用例
    的头像 发表于 04-09 14:10 508次阅读

    锂电池充放电作业和用电方面的安全要求有哪些?

    锂电池充放电作业和用电方面的安全要求有哪些
    的头像 发表于 03-22 10:11 1015次阅读
    锂电池充放电作业和用电方面的<b class='flag-5'>安全要求</b>有哪些?

    Cybellum—信息安全测试工具

    Cybellum是一款信息安全测试与管理工具,帮助汽车OEM及其供应商在整个汽车生命周期内大规模评估和降低安全风险。它无需访问源代码,通过Cyber Digital Twins技术检测
    的头像 发表于 01-26 16:48 630次阅读
    Cybellum—信息<b class='flag-5'>安全</b><b class='flag-5'>测试工具</b>

    Klocwork—符合功能安全要求的自动化静态测试工具

    Klocwork是Perforce公司产品,主要用于C、C++、C#、Java、 python和Kotlin代码的自动化静态分析工作,可以提供编码规则检查、代码质量度量、测试结果管理等功能
    的头像 发表于 01-16 16:26 649次阅读
    Klocwork—<b class='flag-5'>符合</b><b class='flag-5'>功能</b><b class='flag-5'>安全要求</b>的自动化静态<b class='flag-5'>测试工具</b>

    Tessy—嵌入式软件单元测试/集成测试工具

    Tessy源自戴姆勒—奔驰公司的软件技术实验室,由德国Hitex公司负责销售及技术的支持服务,是一款专门针对嵌入式软件进行单元/集成测试工具。它可以对C/C++代码进行单元、集成测试
    的头像 发表于 01-15 14:39 817次阅读
    <b class='flag-5'>Tessy</b>—嵌入式软件单元<b class='flag-5'>测试</b>/集成<b class='flag-5'>测试工具</b>

    网络安全测试工具有哪些类型

    网络安全测试工具是指用于评估和检测系统、网络和应用程序的安全性的一类软件工具。这些工具可以帮助组织和企业发现潜在的
    的头像 发表于 12-25 15:00 1282次阅读