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

2023-10-27

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

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

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

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

产品介绍

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

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

功能介绍

  • 自动生成测试环境

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

  • 多种测试用例确定方式

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

在这里插入图片描述用例脚本编辑器

在这里插入图片描述CTE分类树设计

  • 支持动态测试的各阶段

Tessy可以支持从单元测试到系统测试的动态测试过程各个阶段,通过单元测试检查每个函数的功能完整性,通过集成测试对各个子模块进行功能验证以及模块间接口测试,可以通过与目标板集成进行系统功能验证。
在这里插入图片描述
另外Tessy可以自动识别被测对象的接口变更,提示我们需要更新测试用例;版本迭代时,可重用测试用例和测试数据,节约大量回归测试需要的工作和时间,在接口不变的情况下,Tessy可以自动化地执行不需要用户介入的回归测试。

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

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

  • 覆盖率统计

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

  • 故障注入测试

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

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

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

  • 支持各种开发环境

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

  • 支持ASAP2

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

  • 插入需求

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

在这里插入图片描述

应用 & 案例

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

  • 汽车行业
    在这里插入图片描述

  • 安全关键性领域
    在这里插入图片描述

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

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

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

  • qnx的触摸校准calib_校准工具使用教程

    锋影 email 174176320 qq com 环境配置 Hardware TI OMAPL138 Board OS QNX Neutrino 6 5 0 BSP bsp nto640 ti omap l138 evm trunk 20
  • 什么是AECQ?

    AECQ是车规验证标准 是克莱斯勒 福特和通用汽车为建立一套通用的零件资质及质量系统标准而设立了汽车电子委员会 AEC AEC 是 Automotive Electronics Council 汽车电子协会 之略 是主要汽车制造商与美国的主
  • CCP2.1协议基础知识

    1 前言 1 1 名词介绍 ASAP Arbeitskreis Standardisierung von Applicationssystem 应用系统标准化小组 CCP CAN Calibration Protocol CAN标定协议 C
  • [转]基于NXP i.MX8QM的QNX之汽车数位仪表板方案

    如果你认为本系列文章对你有所帮助 请大家有钱的捧个钱场 点击此处赞助 赞助额0 1元起步 多少随意 声明 本文只用于个人学习交流 若不慎造成侵权 请及时联系我 立即予以改正 email 174176320 qq com 基于NXP i MX
  • git 代码管理工具3

    团队协作分支开发模式 一个好的 github 项目一般都有多个分支 master dev release分支 新建分支 branch git branch branch1 切换到目标分支 git checkout branch1 在本地的b
  • 自动驾驶中无迹卡尔曼滤波器的应用(Unscented-Kalman-Filter)

    无迹卡尔曼滤波 一 无迹卡尔曼滤波器 二 CTRV模型 2 1 状态向量 2 2 状态转移方程计算 2 2 1 确定部分 2 2 2 噪声 三 无迹卡尔曼滤波器 3 1 无迹卡尔曼滤波思路 3 2 sigma点 3 3 无迹卡尔曼滤波器的实
  • 从全球座舱电子市场与产业看汽车级Linux(AGL)android-auto

    锋影 e mail 174176320 qq com 2016年全球汽车仪表市场规模大约77亿美元 比2015年增长9 预计到2020年汽车仪表市场规模达95亿美元 汽车仪表可以简单分为五大类 第一类简称D1 机械指针型 第二类D2 指针与
  • [转]ADAS各功能模块及ADAS解决方案提供商详解

    如果你认为本系列文章对你有所帮助 请大家有钱的捧个钱场 点击此处赞助 赞助额0 1元起步 多少随意 声明 本文只用于个人学习交流 若不慎造成侵权 请及时联系我 立即予以改正 锋影 email 174176320 qq com ADAS 采用
  • QNX系统BSP开发研发与应用,QNX技术解答-项目开发-软件开发

    如果你认为本系列文章对你有所帮助 请大家有钱的捧个钱场 点击此处赞助 赞助额0 1元起步 多少随意 声明 本文只用于个人学习交流 若不慎造成侵权 请及时联系我 立即予以改正 锋影 email 174176320 qq com 目前总结了一些
  • 经纬恒润再次入选教育部产学研合作协同育人企业

    近日 教育部高等教育司组织的产学合作协同育人项目组公布了2023年度产学合作协同育人项目指南通过企业名单 经纬恒润再次入选 此次共获批37个项目 其中有25个师资培训项目 12个实践条件建设和实践基地建设项目 产学合作协同育人项目由教育部高
  • 新能源汽车的充电、电池包的组成、充电的设备

    一 新能源汽车的电池包 1 电动汽车电池包的组成 电动汽车的电池包主要由电池单体 模组构成 电池单体指的是单个独立的锂电池 将多个电池单体组合在一起就成了模组 再把多个模组组合起来最终构成电池包 不过这里有个特例 那就是比亚迪的刀片电池 由
  • SPEOS—光学产品设计及仿真工具

    SPEOS是ANSYS公司功能强大的光学仿真软件 用于光学设计 环境与视觉模拟 成像仿真等 强大的解决方案提供了可视化光学系统和直观的人机交互平台 其仿真技术已广泛用于汽车 电子电器 精密仪器 照明设备等领域 SPEOS软件内嵌ISO和CI
  • QNX网络驱动-设备驱动编写处理方式

    锋影 e mail 174176320 qq com 第一部分 QNX系统的安装与使用 1 QNX的微内核 甚至不包括进程管理 仅提供进程间的通信 Software Bus 但在实际编译的系统中 仍然是进程调度 同步 进程间通信等编译在同一
  • Klocwork — 符合功能安全要求的自动化静态测试工具

    Klocwork 符合功能安全要求的自动化静态测试工具 Klocwork工具应用静态分析技术 可实现对C C Java等代码的全面静态分析 检查问题种类既包含软件质量和安全缺陷相关 也可实现多种语言编码规则规范的检查 通过使用Klocwor
  • QNX学习笔记-Neutrino-QNX-boot启动流程分析

    锋影 e mail 174176320 qq com 嵌入式系统的启动都是类似的 先启动一个boot程序 然后又boot控制系统的进一步加载运行 1 处理从复位向量执行代码 2 启动系统的启动代码 qnx的启动代码就是IPL 3 IPL会将
  • mipi-CSI2驱动接口调试 LCD 的CLK时钟频率与显示分辨率及帧率的关系

    锋影 email 174176320 qq com 我们先来看一个公式 Mipiclock width hsync hfp hbp x height vsync vfp vbp x bus width x fps lane num 2 即m
  • 搭建QNX开发环境-qnx系统环境开发

    锋影 e mail 174176320 qq com QNX是可以提供试用30天 目前发布最新的是qnx7 0版本 申请也是只能7 0 做好白老鼠的准备 老版本不再申请试用 其实多数时候 老版本的650 650sp1 和较新稳定的660版本
  • qnx的汽车全液晶仪表-基于qnx系统的汽车仪表-车机系统开发

    如果你认为本系列文章对你有所帮助 请大家有钱的捧个钱场 点击此处赞助 赞助额0 1元起步 多少随意 声明 本文只用于个人学习交流 若不慎造成侵权 请及时联系我 立即予以改正 锋影 e mail 174176320 qq com QNX系统在
  • Bootloader

    Bootloader 一段有下载和引导功能的程序 下载应用程序 引导使MCU运行在应用程序中 只在有更新请求或者APP无效的时候才会激活 APP和Bootloader都存在Flash中 Flash Driver用来擦除APP 下载临时存放在
  • QNX系统+Crank的UI设计方案-qnx的HMI方案

    锋影 e mail 174176320 qq com 今天先把QNX Acceleration Kit验证一下

