白盒测试用例设计方法

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

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
相关推荐
你的人类朋友7 小时前
【✈️速通】什么是SIT,什么是UAT?
后端·单元测试·测试
June bug3 天前
【Python基础】变量、运算与内存管理全解析
开发语言·python·职场和发展·测试
雪球工程师团队5 天前
代码“蝴蝶效应”终结者:AI Review + AST 联展,构建智能测试防御新体系
java·ai编程·测试
大话性能6 天前
作为性能测试新手,如何使用JMeter快速入门?
测试
Apifox7 天前
提交代码后如何自动触发 Apifox 的自动化测试?
前端·后端·测试
ly1568 天前
pytest-selenium的作用和常用操作-来自ai-个人留存
测试
VyrnSynx9 天前
CodeBuddy IDE震撼来袭:让开发更高效的全新工具,前沿内测大揭秘!
测试·笔记测评
莫魂魂9 天前
07.自动化测试常用函数
测试
胡斌附体10 天前
linux测试端口是否可被外部访问
linux·运维·服务器·python·测试·端口测试·临时服务器
智云软件测评服务10 天前
第三方软件测试检测机构能提供啥测试服务?功能测试了解下
测试·软件·