白盒测试
白盒测试 白盒测试(White Box Testing )
白盒测试又叫结构测试,逻辑驱动测试或基于程序本身的测试。
白盒测试
源程序
分析
测试用例
覆盖情况分析
被测程序 执行路径
彻底的白盒测试
例:含4个分支,循环次数≤20, B的可能路径。
计算从A到 A
B
白盒测试
白盒测试方法:
控制流测试
路径覆盖
路径覆盖要求覆盖程序中所有可能的路径。本例中可能
的执行路径有四条: x=4、y=6、z=5,其执行路径是:1-2-3-4-5-6-7-8 x=4、y=5、z=15,其执行路径是:1-2-5-6-7-8 x=5、y=5、z=5,其执行路径是:1-2-3-4-5-6-8 x=2、y=5、z=15,其执行路径是:1-2-5-6-8
能路径:
=5 +15 +..2+5 +5 19 20 ≈10
14
B
1. 程序环路复杂性
程序的环路复杂性即McCabe复杂性度量,简单的定义为 控制流图的区域数。
程序环路复杂性又叫圈复杂度。
圈复杂度
圈复杂度:是一种为程序逻辑复杂性提供定量测度的软件度量, 将该度量用于计算程序的基本的独立路径数目。
设计测试用例(续)
判定-条件覆盖
要求同时满足判定和条件覆盖,设计的测试用例为:
x=4、y=6、z=5,其执行路径是:1-2-3-4-5-6-7-8 x=2、y=5、z=15,其执行路径是:1-2-5-6-8
设计测试用例(续)
条件组合覆盖
条件组合覆盖要求每个判定的所有可能条件取值组合至
少执行一次。
5
6
7
8