【回眸】Tessy单元测试软件使用指南(一)安装篇

2023-11-24 18:15

本文主要是介绍【回眸】Tessy单元测试软件使用指南(一)安装篇,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

安装

在官网上下载安装包,安装完成后打开进入这个界面

注册申请license:在作为服务端的电脑上安装Tessy。安装完成后,启动Tessy会自动生成license服务器的注册码。(注册码用于申请试用或永久的license文件)这个对于我们来说没有啥太大的用处

点击 “server”——两个电脑的标志,设置服务器IP和所用端口,确认是否连接到服务端

个人使用的不知道这一步是怎么操作,因为个人使用的时候基本上用到的是破解版的软件,建议是搜索公众号看看一些破解软件的教程,跟着操作就完事了

进入上面这个界面后需要对其进行路径设置等等

点击File\Select Project,可新建工程

新建项目

New project新建工程,输入工程名,Project Root输入存放工程的目录,默认会在该目录下创建tessy数据库目录。

配置项目环境

在测试工程视图中,右击New Test Collection,或点击图标箱子 ,建立测试集合 Is_value_in_range。

可以更改名字

可右击创建New Folder,或直接创建New Module,在Module上添加被测代码文件,指定运行的环境设置

•General:重命名module,选择运行的目标环境
•Sources:添加被测文件以及头文件路径

添加测试路径

在Module属性—Source界面中,点击图标添加被测文件。在编译器栏,Includes、Defines中添加头文件以及宏定义

Static/Inline Function:被测函数列表中显示静态/Inline函数
•Static Local Variables:可作为输入、输出参数显示
•Hide Functions:对于额外的C源码文件,可使用该选项
•Enable User Includes:
头文件添加到usercode

导入头文件、源文件、宏定义后,右键 is_value_in_range 点击check source 如果没有问题可以看到下面这个提示

分析模块

右键 is_value_in_range之后,可以看到一个analyze的选项,点击后可以将其中包含的函数展开

进入TIE这个界面后可以设置接口的方向,我们根据原函数的需要设置一下接口的方向

传入测试用例的值

切换到TDE – Test Data Editor
选中‘is_value_in_range’,点击‘New Test Case(Insert)’按钮,增加test case,双击黄色的部分可以输入测试值,完成test case

检查覆盖率情况

切换到CV视图,可以看到分支覆盖率的情况。

生成测试报告

根据自己的实际情况需要,生成相应的测试报告。

结语

本文介绍了Tessy的基本用法,从安装到一个简单示例的建立,当然这样是远远不够的,在实际操作过程中会遇到很多困难,这里建议可以从YouTube上搜索相关的信息,有些视频虽然是三五年前的视频了,但在我看来依旧有效。因为国内网站搜索到关于Tessy的信息实在是太少,大多数是摸棱两可的介绍,导致在上手Tessy的过程中很痛苦,零星的培训机构的费用竟然高达两万,如果去找代理商经XX润寻求技术支持更是高达20万,对于一般的公司真是花费不起。后续我会更新摸索了几个月得到的一些经验,希望对刚入门需要帮助的你有所受益。

这篇关于【回眸】Tessy单元测试软件使用指南(一)安装篇的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/422359

相关文章

Zookeeper安装和配置说明

一、Zookeeper的搭建方式 Zookeeper安装方式有三种,单机模式和集群模式以及伪集群模式。 ■ 单机模式:Zookeeper只运行在一台服务器上,适合测试环境; ■ 伪集群模式:就是在一台物理机上运行多个Zookeeper 实例; ■ 集群模式:Zookeeper运行于一个集群上,适合生产环境,这个计算机集群被称为一个“集合体”(ensemble) Zookeeper通过复制来实现

CentOS7安装配置mysql5.7 tar免安装版

一、CentOS7.4系统自带mariadb # 查看系统自带的Mariadb[root@localhost~]# rpm -qa|grep mariadbmariadb-libs-5.5.44-2.el7.centos.x86_64# 卸载系统自带的Mariadb[root@localhost ~]# rpm -e --nodeps mariadb-libs-5.5.44-2.el7

Centos7安装Mongodb4

