第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=