【回眸】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

相关文章

Python安装Pandas库的两种方法

《Python安装Pandas库的两种方法》本文介绍了三种安装PythonPandas库的方法,通过cmd命令行安装并解决版本冲突,手动下载whl文件安装,更换国内镜像源加速下载,最后建议用pipli... 目录方法一:cmd命令行执行pip install pandas方法二:找到pandas下载库,然后

Python操作PDF文档的主流库使用指南

《Python操作PDF文档的主流库使用指南》PDF因其跨平台、格式固定的特性成为文档交换的标准,然而,由于其复杂的内部结构,程序化操作PDF一直是个挑战,本文主要为大家整理了Python操作PD... 目录一、 基础操作1.PyPDF2 (及其继任者 pypdf)2.PyMuPDF / fitz3.Fre

Linux系统中查询JDK安装目录的几种常用方法

《Linux系统中查询JDK安装目录的几种常用方法》:本文主要介绍Linux系统中查询JDK安装目录的几种常用方法,方法分别是通过update-alternatives、Java命令、环境变量及目... 目录方法 1:通过update-alternatives查询(推荐)方法 2:检查所有已安装的 JDK方

SQL Server安装时候没有中文选项的解决方法

《SQLServer安装时候没有中文选项的解决方法》用户安装SQLServer时界面全英文,无中文选项,通过修改安装设置中的国家或地区为中文中国,重启安装程序后界面恢复中文,解决了问题,对SQLSe... 你是不是在安装SQL Server时候发现安装界面和别人不同,并且无论如何都没有中文选项?这个问题也

2025版mysql8.0.41 winx64 手动安装详细教程

《2025版mysql8.0.41winx64手动安装详细教程》本文指导Windows系统下MySQL安装配置,包含解压、设置环境变量、my.ini配置、初始化密码获取、服务安装与手动启动等步骤,... 目录一、下载安装包二、配置环境变量三、安装配置四、启动 mysql 服务,修改密码一、下载安装包安装地

Redis MCP 安装与配置指南

《RedisMCP安装与配置指南》本文将详细介绍如何安装和配置RedisMCP,包括快速启动、源码安装、Docker安装、以及相关的配置参数和环境变量设置,感兴趣的朋友一起看看吧... 目录一、Redis MCP 简介二、安www.chinasem.cn装 Redis MCP 服务2.1 快速启动(推荐)2.

在macOS上安装jenv管理JDK版本的详细步骤

《在macOS上安装jenv管理JDK版本的详细步骤》jEnv是一个命令行工具,正如它的官网所宣称的那样,它是来让你忘记怎么配置JAVA_HOME环境变量的神队友,:本文主要介绍在macOS上安装... 目录前言安装 jenv添加 JDK 版本到 jenv切换 JDK 版本总结前言China编程在开发 Java

Linux下在线安装启动VNC教程

《Linux下在线安装启动VNC教程》本文指导在CentOS7上在线安装VNC,包含安装、配置密码、启动/停止、清理重启步骤及注意事项,强调需安装VNC桌面以避免黑屏,并解决端口冲突和目录权限问题... 目录描述安装VNC安装 VNC 桌面可能遇到的问题总结描js述linux中的VNC就类似于Window

虚拟机Centos7安装MySQL数据库实践

《虚拟机Centos7安装MySQL数据库实践》用户分享在虚拟机安装MySQL的全过程及常见问题解决方案,包括处理GPG密钥、修改密码策略、配置远程访问权限及防火墙设置,最终通过关闭防火墙和停止Net... 目录安装mysql数据库下载wget命令下载MySQL安装包安装MySQL安装MySQL服务安装完成

JAVA中安装多个JDK的方法

《JAVA中安装多个JDK的方法》文章介绍了在Windows系统上安装多个JDK版本的方法,包括下载、安装路径修改、环境变量配置(JAVA_HOME和Path),并说明如何通过调整JAVA_HOME在... 首先去oracle官网下载好两个版本不同的jdk(需要登录Oracle账号,没有可以免费注册)下载完