白盒测试用例设计方法

假设我们有以下待测试程序 :

python 复制代码
def func(a, b, x):
    if a > 1 and b == 0:
        x = x / a
    if a == 2 or x > 1
        x = x + 1
    return x

语句覆盖

语句覆盖:每条语句至少执行一次。

使用此准则测试上述函数, 只需要遍历路径 ace, 即可使得所有语句执行一次。

对应测试用例为 : a = 2, b = 0, x = 4

判定覆盖

判定覆盖:又叫分支覆盖, 每个判定的所有可能结果至少出现一次。

只需要涵盖路径 aceabd, 或 acdabe, 就可以使得两个判定为 "真" 和 "假" 的分支都执行一次。

前者 :

  • a = 2, b = 0, x = 4 -> ace √ √
  • a = 0, b = 1, x = 1 -> abd × ×

后者 :

  • a = 2, b = 0, x = 1 -> acd √ ×
  • a = 2, b = 1, x = 2 -> abe × √

条件覆盖

条件覆盖:每个条件的所有可能结果至少执行一次。

第一个判断的所有条件的可能取值情况 : <math xmlns="http://www.w3.org/1998/Math/MathML"> a > 1 a > 1 </math>a>1 或 <math xmlns="http://www.w3.org/1998/Math/MathML"> a ≤ 1 a \leq 1 </math>a≤1, <math xmlns="http://www.w3.org/1998/Math/MathML"> b = 0 b = 0 </math>b=0 或 <math xmlns="http://www.w3.org/1998/Math/MathML"> b ≠ 0 b \neq 0 </math>b=0。

第二个判断的所有条件的可能取值情况 : <math xmlns="http://www.w3.org/1998/Math/MathML"> a = 2 a = 2 </math>a=2 或 <math xmlns="http://www.w3.org/1998/Math/MathML"> a ≠ 2 a \neq 2 </math>a=2, <math xmlns="http://www.w3.org/1998/Math/MathML"> x > 0 x > 0 </math>x>0 或 <math xmlns="http://www.w3.org/1998/Math/MathML"> x ≤ 1 x \leq 1 </math>x≤1。

  • a = 1, b = 0, x = 3 : 触发 <math xmlns="http://www.w3.org/1998/Math/MathML"> a ≤ 1 a \leq 1 </math>a≤1 和 <math xmlns="http://www.w3.org/1998/Math/MathML"> b = 0 b=0 </math>b=0 和 <math xmlns="http://www.w3.org/1998/Math/MathML"> a ≠ 2 a \neq 2 </math>a=2 和 <math xmlns="http://www.w3.org/1998/Math/MathML"> x > 1 x > 1 </math>x>1。(出于简单起见, 这里不考虑逻辑中断的发生)

  • a = 2, b = 1, x = 1 : 触发 <math xmlns="http://www.w3.org/1998/Math/MathML"> a > 1 a > 1 </math>a>1 和 <math xmlns="http://www.w3.org/1998/Math/MathML"> b ≠ 0 b \neq 0 </math>b=0 和 <math xmlns="http://www.w3.org/1998/Math/MathML"> a = 2 a = 2 </math>a=2 和 <math xmlns="http://www.w3.org/1998/Math/MathML"> x ≤ 1 x \leq 1 </math>x≤1。

组合覆盖

组合覆盖:每个判定中的所有可能的条件结果的组合,以及所有的入口点都至少执行一次。(注意"可能"二字,因为有些组合的情况难以生成。)

为了满足组合条件覆盖的测试用例, 必须覆盖以下八种组合。

  • a = 2, b = 0, x = 4 : 覆盖 1 + 5
  • a = 2, b = 1, x = 1 : 覆盖 2 + 6
  • a = 1, b = 0, x = 2 : 覆盖 3 + 7
  • a = 1, b = 1, x = 1 : 覆盖 4 + 8
相关推荐
windliang3 小时前
前端 AI 自动化测试:brower-use 调研
前端·agent·测试
往事随风去21 小时前
那个让老板闭嘴、让性能翻倍的“黑科技”:基准测试最全指南
后端·测试
霍格沃兹_测试1 天前
测试效率卡点如何破?QA 双角色协作模式帮你提升效率和覆盖率
测试
WeilinerL2 天前
泛前端代码覆盖率探索之路
前端·javascript·测试
大话性能3 天前
MySQL 数据库的备份和恢复(Linux)
测试
大话性能3 天前
【Pycharm 必学技巧 02】智能补全,忽略大小写
测试
Xzh04235 天前
前后端学习的交界
java·ajax·maven·axios·测试
程序员二黑6 天前
Selenium元素定位总失败?这8种定位策略你必须掌握
单元测试·测试·ab测试
程序员二黑7 天前
自动化测试入门:从零开始搭建你的第一个WebUI项目
单元测试·测试·ab测试
从前慢,现在也慢7 天前
(3)Bug篇
学习·bug·测试