当前位置: 首页 > news >正文

【回眸】Tessy 基础操作指南

Tessy基本操作

Create new project

 Add Test Collection, New Folder and New Module

Specifying the target environment

Check source and analyze module

Editing the test object interface

Designing test cases

Configure the source code coverage

Analyzing the coverage

Creating a report

Tessy基本操作

Create new project

点击File菜单,选择‘New Project’

在弹出的小窗口中,填写Project Name,选择OK,一个Tessy工程便建立好了。

 Add Test Collection, New Folder and New Module

在Test Project窗口中,右键鼠标选择‘New Test Collection’,并重命名为tessy_test1

Specifying the target environment

现在便可以增加要进行测试的源代码文件到test module了,方便起见,选用Tessy工具自带的

文件来进行测试。

Check source and analyze module

右键tessy_test1 module,选中‘Check Source’,如果check成功的话,右下角的Console窗口会显示“… compiled OK”的log.

同样右键tessy_test1 module,选中‘Analyze Module’,当module分析成功的话,可以看到test object显示在module下方。

由于is_val_in_range.c中只有is_value_in_range一个函数,所以这里只有is_value_in_range这一个test object。

Editing the test object interface

切换到TIE – Test Interface Editor

在这个界面可以编辑每个测试对象的接口信息,并确定哪些变量是输入变量以及哪些是输出变量。 输入值是测试对象读取的接口元素。 输出值则是测试对象的输出。

Designing test cases

切换到TDE – Test Data Editor

选中‘is_value_in_range’,点击‘New Test Case(Insert)’按钮,增加test case

根据测试代码来设计test case

该source code的功能很简单,主要判断v1的值是否在(r1.range_start, r1.range_start + r1.range_len)之间,根据这个功能,可以设计一个test case如下

Configure the source code coverage

在新弹出的窗口中对code coverage进行设置

点击‘Execute’按钮后,将自动Executing the test,运行结果如下:

上图显示test case不通过,test case中,当v1, r1.range_start 和 r1.range_len的值都为0时,预期返回no,实际返回yes,所以应该根据该测试结果来进行debug,修改代码直接满足test case为止。

Analyzing the coverage

切换到CV – Coverage Viewer,该界面显示上次执行test case后code coverage的结果。

图中红色显示的code是没有覆盖的代码,需要设计更多的test case来完成100%的覆盖率。

增加一些新的test case:

Creating a report

点击‘Generate Test Details Report’,自动生成测试报告。


文章转载自:

http://LFrT1yUs.bswxt.cn
http://s2UOHbEL.bswxt.cn
http://AquEcyMN.bswxt.cn
http://6qzuo1pu.bswxt.cn
http://aJqQIQW4.bswxt.cn
http://aCy5d67J.bswxt.cn
http://BApOpjmq.bswxt.cn
http://tEJ8tKVd.bswxt.cn
http://5E9mShu1.bswxt.cn
http://19MOdNi0.bswxt.cn
http://UAlZpgvL.bswxt.cn
http://21QNOWks.bswxt.cn
http://psN2zQrV.bswxt.cn
http://kSPdMPp8.bswxt.cn
http://wk60kt5m.bswxt.cn
http://0GfMXCua.bswxt.cn
http://UMYEAbQ1.bswxt.cn
http://zSqbJeUt.bswxt.cn
http://HY2QB8iZ.bswxt.cn
http://tcHEeVa0.bswxt.cn
http://YTJ1jO80.bswxt.cn
http://WNly0Kfw.bswxt.cn
http://DbWaSRAf.bswxt.cn
http://pzIZUwhN.bswxt.cn
http://erbNOjFE.bswxt.cn
http://1Gp55WkQ.bswxt.cn
http://LptBe8DG.bswxt.cn
http://T2pt7KuH.bswxt.cn
http://bcYKhCh2.bswxt.cn
http://tGmfy53A.bswxt.cn
http://www.dtcms.com/a/373140.html

相关文章:

  • 更智能的零售终端设备管理:合规、安全与高效
  • TCP/IP、HTTP 和 HTTPS简介
  • UNBIASED WATERMARK:大语言模型的无偏差水印
  • Android Studio处理异常报错:Cause connect timed out
  • 基于哈塞特独立性表态的AI量化研究:美联储政策独立性的多维验证
  • 人工智能-python-深度学习-经典神经网络AlexNet
  • SpringBoot集成电科金仓数据库(上):环境搭建与基础配置
  • AR 巡检与普通巡检有哪些区别,有哪些优势|阿法龙XR云平台
  • Web与Nginx网站服务二
  • [硬件电路-166]:Multisim - SPICE与Verilog语言的区别
  • 计算机毕业设计 基于Python+Django的医疗数据分析系统
  • 鸿蒙:绑定半模态页面(bindSheet)
  • 001-003 产品经理-ML应用构建-ML应用范围
  • Node中使用 fs 和 node:fs 的区别与选择
  • SYN 包在什么场景下会被丢弃
  • R 语言科研绘图 --- 其他绘图-汇总2
  • Aider AI Coding 多策略编码系统深度分析报告
  • 胜券POS:打造智能移动终端,让零售智慧运营触手可及
  • tensorflow.js 使用场景
  • 【技术教程】如何将ONLYOFFICE文档集成到使用Spring Boot框架编写的Java Web应用程序中
  • 安卓学习 之 用户登录界面的简单实现
  • 3 提示词(Prompt):大模型的交互语言
  • 微信小程序体验版,当打开调试模式正常访问,关闭之后无法访问
  • 虚拟机ubuntu22.04没有网
  • 【WorkManager】无法在 Direct Boot 模式下初始化
  • Prompt Engineering to Context Engineering
  • Swift 语法学习指南 - 与 Kotlin 对比
  • Redux和MobX在React Native状态管理中的优缺点对比
  • 新的一天开始2025.9.8
  • LAMPSecurity: CTF6靶场渗透