文档介绍：软件测试用例设计
第1页，共54页，编辑于2022年，星期三
测试用例
测试用例由测试输入数据以及与之对应的输出结果组成。
测试用例设计的好坏直接决定了测试的效果和结果。所以说在软件测试活动中最关键的步骤就是设计每个判断的所有可能判断结果至少执行，即要求各个判断的所有可能的条件取值组合至少执行一次。
根据定义只需设计以下两个测试用例便可以覆盖8个条件值以及4个判断分支。
测试用例
通过路径
条件取值
覆盖分支
x=4、y=6、z=5
abd
T1、T2、T3、T4
bd
x=2、y=5、z=11
ace
-T1、-T2、-T3、-T4
ce
第11页，共54页，编辑于2022年，星期三
分支条件覆盖从表面来看，它测试了所有条件的取值，但是实际上某些条件掩盖了另一些条件。例如对于条件表达式(x>3)&&(z<10)来说，必须两个条件都满足才能确定表达式为真。如果（x>3）为假则一般的编译器不在判断是否z<10了。对于第二个表达式（x= =4）||（y>5）来说，若x==4测试结果为真，就认为表达式的结果为真，这时不再检查（y>5）条件了。因此，采用分支条件覆盖，逻辑表达式中的错误不一定能够查出来了。
第12页，共54页，编辑于2022年，星期三
条件组合覆盖：
条件组合覆盖就是设计足够的测试用例，运行被测试对象，使得每一个判断的所有可能的条件取值组合至少执行一次。
现在对例子中的各个判断的条件取值组合加以标记如下：
x>3,z<10 记做T1 T2， 第一个判断的取真分支
x>3,z>=10 记做T1 -T2， 第一个判断的取假分支
x<=3,z<0 记做-T1 T2， 第一个判断的取假分支
x<=3,z>=10 记做-T1 -T2，第一个判断的取假分支
x=4,y>5 记做T3 T4， 第二个判断的取真分支
x=4,y<=5 记做T3 -T4， 第二个判断的取真分支
x!=4,y>5 记做-T3 T4， 第二个判断的取真分支
x!=4,y<=5 记做-T3 -T4，第二个判断的取假分支
第13页，共54页，编辑于2022年，星期三
根据定义取4个测试用例，就可以覆盖上面8种条件取值的组合。
测试用例如下表：
测试用例
通过路径
条件取值
覆盖组合号
x=4、y=6、z=5
abd
T1、T2、T3、T4
1和5
x=4、y=5、z=15
acd
T1、-T2、T3、-T4
2和6
x=2、y=6、z=5
acd
-T1、T2、-T3、T4
3和7
x=2、y=5、z=15
ace
-T1、-T2、-T3、-T4
4和8
上面的测试用例覆盖了所有条件的可能取值的组合，覆盖了所有判断的可取分支，但是却丢失了一条路径abe。
第14页，共54页，编辑于2022年，星期三
路径测试：
路径测试就是设计足够多的测试用例，覆盖被测试对象中的所有可能路径。
在上面的测试用例中再添加一个测试用例则可对程序进行了全部的路径覆盖。
测试用例
通过路径
覆盖条件
x=4、y=6、z=5
abd
T1、T2、T3、T4
x=4、y=5、z=15
acd
T1、-T2、T3、-T4
x=2、y=6、z=15
ace
-T1、-T2、-T3、-T4
x=5、y=6、z=5
abe
-T1、-T2、-T3、-T4
第15页，共54页，编辑于2022年，星期三
基本路径测试
上面的例子是一个很简单的程序函数，只有四条路径。但在实践中，一个不太复杂的程序，其路径都是一个庞大的数字，要在测试中覆盖所有的路径是不现实的。为了解决这一难题，只得把覆盖的路径数压缩到一定限度内，例如，程序中的循环体只执行一次。下面介绍的基本路径测试就是这样一种测试方法，它在程序控制图的基础上，通过分析控制构造的环行复杂性，导出基本可执行路径集合，从而设计测试用例的方法。设计出的测试用例要保证在测试中程序的每一个可执行语句至少执行一次。
第16页，共54页，编辑于2022年，星期三
前提条件
测试进入的前提条件是在测试人员已经对被测试对象有了一定的了解，基本上明确了被测试软件的逻辑结构。过程是通过针对程序逻辑结构设计和加载测试用例，驱动程序执行，以对程序路径进行测试。测试结果是分析实际的测试结果与预期的结果是否一致。
基本路径测试
代码
第17页，共54页，编辑于2022年，星期三
在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例。 包括以下4个步骤和一个工具方法：