软件测试学习课件.ppt

第10章 软件测试;第10章 软件测试;教学目的与要求;教学重点⒈软件测试的目的、基本原则；⒉白盒测试、黑盒测试及测试用例的设计;⒊测试策略。 ;教学方法采用多媒体课件+讲授法+启发式相结合教学;10.1 软件测试基础;有关软件测试的错误观点; “程序测试是证明程序正确地执行了预期的功能”。实际上，一个程序不仅要完成它所需完成的功能，而且不应完成它不该做的事。如不能把边长为0、0、0的三条边判断为等边三角形。;二、软件测试的原则;其他的测试原则： 1.在设计测试用例时，应包括合理的输入条件和不合理的输入条件 2.严格执行测试计划，排除测试的随意性 3.应当对每一个测试结果做全面检查 4.妥善保存测试计划、测试用例、出错统计和最终分析报告，为维护提供方便 5.检查程序是否做了应做的事仅是成功的一半，另一半是检查程序是否做了不该做的事 6.在规划测试时不要设想程序中不会查出错误;三、软件测试方法;评审（Review）;走查（Walkthrough）; 无论Y 为何值，都不能够调用子程序。;② 数据流分析图:检查分析变量的定义和引用情况。;审查（Inspection）;测试用例的设计是软件测试的关键所在 设计尽可能少的测试用例来发现尽可能多的错误 设计最有可能发现软件错误的测试用例，同时避免使用发现错误效果相同的测试用例 测试用例的设计方法大体可分为两类： 白盒测试和黑盒测试。;白盒测试（又称结构测试）把测试对象看作一个透明的盒子，测试人员根据程序内部的逻辑结构及有关信息设计测试用例，检查程序中所有逻辑路径是否都按预定的要求正确地工作。 白盒测试主要用于对模块的测试，包括： 程序模块中的所有独立路径至少执行一次 对所有逻辑判定的取值（“真”与“假”）都至少测试一次 在上下边界及可操作范围内运行所有循环 测试内部数据结构的有效性等;黑盒测试（又称功能测试）把测试对象看做一个黑盒子，测试人员完全不考虑程序内部的逻辑结构和内部特性，只依据程序的需求规格说明书，检查程序的功能是否符合它的功能需求。 黑盒测试可用于各种测试，它试图发现以下类型的错误： 不正确或遗漏的功能 接口错误，如输入/输出参数的个数、类型等 数据结构错误或外部信息访问错误 性能错误 初始化和终止错误;10.2 白盒测试;逻辑覆盖测试; 例：对下列子程序进行测试 Procedure（var A，B，X：real）； begin if （A1) and (B=0) then X:=X/A ; if (A=2) or (X1) then X:=X+1 end; 该子程序接受A、B、X的值，并将计算结果x的值返回给调用程序。 与该子程序对应的流程图如下：;入口;语句覆盖;判定覆盖; 欲使每个分支都执行一次，只需执行路径L3（sacde）和L4（sabce） 即可。 或者，执行路径L1（sabcde）和L2（sace）.;条件覆盖;判定a中各种条件的所有可能结果：A1， A≤ 1 ，B=0， B ≠ 0。 判定c中各种条件的所有可能结果：A=2， A ≠ 2 ，x1， x ≤ 1 。; 条件覆盖通常比判定覆盖强，但有时虽然每个条件的所有可能结果都出现过，但判定表达式的某些可能结果并未出现。上面的二个测试用例满足了条件覆盖标准，但判定c为“假”的结果并未出现。;判定/条件覆盖;s;条件组合覆盖;判定a中条件结果的所有可能组合： ①A1，B=0 ; ② A1，B ≠ 0; ③A≤ 1，B=0 ; ④ A ≤ 1，B ≠ 0 判定c中条件结果的所有可能组合： ⑤ A=2， x1; ⑥ A=2，x ≤ 1 ; ⑦ A ≠ 2 ，x1; ⑧ A ≠ 2 ，x ≤ 1;测试数据; 条件组合覆盖是上述五种覆盖标准中最强的一种，然而，条件组合覆盖仍不能保证程序中所有可能的路径都被覆盖。本例中，满足条件组合覆盖标准的测试用例就没有经过sabce路径。;路径覆盖;本例中所有可能执行的路径有： L1 ( sabcde ， a为“t”且c为“t”) L2 ( sace ， a为“f”且c为“f”) L3 ( sacde ， a为“f”且c为“t”) L4 ( sabce ， a为“t”且c为“f”); 路径覆盖实际上考虑了程序中各种判定结果的所有可能组合，但它未必能覆盖判定中条件结果的各种可能情况。因此，它是一种比较强的覆盖标准，但不能替代条件覆盖和条件组合覆盖标准。;基本路径测试;程序的控制流图（也称程序图）;上述映射的前提是设计图的判定中不包含复