软件工程-白盒测试.doc

以下的程序段，请分别写出语句覆盖、判定覆盖、条件覆盖、判定—条件覆盖、条件组合覆盖的测试用例？（红色部分代码可能会改变） void DoWork(int x,int y,int z) { int k=0,j=0; if((x3)(z10)) { k=x*y-1; //语句块1 j=sqrt(k); } if((x==4)||(y5)) { j=x*y+10; //语句块2 } j=j%3; //语句块3 } 解： （1）语句覆盖（3分）测试用例输入：?????? {?x=4、y=5、z=5}程序执行的路径是：??????a-b-d这个测试用例把三个执行语句块中的语句都覆盖了。 （2）判定覆盖（3分）测试用例的输入为：{?x=4、y=5、z=5}#9;#9;????????????????{?x=2、y=5、z=5}?程序执行的路径：a-b-d??????????????a-c-e???（3）条件覆盖（3分）测试用例?通过路径?条件取值覆盖分支x=2、y=6、z=5?acd-T1、T2、-T3、T4?cdx=4、y=5、z=15?acdT1、-T2T3、-T4?cd（4）判定-条件覆盖（3分）测试用例?通过路径?条件取值覆盖分支x=4、y=6、z=5?abdT1、T2、T3、T4?bdx=2、y=5、z=11ace-T1、-T2、-T3、-T4?ce（5）条件组合覆盖（3分）测试用例?通过路径?覆盖条件?x=4、y=6、z=5?abdT1、T2、T3、T4x=4、y=5、z=15?acdT1、-T2、T3、-T4?x=2、y=6、z=15?ace-T1、-T2、-T3、-T4?x=5、y=4、z=5?abeT1、T2、-T3、T4 第三节 白盒测试 白盒测试以程序的结构为依据，所有又称为结构测试。早期的白盒测试把注意力放在流程图的各个判定框，使用不同的逻辑覆盖标准来表达对程序进行测试的详尽程度。随着测试技术的发展，人们越来越重视对程序执行路径的考察，并且用程序图代替流程图来设计测试用例。为了区分这两种白盒测试技术，以下把前者称为逻辑覆盖测试，后者称为路径测试。 一、逻辑覆盖测试 逻辑覆盖测试法（Logic Coverage Testing）考察的重点是图中的判定框（菱形框）。因为这些判定若不是与选择结构有关，就是与循环结构有关，是决定程序结构的关键成分。 按照对被测程序所作测试的有效程度，逻辑覆盖测试可由弱到强区分为5种覆盖标准： 发现错误的能力 弱 强 语句覆盖 每条语句至少执行一次 判定覆盖 每一判定的每个分支至少执行一次 条件覆盖 每一判定中的每个条件，分别按“真”、“假”至少各执行一次 判定/条件覆盖 同时满足判定覆盖和条件覆盖的要求 条件组合覆盖 求出判定中所有条件的各种可能组合值，每一可能的条件组合至少执行一次 举例说明： 有一个程序段如下： (A1) (B= (A1) (B=0) (A=2) (x1) x=x/a x=x+1 a b F T c d F T e 语句覆盖：设计若干个测试用例，运行被测程序，使得每一个可执行语句至少执行一次。例如在上图所给出的例子中，正好所有的可执行语句都在路径L1（a－c－e）上，所以选择路径L1设计测试用例，就可以覆盖所有的可执行语句。 L1（a－c－e） ＝{(A1) and (B=0) } and {(A=2) or (x/A1)} =(A=2) and (B=0) or {(A1) and (B=0) and (x/A1)} 测试用例可以设计为：【（2，0，4），（2，0，3）】覆盖ace【L1】 从程序中每个可执行语句都得到执行这一点来看，语句覆盖的方法似乎能够比较全面的检验每一个可执行语句。但与后面介绍的其它覆盖相比，语句覆盖是最弱的逻辑覆盖准则。 判定覆盖 所谓判定覆盖就是设计若干个测试用例，运行被测试程序，使得程序中每个判断的取真分支和取假分支至少经历一次。判定覆盖又称为分支覆盖。如上例如果选择路径L1（a－c－e）和L2（a－b－d），可得满足要求得测试用例： L2（a－b－d） ＝{(A=1) or (B≠0) } and {(A≠2) and (x=1)} =( A=1) and (x=1) or {( B≠0) and (A≠2) and (x=1)} 测试用例可以设计为： 【（2，0，4），（2，0，3）】覆盖ace【