第06章软件实现精要.ppt

软件工程Software Engineering 等价类和边界值方法的区别： （1）边界值不是从等价类中随便取一个数据作为代表，而是选一个或几个特定值，使这个等价类的每个边界都作为测试的目标。 （2）边界值分析不仅要考虑输入条件，而且要考虑输出条件（输出等价类）。 一般联合使用等价类划分和边界值分析两种方法。 6.9.3 错误推测法 人们也可以靠经验和直觉推测程序中可能存在的各种错误，从而有针对性地编写检查这些错误的例子。 。 它的基本想法是列举出程序中可能有的错误和容易发生错误的特殊情况，并且根据它们选择测试方案。 6.9.4 逻辑覆盖法 白盒法根据程序逻辑结构进行测试，逻辑覆盖法是一系列测试过程的总称，这些测试是逐渐地、越来越完整地进行路径测试。 从覆盖程序的详细程度来考虑，逻辑覆盖有以下几种不同的测试过程： 语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖、点覆盖、边覆盖和路径覆盖 (A1) and (B=0) (A=2) or (X1) X=X/A X=X+1 T T F F a b d c e 图 程序流程图 L1 ( a ? c ? e ) = {(A1) and (B=0)} and {(A=2) or (X/A1)} = (A1) and (B=0) and (A=2) or (A1) and (B=0) and (X/A1) = (A=2) and (B=0) or (A1) and (B=0) and (X/A1) L2 ( a? b ? d ) = not{(A1) and (B=0)} and not{(A=2) or (X1)} = { not (A1) or not (B=0) } and { not (A=2) and not (X1) } = not (A1) and not (A=2) and not (X1) or not (B=0) and not (A=2) and not (X1) = not (A1) and not (X1) or not (B=0) and not (A=2) and not (X1) L3 ( a? b? e) = not {(A1) and (B=0)} and {(A=2) or (X1)} = { not (A1) or not (B=0)} and {(A=2) or (X1)} = not (A1) and (A=2) or not (A1) and (X1) or not (B=0) and (A=2) or not (B=0) and (X1) L4 ( a? c ? d ) = {(A1) and (B=0)} and not {(A=2) or (X/A1)} = (A1) and (B=0) and not (A=2) and not (X/A1) 语句覆盖　 语句覆盖就是设计足够多个测试用例，运行被测程序，使得每一可执行语句至少执行一次。 在图例中，正好所有的可执行语句都在路径L1上，所以选择路径L1设计测试用例，就可以覆盖所有的可执行语句。 测试用例的设计格式如下【输入的(A, B, X)，输出的(A, B, X)】 为图例设计满足语句覆盖的测试用例是:【(2, 0, 4)，(2, 0, 3)】，覆盖路径L1 图 被测试模块的流程图 A=2 B=0 X=4 判定覆盖 判定覆盖就是设计若干个测试用例，运行被测程序，使得程序中每个判断的取真分支和取假分支至少经历一次。 判定覆盖又称为分支覆盖。 每个语句+每个判定的每个分支 对于图例，如果选择路径L1和L2，就可得满足要求的测试用例: 【(2, 0, 4)，(2, 0, 3)】覆盖 ace【L1】【(1, 1, 1)，(1, 1, 1)】覆盖 abd【L2】 如果选择路径L3和L4，还可得另一组可用的测试用例: 【(2, 1, 1)，(2, 1, 2)】覆盖 abe【L3】【(3, 0, 3)，(3, 0, 1)】覆盖 acd【L4】 2. 自底向上集成 自底向上测试从“原子”模块(即在软件结构最低层的模块)开始组装和测试。因为是从底部向上结合模块，总能得到需要的下层模块处理功能，所以不需要存根程序。