第三章 白盒测试方法.ppt

面对对象的白盒测试 方法的单独测试 结构性测试的第一层是考虑各独立的方法，这可以与过程的测试采用同样的方法，两者之间最大的差别在于方法改变了它所在实例的状态，这就要取得隐藏的状态信息来估算测试的结果，传给其它对象的消息被忽略，而以桩来代替，并根据所传的消息返回相应的值，测试数据要求能完全覆盖类中代码，可以用传统的测试技术来获取。 面对对象的白盒测试 方法的综合测试 第二层要考虑一个方法调用本对象类中的其它方法和从一个类向其它类发送信息的情况。单独测试一个方法时，只考虑其本身执行的情况，而没有考虑动作的顺序问题，测试用例中加入了激发这些调用的信息，以检查它们是否正确运行了。对于同一类中方法之间的调用，一般只需要极少甚至不用附加数据，因为方法都是对类进行存取，故这一类测试的准则是要求遍历类的所有主要状态。 * * * * * * 描述程序控制流的一种图示方法 * 当条件语句中用到一个或多个布尔运算符(逻辑OR，AND，NAND，NOR)时，就出现了复合条件 要对判定结点进行分解 * * 结合研究生教案 * * * * * * * * * * * * * * 工具方法：图形矩阵 在基本路径测试中起辅助作用的工具软件，利用它可以实现自动算出圈复杂度 * * * Z路径测试能有效降低被测程序的路径数 * A0 and B2 A=0 or X1 X=X+A A=A+1 End Begin 1 2 5 6 8 T T F F T1 T2 T3 T4 TA TB 控制流测试方法举例 分析： (1) 要满足语句覆盖，执行路径通过：1→2 →8 和 1→5→6→8 即可。可设计测试用例： 1:A=1 B=1 X=0 (路径1→2 →8 ) 2:A=0 B=3 X=0 (路径1→5→6→8 ) (2)要满足判定覆盖，两个判定表达式的取真和取假分支都要走到，执行路径为： 1→2 →8 、 1→5→8 和 1→5→6→8 ，可设计测试用例： 1:A=1 B=1 X=0 (路径1→2 →8 覆盖条件: TA) 2:A=0 B=3 X=0 (路径1→5→6→8 覆盖条件: ~TA TB) 3:A=-1 B=3 X=2 (路径1→5→8 覆盖条件: ~TA ~TB) (3)程序段控制流图中只有以上三条路径，可见这组测试用例也满足路径覆盖。 控制流测试方法举例 (4)要满足条件覆盖，每个判定中的每个条件的可能取值都要取到，即：T1 T2 T3 T4 ~T1 ~T2 ~T3 ~T4。观察前面设计测试用例： 1: A=1 B=1 X=0 (路径1→2 →8 覆盖条件: T1 T2) 2: A=0 B=3 X=0 (路径1→5→6→8 覆盖条件: ~ T1 ~T2 T3 T4) 3: A=-1 B=3 X=2 (路径1→5→8 覆盖条件: ~ T1 ~T2 ~T3 ~T4) 上述测试用例覆盖了4个条件产生的8种情况。 可见，这组测试用例同时覆盖了两个判定的取真分支和取假分支以及4个条件产生的8种情况，所以它们满足判定-条件覆盖的标准。 控制流测试方法举例 (5)要满足条件组合覆盖，每个判定中各条件的每一种组合至少要出现一次，在两个判定中有8种可能的组合： ① A0, B2: T1, T2 ② A0, B≥2: T1, ~T2 ③ A≤0, B2: ~T1, T2 ④ A≤0, B≥2: ~T1, ~T2 ⑤ A=0, X1: T3, T4 ⑥ A=0, X≥1: T3, ~T4 ⑦ A≠0, X1: ~T3, T4 ⑧ A≠0, X≥1: ~T3, ~T4 沿用前面设计测试用例： 1: A=1 B=1 X=0 (路径1→2 →8 覆盖条件: T1 T2 ①) 2: A=0 B=3 X=0 (路径1→5→6→8 覆盖条件: ~T1 ~T2 T3 T4 ④ ⑤) 3: A=-1 B=3 X=2 (路径1→5→8 覆盖条件: ~T1 ~T2 ~T3 ~T4 ④ ⑧) 再设计测试用例： 4: A=1 B=3 X=0 (路径1→5→6→8 覆盖条件: T1 ~T2 ~T3 T4 ② ⑦) 5: A=0 B=1 X=2 (路径1→5→6→8 覆盖条件: T1 ~T2 T3 ~T4 ③ ⑥) 以上5个测试用例满足条件组合标准。 设计的测试用例 测试用例 执行路径 覆盖条件 覆盖组合号 语句覆盖 A=1 B=1 X=0 A=0 B=3 X=0 1→2 →8 1→5→6→8 判定覆盖 条件覆盖 判定-条件覆盖 路径覆盖 A=1 B=1 X=0 A=0 B=3 X=0 A=-1