软件工程概论：第10章 软件测试.ppt

10.3 软件测试方法 对软件系统进行实际测试时，应该联合使用各种设计测试方案的方法，形成一种综合策略。通常的做法是，用黑盒法设计基本的测试方案，再用白盒法补充一些必要的测试方案。 以下是各种测试方法选择的综合策略，可在实际应用过程中参考。 首先进行等价类划分，包括输入条件和输出条件的等价划分，将无限测试变成有限测试，这是减少工作量和提高测试效率的最有效方法。 在任何情况下都必须使用边界值分析方法。经验表明用这种方法设计出测试用例发现程序错误的能力最强。 对照程序逻辑，检查已设计出的测试用例的逻辑覆盖程度。如果没有达到要求的覆盖标准，应当再补充足够的测试用例。 如果程序的功能说明中含有输入条件的组合情况，则应在一开始就选用因果图法。 10.4 纠错 纠错要完成两方面的工作，一是确定错误的性质与位置；二是改正错误。 其中前一项工作的工作量约占整个纠错的95%。 测试与纠错是交替进行的。 10.4 纠错 纠错的方法 跟踪法：反向跟踪、正向跟踪 演绎法，又称为病因排除法 10.4 纠错 归纳法 测试法：测试纠错 试凑法 10.3 软件测试方法 边界值分析法 为什么使用边界值分析法？ 长期的测试工作经验告诉我们，大量的错误是发生在输入或输出范围的边界上（极值附近），而不是发生在输入输出范围的内部。例如： 计数器常常“少记一次” C语言程序中数组下标： int A[10]:A[0]…A[9] → A[1]…A[10] 循环条件可能在应该给出≤ 时给出了＜ 10.3 软件测试方法 什么是边界值分析法？ 边界值分析法就是对输入或输出的边界值进行测试的一种黑盒测试方法。 基本原理：针对各种边界情况，从中标识测试用例，可以查出更多的错误。 通常边界值分析法是作为对等价类划分法的补充，这种情况下，其测试用例来自等价类的边界。 10.3 软件测试方法 如何确定边界值？ 基本思想：对每个变量，在下面几处取值 略小于最小值 min- 最小值 min 略大于最小值 min+ 正常值 nom 略小于最大值 max- 最大值 max 略大于最大值 max+ 10.3 软件测试方法 边界条件测试用例设计法 一般边界条件测试用例设计法（普通、一般） 健壮性边界条件测试用例设计法（普通、健壮） 最坏边界条件测试用例设计法（最坏、一般） 健壮最坏边界条件测试用例设计法（最坏、健壮） 区分边界值分析方法： 正常值与健壮值：不考虑/考虑无效取值范围（min-、max+） 普通与最坏情况：基于“单缺陷”假设/“多缺陷”假设（单个变量取极值、多个变量取极值） 10.3 软件测试方法 示例：用不同边界值分析方法设计测试用例 对于函数F（X1,X2），其输入变量X1和X2的取值边界定义如下：a≤X1≤ b ； c≤X2≤ d 试用前述几种边界条件测试用例设计法设计测试用例 边界条件坐标图如下 a d c b x2 x1 10.3 软件测试方法 1、一般边界条件测试用例设计法 每次保留程序中一个变量，让其余的变量取正常值，被保留的变量依次取min、min+、nom、max-和max。 对程序中的每个变量重复① a d c b x2 x1 10.3 软件测试方法 示例 注：（X1nom，X2nom）重复出现 测试用例 X1 X2 预期输出 T1 X1nom X2min F1 T2 X1nom X2min+ F2 T3 X1nom X2nom F3 T4 X1nom X2max- F4 T5 X1nom X2max F5 T6 X1min X2nom F6 T7 X1min+ X2nom F7 T8 X1max- X2nom F8 T9 X1max X2nom F9 X1取正常值 X2依次取各种边界值 X2取正常值 X1依次取各种边界值 10.3 软件测试方法 对于一个n变量函数，一般边界条件测试用例设计法生成的测试用例数为4n+1个 10.3 软件测试方法 2、健壮性边界条件测试用例设计法 每次保留程序中一个变量，让其余的变量取正常值，被保留的变量依次取min-、 min、min+、nom、max- 、 max和max+ 。 对程序中的每个变量重复 ① a d c b x2 x1 10.3 软件测试方法 对于一个n变量函数，健壮性边界条件测试用例设计法生成的测试用例数为6n+1个 10.3 软件测试方法 3、最坏边界条件测试用例设计法 所有变量均可取min、min+、nom、max-和max这五个边界值中的任何一个。 测试用例为五个集合的笛卡儿乘积。 a d c b x2 x1 10.3 软件测试方法 对于一个n变量函数，最坏边界条件测试用例设计法生成的测试用例数为5n个。 一般边界条件测试与最坏边界