TESSY中文网站 > 使用教程 > TESSY单元测试怎么生成用例 TESSY单元测试怎么设置输入边界值
TESSY单元测试怎么生成用例 TESSY单元测试怎么设置输入边界值
发布时间:2026/03/11 16:29:02

  做单元测试时,最常见的风险不是用例数量少,而是用例生成没有基于接口与输入域,边界值没有覆盖到,导致缺陷在集成阶段才暴露。用TESSY推进单元测试,关键是先把被测函数接口分析清楚,再用可复用的用例设计方法把输入域拆成等价类与边界点,最后让用例、数据、覆盖率与报告形成闭环,做到每次变更都能稳定回归。

  一、TESSY单元测试怎么生成用例

 

  生成用例之前先把模块与接口准备好,否则后面无论手工还是半自动生成,都会因为输入输出识别不准而返工。建议先跑通一次最小用例,再批量扩展到等价类与边界值层面的系统化用例集。

 

  1、创建测试容器并导入被测模块

 

  在TESSY中点击【File】进入【New】创建测试工作区与测试集合,再把目标源文件或已构建的模块导入为待测对象,确保同一模块的编译选项与包含路径与工程实际一致。

 

  2、配置编译器与构建参数让接口解析结果可复现

 

  在模块属性里选择编译器类型与版本,补齐头文件路径、宏定义与编译选项,优先让工具能稳定解析函数原型、全局变量与类型定义,避免同一份代码在不同机器解析出不同接口。

 

  3、执行接口分析并核对输入输出方向

 

  在模块分析后打开测试接口编辑视图,对照函数签名确认哪些变量是输入、输出或输入输出,必要时手动修正类型、数组长度、指针指向与结构体字段映射,确保测试数据录入与期望值校验有明确对象,TESSY会在Test Interface Editor也称为TIE中展示接口分析结果并允许修正。

 

  4、选择用例设计方式并建立用例骨架

 

  先用最小集合建立骨架,用一个正常路径用例验证驱动与桩函数能跑通,再按业务规则把用例拆成分类维度,例如模式位、阈值区间、错误码分支、边界外输入,骨架稳定后再批量扩展到全覆盖。

 

  5、用分类树方法批量生成用例规格再落成具体用例

 

  如果你希望减少组合爆炸,可以在分类树编辑器里按输入域建立分类与类值,再由工具生成低冗余的用例规格并同步到TESSY用例列表,分类树方法天然结合等价类与边界值分析,Classification Tree Editor简称CTE在TESSY中可用于用例设计与生成。

 

  6、生成桩与驱动后先跑通一次执行链路

 

  对外部依赖函数生成桩或手工补齐桩行为,对全局资源与硬件访问做隔离处理,然后执行一次用例,确认编译、链接、下载或本地执行无误,再进入批量录入测试数据与期望值阶段。

 

  二、TESSY单元测试怎么设置输入边界值

 

  边界值设置的核心是先把每个输入的有效域写清楚,再把边界点转成可执行的测试数据,并让用例在报告里能看出你确实覆盖了边界内外与关键转折点。建议对每个输入同时覆盖有效边界与无效边界,并把边界点与分支条件一一对应。

 

  1、先把输入域按类型拆分成可测边界

 

  对整型输入明确最小值、最大值与业务阈值,对浮点输入明确精度与比较方式,对枚举输入列出所有枚举值并补一个越界值,对数组输入定义长度边界与内容边界,对指针输入至少覆盖空指针与有效指针,再把这些边界写进用例设计说明,避免只靠经验填数字。

 

  2、在接口视图确认边界对应的真实数据类型

 

  回到接口编辑视图核对每个参数的位宽、有符号性、缩放与单位含义,特别是uint8与int8、uint16与int16一旦理解错,边界值会直接写反,导致你以为测到了极限,实际只是在中间区间来回试。

  3、用测试数据视图把边界点写成一组可复用数据集

 

  在用例的输入数据区域为每个参数建立数据集,按边界内外组合成最小集合,例如最小有效值、最小有效值外侧一档、最大有效值、最大有效值外侧一档,同时把关键阈值两侧各取一档,形成可复用模板,后续新增用例只需要引用模板再微调。

 

  4、用分类树把边界强制落到用例里

 

  在分类树中为区间类增加专门的边界类,例如区间起点、区间终点与区间内部,生成用例规格时选择边界类就会在测试数据中体现边界取值,用这种方式可以避免团队只选区间内部值而漏掉边界点,手册示例也提到用分类树细分区间以强制在用例中使用边界值。

 

  5、对输入组合做控制避免边界值组合爆炸

 

  当输入很多时不要把所有参数的边界点全排列,先识别主控参数与强耦合参数,对强耦合参数做成成对组合,对弱耦合参数用单因子变化方式穿插边界点,保证分支与判定条件都被触发,同时用例数量仍可控。

 

  6、把边界值与期望结果绑定到可检查的判据

 

  每个边界用例都要写清期望输出与副作用判据,例如返回值、错误码、输出变量范围、状态机迁移与全局变量变化,并把断言点放在可稳定复现的位置,避免只看是否崩溃而忽略逻辑错误。

 

  三、TESSY边界用例执行与结果复核

 

  边界值设置完成后,如果不做执行复核与覆盖率校验,很容易出现数据填了但用例没跑到分支,或跑到了但期望判据不严谨的问题。建议把执行、覆盖、报告三件事固定成同一套回归动作,让边界值真正转化为可审计的质量证据。

 

  1、执行前先锁定版本与配置口径

 

  把被测源代码版本号、编译选项、桩配置与测试集合版本记录到同一份回归说明里,确保同一批边界用例在不同时间执行得到一致结果,出现差异时能快速定位是代码变更还是环境变更。

 

  2、运行边界用例并优先看失败的边界外用例

 

  先关注边界外输入是否按预期被拒绝或返回正确错误码,再看边界内极值是否产生溢出、截断或符号位异常,最后看阈值两侧是否触发了正确的分支与状态迁移。

 

  3、用覆盖率视图核对边界用例是否触达关键判定

 

  对照分支与条件判断位置检查是否被边界用例命中,如果某个关键条件始终未触发,优先回到输入域拆分与用例组合控制,补一条最小新增用例而不是盲目加大量随机数据。

 

  4、把边界数据模板固化为团队可复用资产

 

  将常用类型的边界模板沉淀为统一的数据集命名规则,例如速度类阈值模板、计数类溢出模板、数组长度模板、错误码模板,新模块接入时直接复用模板再按接口微调,减少每个模块从零开始造数据。

 

  5、输出报告并让边界覆盖一眼可见

 

  在报告里把边界用例按输入域分类展示,至少能看出每个参数的最小值、最大值、阈值两侧与越界值都被覆盖,同时把失败用例与对应输入数据、期望值、实际值放在同一页便于复核与整改。

  总结

 

  TESSY生成用例要先把模块与接口分析跑通,再用最小骨架用例验证执行链路,随后通过分类树与数据模板把等价类与边界点系统化扩展。设置输入边界值要先明确输入域与真实数据类型,再把边界内外与阈值两侧写成可复用数据集,并通过分类树把边界点强制落到用例中。最后用执行结果、覆盖率触达与报告可视化三步复核,才能让边界用例真正成为可回归、可审计的单元测试资产。

135 2431 0251