随机推荐

  • Ubuntu16.04LTS下搭建强化学习环境gym、tensorflow

    1 安装Anaconda 去清华镜像下载anaconda3 4 3 0 linux x86 64 sh 然后在终端中输入以下命令进行安装 cd downloads bash anaconda3 4 3 0 linux x86 64 sh2
  • 【面向小白】深究模型大小和推理速度的关系!

    面向小白 深究模型大小和推理速度的关系 来源 https zhuanlan zhihu com p 411522457 本文将对衡量深度学习模型大小的一些常用指标 如计算量 参数量 访存量 内存占用等进行探讨 分析这些指标对模型部署推理的影
  • [Android实例] http请求No peer certificate的解决方法

    不少同学在做HTTP请求新浪授权或新浪数据的时候会出现 javax net ssl SSLPeerUnverifiedException No peer certificate的异常 现给出解决方法 已通过测试 写了一个自定义类继承SSLS
  • 安装tiny cudann

    如果编译报错 找不到nvcc 需要安装 conda install c conda forge cudatoolkit dev 我的ubuntu18 04 pip安装的pytroch cu116
  • 【Vue】关闭浏览器窗口之前弹出提示

    需求 叉掉浏览器窗口 弹出提示 确认后才会关闭窗口 mounted window addEventListener beforeunload e gt this beforeunloadHandler e methods beforeunl
  • linux cpan 参数配置,Linux下使用CPAN进行Perl模块的安装

    本文转自http blog sina com cn hellofrankey 当我们想使用某些Perl模块的时候 很可能会遇到当前系统不存在这个模块的情况 这时我们可以通过使用CPAN来对相应的模块进行获取 下面就介绍一下CPAN的使用方法
  • 微信小程序 rich-text img 宽度超出最简便解决办法

    因为项目上需要使用富文本 然后看了下小程序现在有个rich text 组件可以使用富文本 待开发完成测试时候发现rich text 对于图片无法限制最大宽度 在百度了一众方法后发现不太适合 最后以最简单的方式解决了此问题 bug原因 在ri
  • Android系统辅助触控,辅助触控大师软件下载-辅助触控大师 安卓版v5.0.6-PC6安卓网...

    辅助触控大师app是一款好用的系统操作工具 辅助触控大师app可以方便用户快速操控手机 自动按键 还有录屏 截屏 手机加速 内存清理 音乐控制 全局手势操作等强大功能 软件介绍 辅助触控大师app 一款自定义的系统浮动按钮 用户可以根据自己
  • B - Querying Multiset(优先队列)

    B Querying Multisethttps vjudge csgrandeur cn problem AtCoder abc212 d 思路 题目给Q次操作 1操作时 将xi写在球上装进袋子里 2操作时 将袋子里所有球上的数全部加上x
  • 苹果开发者账号注册方法简明指南

    注册苹果开发者账号的方法 在2020年以前 注册苹果开发者账号后 就可以生成证书 但2020年后 因为注册苹果开发者账号需要使用Apple Developer app注册开发者账号 所以需要缴费才能创建ios证书了 所以新政策出来后 注册苹
  • Android底层驱动开发记录:03_HAL

    在上一节基础上增加HAL层代码 1 完成IoctrlJ25 hal c 填充主要结构体hw module t static struct ioctrlj25 device ioctrlj25 dev common close ioctrlj
  • 基于ROS实现A*算法的C++代码示例

    以下是基于ROS实现A 算法的C 代码示例 include
  • 【问题解决】无法定位程序输入点~于动态链接库上(The procedure entry point ~ could not be located)

    重新着手使用自己笔记本上配的工作环境 在实习中 需要对Qt程序进行打包 在Qt creator 中 修改为 release 编译 进入release 生成的项目目录 新建一个目录 把可执行文件复制进去 进入新建的目录 在命令行下 执行 wi
  • 树莓派——交叉编译(二)WiringPi软链接、硬链接

    树莓派 交叉编译 二 WiringPi软链接 参考大佬文章 Linux软硬链接命令解析 https www cnblogs com zhangna1998517 p 11347364 html 一 软链接 1 概念 2 生成软链接 ln s
  • lumen初学教程

    文档传送 lumen文档 laravel文档 laravel命令速查表 安装 Lumen composer global require laravel lumen installer 创建新的项目 通过终端进入所需创建目录的文件夹 lum
  • 如何查看自己的cuda环境,以及其对应版本

    第一步 cmd打开命令窗口 输入conda env list 查看有几个conda环境 第二步 选择一个环境进入conda 输入conda activate pytorch 第三步 进入python环境 输入python 第四部 在Pyth
  • 前端如何在H5页面调起微信支付

    在微信服务号开发的时候经常会遇到微信支付的功能实现 通过实际经验自己总结了一下 前端在H5页面调起微信支付有两种办法 一是利用内置对象 二是通过引用微信的js sdk 亲测都能支付成功 从写法上来看用内置对象方法比较简单 这里讲的只是前端要
  • Python读取和写入yaml文件

    yaml是专门用来写配置文件的语言 简洁强大 远比JSON格式方便 yaml在python语言中有PyYAML安装包 我这边应用场景是用来做接口自动化时 接口返回的值写入到yaml文件 然后需要用的时候直接引用即可 不如登录接口 我需获取接
  • java基础之内部类

    1 简介 内部类 inner class 是定义在另一个类中的类 使用内部类的原因 有以下三点 内部类方法可以访问可以访问该类定义所在的作用域中的数据 包括私有的数据 内部类可以对同一个包中的其他类隐藏起来 当想要定义一个回调函数时且不想编
  • 符合功能安全要求的动态测试工具-TESSY

    Tessy是一个专门针对嵌入式软件的C C 代码进行单元 集成测试的工具 它可以自动化地执行测试 评估测试结果并生成测试报告 Tessy的目标就是 通过自动化整个测试周期 支持针对C语言的单元测试 集成测试 同时 Tessy也同样关注测试组