【回眸】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万,对于一般的公司真是花费不起。后续我会更新摸索了几个月得到的一些经验,希望对刚入门需要帮助的你有所受益。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:/a/185182.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

树莓派上使用Nginx通过内网穿透实现无公网IP访问内网本地站点

前言 安装 Nginx(发音为“engine-x”)可以将您的树莓派变成一个强大的 Web 服务器,可以用于托管网站或 Web 应用程序。相比其他 Web 服务器,Nginx 的内存占用率非常低,可以在树莓派等资源受限的设备上运行。同时结合c…

NX二次开发UF_CSYS_set_wcs 函数介绍

文章作者:里海 来源网站:https://blog.csdn.net/WangPaiFeiXingYuan UF_CSYS_set_wcs Defined in: uf_csys.h int UF_CSYS_set_wcs(tag_t csys_id ) overview 概述 Sets the work coordinate system to the prototype coordinate system whose tag y…

竞赛选题 题目:基于FP-Growth的新闻挖掘算法系统的设计与实现

文章目录 0 前言1 项目背景2 算法架构3 FP-Growth算法原理3.1 FP树3.2 算法过程3.3 算法实现3.3.1 构建FP树 3.4 从FP树中挖掘频繁项集 4 系统设计展示5 最后 0 前言 🔥 优质竞赛项目系列,今天要分享的是 基于FP-Growth的新闻挖掘算法系统的设计与实现…

【PDF.js】2023 最新 PDF.js 在 Vue3 中的使用

因为自己写业务要定制各种 pdf 预览情况(可能),所以采用了 pdf.js 而不是各种第三方封装库,主要还是为了更好的自由度。 一、PDF.js 介绍 官方地址 中文文档 PDF.js 是一个使用 HTML5 构建的便携式文档格式查看器。 pdf.js 是社区…

【HuggingFace Transformer库学习笔记】基础组件学习:pipeline

一、Transformer基础知识 pip install transformers datasets evaluate peft accelerate gradio optimum sentencepiece pip install jupyterlab scikit-learn pandas matplotlib tensorboard nltk rouge在host文件里添加途中信息,可以避免运行代码下载模型时候报错…

vue中下载文件后无法打开的坑

今天在项目开发的时候临时要添加个导出功能我就写了一份请求加导出得代码, 代码: //导出按钮放开exportDutySummarizing (dataRangeInfo) {const params {departmentName: dataRangeInfo.name,departmentQode: dataRangeInfo.qode}//拼接所需得urlcons…

Tomcat注册为服务后,如何配置Tomcat内存大小

前提条件:tomcat已经注册为服务。 1.winR,输入regedit打开注册表 2.找到Tomcat注册表路径: HKEY_LOCAL_MACHINE\SOFTWARE\Wow6432Node\Apache Software Foundation\Procrun 2.0\Tomcat80603.找到jvm内存配置路径: HKEY_LOCAL_MACHINE\SOFTW…

Redis高可用之主从复制及哨兵模式

一、Redis的主从复制 1.1 Redis主从复制定义 主从复制是redis实现高可用的基础,哨兵模式和集群都是在主从复制的基础之上实现高可用; 主从复制实现数据的多级备份,以及读写分离(主服务器负责写,从服务器只能读) 1.2 主从复制流…

Windows从源码构建tensorflow

由一开始的在线编译,到后面的离线编译,一路踩坑无数。在此记录一下参考过的文章,有时间整理一下踩坑记录。 一、环境配置 在tensorflow官网上有版本对应关系 win10 bazel 3.1.0 msys2 tensorflow2.3.0 python3.5-3.8 MSVC2019 protobuf3.9.…

羊大师:强健身体是成功的关键

健康是一项无价的财富,拥有强健的身体是实现人生目标的关键。而如何保持健康并拥有一个强健的身体呢?下面就为大家分享一些有效的健身方法和建议,帮助您达到健美身材的目标。 良好的饮食习惯是形成强健身体的基石。我们要摄入足够的营养物质…

Java二级医院区域HIS信息管理系统源码(SaaS服务)

一个好的HIS系统,要具有开放性,便于扩展升级,增加新的功能模块,支撑好医院的业务的拓展,而且可以反过来给医院赋能,最终向更多的患者提供更好的服务。 系统采用前后端分离架构,前端由Angular、J…

首先啊骚年们我们必须先了解网络安全这个行业究竟是干啥的。

导 读 近年来,人工智能、5G、量子信息技术、工业互联网、大数据、云计算、物联网、虚拟现实、区块链等具有颠覆性的战略性新技术突飞猛进,但伴随着互联网技术的发展,网络安全问题也日趋多样化,甚至严重威胁到国家、企业&#xff…

【正点原子STM32连载】 第六十章 串口IAP实验(Julia分形)实验 摘自【正点原子】APM32F407最小系统板使用指南

1)实验平台:正点原子APM32F407最小系统板 2)平台购买地址:https://detail.tmall.com/item.htm?id609294757420 3)全套实验源码手册视频下载地址: http://www.openedv.com/thread-340252-1-1.html## 第六十…

AD9528学习笔记

前言 AD9528是ADI的一款时钟芯片,由2-stage PLL组成,并且集成JESD204B/JESD204C SYSREF信号发生器,SYSREF发生器输出单次、N次或连续信号,并与PLL1和PLL2输出同步,从而可以实现多器件之间的同步。 AD9528总共有14路输…

<精学社>LCD1602移屏操作

本文为博主 日月同辉,与我共生,csdn原创首发。希望看完后能对你有所帮助,不足之处请指正!一起交流学习,共同进步! > 发布人:日月同辉,与我共生_单片机-CSDN博客 > 欢迎你为独创博主日月同…

Linux:配置Ubuntu系统的镜像软件下载地址

一、原理介绍 好处:从国内服务器下载APT软件,速度快。 二、配置 我这里配置的是清华大学的镜像服务器地址 https://mirrors.tuna.tsinghua.edu.cn/ 1、备份文件 sudo cp /etc/apt/sources.list /etc/apt/sources.list.bak2、清空sources.list ec…

CS5511规格书|CS5511方案应用说明|DP转双路LVDS/eDP芯片方案

概述:CS5511是一个将DP/eDP输入转换为LVDS信号的桥接芯片,此外,CS5511可以用作在DP/eDP输入到DP/eDP输出场景中桥接芯片。CS5511的高级接收器支持VEDA DisplayPort(DP)1.3和嵌入式DisplayPort(eDP&#xf…

这是一个最简单的爱国主义为主题的网页首页

代码&#xff1a; <!DOCTYPE html> <html lang"zh-CN"> <head> <meta charset"UTF-8"> <title>爱国主题网页</title> <style> body { font-family: Arial, sans-serif; …

pytest系列——pytest-instafail插件之命令行实时输出错误信息

前言 1、pytest 运行全部用例的时候&#xff0c;在控制台会先显示用例的运行结果(.或F)&#xff1b;等待用例全部运行完成后最后把报错信息全部一起抛出到控制台。 2、这样我们每次都需要等用例运行结束&#xff0c;才知道为什么报错&#xff0c;不方便实时查看报错信息。 3…

数据挖掘之PCA-主成分分析

PCA的用处&#xff1a;找出反应数据中最大变差的投影&#xff08;就是拉的最开&#xff09;。 在减少需要分析的指标同时&#xff0c;尽量减少原指标包含信息的损失&#xff0c;以达到对所收集数据进行全面分析的目的 但是什么时候信息保留的最多呢&#xff1f;具体一点&#…