首页 > 其他分享 >Tessy—嵌入式软件单元测试/集成测试工具

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

时间:2024-01-15 15:00:30浏览次数:34  
标签:集成 单元测试 Tessy 接口 嵌入式软件 测试用例 测试 测试工具

产品概述

       Tessy源自戴姆勒—奔驰公司的软件技术实验室,由德国Hitex公司负责销售及技术的支持服务,是一款专门针对嵌入式软件进行单元/集成测试的工具。它可以对C/C++代码进行单元、集成测试,可以自动化搭建测试环境、执行测试、评估测试结果并生成测试报告,其多样化的测试用例导入生成方式和与测试需求关联的特色,使Tessy在测试组织和测试管理上也发挥了良好的作用。目前Tessy被广泛应用在汽车电子客户中。

 

产品介绍

  • 主要特点

          在V模型开发中,Tessy主要应用在单元测试和集成测试阶段。单元测试通过运行代码检测出函数中错误,比如算法错误、接口问题等;集成测试则在单元测试的基础上验证单元之间接口的正确性。基于越早发现bug开发成本越低的原则,在进行代码功能验证的过程中,按照V流程右半部分先完成单元测试再进行集成测试的测试顺序更为有效。

          另外,Tessy也可以满足各类标准(如ISO26262、IEC61508、EN50128/50129等)对测试的需求。比如Tessy可以满足ISO26262中各等级对单元/集成测试的要求,当然Tessy本身也通过了TUV的认证,证明该软件是安全可靠的,可以在安全相关的软件研发过程中使用。

 

  • 主要功能

        自动生成测试环境、一键执行及评估结果

          Tessy可以自动生成驱动程序、桩函数,帮助测试人员提高单元测试效率。

          Tessy支持一键执行测试,并自动对测试结果进行评估,可生成多种形式的报告。

        便捷的测试用例设计方式

          除软件界面手动设计测试用例外,Tessy还支持导入导出多种格式的测试用例。另外,Tessy集成了分类树编辑器CTE,有效利用等价类划分以及边界值法,辅助设计出更有效的测试用例。

        高度自动化的回归测试

          Tessy通过分析源文件自动识别函数及相关接口。在接口发生变更时,支持通过简便的操作进行测试数据复用,保证便捷有效的回归测试。

        测试覆盖度分析

          Tessy提供分支覆盖、修正条件/判定覆盖MC/DC(Modified Codition/Decision Coverage)、多条件覆盖MCC(Multiple Condition Coverage)等多种覆盖度分析。

        故障注入测试

          可以实现传统方法无法实现的测试用例输入,例如跳出无限循环,先写后读功能以及防御性编程测试。

        测试的需求可追溯

          支持导入多种格式需求、管理需求并实现测试用例与需求的关联。

        支持多种开发环境下PIL测试

          支持与常见嵌入式环境进行集成实现在板测试,且环境接口对用户开放。

应用案例

  • 汽车行业

  • 安全关键模块

 

标签:集成,单元测试,Tessy,接口,嵌入式软件,测试用例,测试,测试工具
From: https://www.cnblogs.com/hirain123/p/17965363

相关文章

  • android系统的常用测试工具
    常用的Android测试工具有:1.AndroidStudio:Android开发集成环境,提供了丰富的测试工具和调试功能,包括模拟器、调试器、性能分析器等。2.Espresso:Android官方推荐的UI自动化测试框架,可以方便地编写和执行UI测试用例。3.UIAutomator:Android官方提供的UI自动化测试框架,可以用于跨应......
  • 嵌入式软件开发人员有必要学习系统移植的知识吗?【ppt获取见文末】
    《从零开始学ARM》的配套视频说明为了让粉丝更好的学习我的新书里面的知识,一口君特地录制了配套学习视频,《从0学ARM第一期》《从0学ARM第一期》视频已经免费发布在B站,而书中除了ARM汇编、裸机开发等知识,还涉及到系统移植的一些知识点所以一口君干脆录制了一期《系统移植......
  • 50、Flink的单元测试介绍及示例
    Flink系列文章一、Flink专栏Flink专栏系统介绍某一知识点,并辅以具体的示例进行说明。1、Flink部署系列本部分介绍Flink的部署、配置相关基础内容。2、Flink基础系列本部分介绍Flink的基础部分,比如术语、架构、编程模型、编程指南、基本的datastreamapi用法、四大基......
  • 50、Flink的单元测试介绍及示例
    文章目录Flink系列文章一、Flink测试概述二、测试用户自定义函数1、单元测试无状态、无时间限制的UDF1)、示例-mapFunction2)、示例-flatMapFunction2、对有状态或及时UDF和自定义算子进行单元测试1)、DataStreamAPI测试依赖2)、TableAPI测试依赖3)、flatmapfunction单元测试......
  • Helix QAC—软件静态测试工具
    产品概述    HelixQAC是Perforce公司(原PRQA公司)产品,主要用于C/C++代码的自动化静态分析工作,可以提供编码规则以及信息安全相关检查、代码质量度量、软件结构分析、测试结果管理等功能。HelixQAC能够准确地发现软件中潜在的问题,自身符合ISO26262功能安全标准认证。适用于......
  • Windows桌面自动化测试工具:WinAppDriver
    大家好,今天给大家介绍一款Windows桌面自动化测试工具:WinAppDriver。1、介绍WinAppDriver是一个开源的自动化测试工具,用于测试Windows应用程序。它是一个WindowsApplicationDriver,可以与多种自动化测试框架和工具集成,如Selenium、Appium等。WinAppDriver提供了一组API,用于与Win......
  • test-01-java 单元测试框架 junit 入门介绍
    拓展阅读junit5系列基于junit5实现junitperf源码分析Autogeneratemockdataforjavatest.(便于Java测试自动生成对象信息)Junitperformancerelyonjunit5andjdk8+.(java性能测试框架。性能测试。压测。测试报告生成。)JUnitJUnit是一个用于编写可重复测试......
  • test-02-java 单元测试框架 junit5 入门介绍
    拓展阅读junit5系列基于junit5实现junitperf源码分析Autogeneratemockdataforjavatest.(便于Java测试自动生成对象信息)Junitperformancerelyonjunit5andjdk8+.(java性能测试框架。性能测试。压测。测试报告生成。)junit5的入门例子maven引入<depend......
  • 【Java技术深入解析】「核心技术提升」最流行的Java模拟框架Mockito入门指南(Java单元
    官方资源官方网站http://mockito.org版本介绍还在使用Mockito1.x?看看Mockito2有哪些新功能!Mockito3没有引入任何破坏性的API变动,但现在需要Java8而不是Mockito2的Java6。Mockito4删除了过时的API。Mockito5将默认mockmaker改为mockito-inline,现在需要Ja......
  • 精进单元测试技能——Pytest断言的艺术
    本篇文章主要是阐述Pytest在断言方面的应用。让大家能够了解和掌握Pytest针对断言设计了多种功能以适应在不同测试场景上使用。了解断言的基础在Pytest中,断言是通过 assert 语句来实现的。简单的断言通常用于验证预期值和实际值是否相等,例如:deftest_addition():result=ad......