软件工程 第四部分 软件编程与软件测试软件测试方法与过程黑盒测试 白盒测试 .ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * recall McCabe theory learn in programming. Just ask you to know how to find the number of 独立路径from a graph. All 独立路径 makes up 一个基本路径集 covers the whole graph. Try to make一个基本路径集 as small as possible. Each独立路径must contain one element not included in any other独立路径. 每个测试用例执行之后，与预期结果进行比较。 必须注意，一些独立的路径(如例中的path1)，往往不是完全孤立的，有时它是程序正常的控制流的一部分，这时，这些路径的测试可以是另一条路径测试的一部分。 * * * * * * * * * * * 等价类划分(Equivalence Partitioning) 等价类划分是一种典型的黑盒测试方法，也是一种非常实用的重要测试方法。 我们前面已经说过，不可能用所有可以输入的数据来测试程序，而只能从全部可供输入的数据中选择一个子集进行测试。如何选择适当的子集，使其尽可能多地发现错误。解决的办法之一是等价类划分。 等价类划分有两种不同的情况，请见下页： * * * * * * * * * * * * * * * * * * * * * * 路径覆盖是指选择足够的测试用例，使得运行这些测试用例时，被测程序的每条可能执行到的路径都至少经过一次（如果程序中包含环路，则要求每条环路至少经过一次） 逻辑覆盖测试----路径覆盖 */161 覆盖标准： 被测程序的每条可能执行到的路径都至少经过一次。 路径覆盖应执行路径：ace，acd，abe ，abd 选择用例，每个路径选择一个用例 [(2,0,4),(2,0,3)] ace　 [(3,0,3),(3,0,1)] acd 　 [(2,1,1),(2,1,2)] abe [(1,1,1),(1,1,1)] abd　　　 　　　 　　　 A1 AND B=0 X=X/A A=2 OR X1 X=X+1 a b c d e Y N Y N 逻辑覆盖测试----路径覆盖 覆盖种类 需满足条件 测试数据 预期结果 路径覆盖： 每条可能执行到的路径都至少经过一次：ace，acd ，abe，abd ace 2，0，4 2，0，3 acd 3，0，3 3，0，1 abe 2，1，1 2，1，2 abd 1，1，1 1，1，1 */161 路径覆盖实际上考虑了程序中各种判定结果的所有可能组合，但它未必能覆盖判定中条件结果的各种可能情况。因此，它是一种比较强的覆盖标准，但不能替代条件覆盖和条件组合覆盖标准。 逻辑覆盖测试----路径覆盖 */161 逻辑覆盖法 一般情况下，这几种覆盖法的覆盖率是不一样的，其中路径覆盖的覆盖率最高，语句覆盖的覆盖率最低。 发现错误的能力 覆盖标准 含 义 1(弱) 语句覆盖 每条语句至少执行一次 2 判定覆盖 每一判定的每个分支至少执行一次 3 条件覆盖 每一判定中的每个条件，分别按“真”、 “假”至少各执行一次 4 判定/条件覆盖 同时满足判定覆盖和条件覆盖的要求 5 条件组合覆盖 求出判定中所有条件的各种可能组合 值，每一可能的条件组合至少执行一次 6(强) 路径覆盖 程序中每一条可能的路径至少执行一次 */161 逻辑覆盖测试练习题 输入A，B，C，D (A0)AND(B0) X=A-B X=A+B (CA)OR(DB) Y=C+D Y=C-D 输出X，Y F F T T 下图是用盒图描绘的一个程序的算法，请用逻辑覆盖法设计测试方案，分别做到语句覆盖、路径覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖。 */161 白盒测试--基本路径法 基本路径测试法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行的路径集合，从而设计测试用例的方法。 在基本路径测试中，设计出的测试用例要保证在测试中程序的每条可执行语句至少执行一次。在基本路径法中，需要使用程序的控制流图进行可视化表达。 */161 白盒测试--基本路径法 在实际问题中，一个不太复杂的程序，特别是包含循环的程序，其路