1、下载源码包 curl -O https://fastdl.mongodb.org/linux/mongodb-linux-x86_64-rhel70-4.2.1.tgz 2、解压 放到 /usr/local/ 目录下 tar -zxvf mongodb-linux-x86_64-rhel70-4.2.1.tgzmv mongodb-linux-x86_64-rhel70-4.2.1/

Centos7安装JDK1.8保姆版

工欲善其事,必先利其器。这句话同样适用于学习Java编程。在开始Java的学习旅程之前,我们必须首先配置好适合的开发环境。 通过事先准备好这些工具和配置,我们可以避免在学习过程中遇到因环境问题导致的代码异常或错误。一个稳定、高效的开发环境能够让我们更加专注于代码的学习和编写,提升学习效率,减少不必要的困扰和挫折感。因此,在学习Java之初,投入一些时间和精力来配置好开发环境是非常值得的。这将为我

安装nodejs环境

本文介绍了如何通过nvm(NodeVersionManager)安装和管理Node.js及npm的不同版本,包括下载安装脚本、检查版本并安装特定版本的方法。 1、安装nvm curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.0/install.sh | bash 2、查看nvm版本 nvm --version 3、安装

软件设计师备考——计算机系统

学习内容源自「软件设计师」 上午题 #1 计算机系统_哔哩哔哩_bilibili 目录 1.1.1 计算机系统硬件基本组成 1.1.2 中央处理单元 1.CPU 的功能 1)运算器 2)控制器 RISC && CISC 流水线控制 存储器  Cache 中断 输入输出IO控制方式 程序查询方式 中断驱动方式 直接存储器方式(DMA)  ​编辑 总线 ​编辑

计算机毕业设计 大学志愿填报系统 Java+SpringBoot+Vue 前后端分离 文档报告 代码讲解 安装调试

🍊作者:计算机编程-吉哥 🍊简介:专业从事JavaWeb程序开发,微信小程序开发,定制化项目、 源码、代码讲解、文档撰写、ppt制作。做自己喜欢的事,生活就是快乐的。 🍊心愿:点赞 👍 收藏 ⭐评论 📝 🍅 文末获取源码联系 👇🏻 精彩专栏推荐订阅 👇🏻 不然下次找不到哟~Java毕业设计项目~热门选题推荐《1000套》 目录 1.技术选型 2.开发工具 3.功能

SWAP作物生长模型安装教程、数据制备、敏感性分析、气候变化影响、R模型敏感性分析与贝叶斯优化、Fortran源代码分析、气候数据降尺度与变化影响分析

查看原文>>>全流程SWAP农业模型数据制备、敏感性分析及气候变化影响实践技术应用 SWAP模型是由荷兰瓦赫宁根大学开发的先进农作物模型,它综合考虑了土壤-水分-大气以及植被间的相互作用;是一种描述作物生长过程的一种机理性作物生长模型。它不但运用Richard方程,使其能够精确的模拟土壤中水分的运动,而且耦合了WOFOST作物模型使作物的生长描述更为科学。 本文让更多的科研人员和农业工作者

K8S(Kubernetes)开源的容器编排平台安装步骤详解

K8S(Kubernetes)是一个开源的容器编排平台,用于自动化部署、扩展和管理容器化应用程序。以下是K8S容器编排平台的安装步骤、使用方式及特点的概述: 安装步骤: 安装Docker:K8S需要基于Docker来运行容器化应用程序。首先要在所有节点上安装Docker引擎。 安装Kubernetes Master:在集群中选择一台主机作为Master节点,安装K8S的控制平面组件,如AP

【STM32】SPI通信-软件与硬件读写SPI

SPI通信-软件与硬件读写SPI 软件SPI一、SPI通信协议1、SPI通信2、硬件电路3、移位示意图4、SPI时序基本单元(1)开始通信和结束通信(2)模式0---用的最多(3)模式1(4)模式2(5)模式3 5、SPI时序(1)写使能(2)指定地址写(3)指定地址读 二、W25Q64模块介绍1、W25Q64简介2、硬件电路3、W25Q64框图4、Flash操作注意事项软件SPI读写W2