清华软件工程ppt课件第11章软件测试_1.ppt

软件工程;内容摘要;内容摘要;软件测试基础;有关软件测试的错误观点;对一个具有多重选择和循环嵌套的程序，不同的路径数目可能是天文数字。例如一个小程序的流程图，它包括了一个执行20次的循环，其循环体有五个分支。这个循环的不同执行路径数达520条，如果对每一条路径进行测试需要1毫秒，那么即使一年工作365 × 24小时，要想把所有路径测试完，大约需3170年。;Date;“程序测试是证明程序正确地执行了预期的功能”。实际上，一个程序不仅要完成它所需完成的功能，而且不应完成它不该做的事。如不能把边长为0、0、0的三条边判断为等边三角形。;软件测试的目的;软件测试的原则;其他的测试原则： 1.在设计测试用例时，应包括合理的输入条件和不合理的输入条件 2.严格执行测试计划，排除测试的随意性 3.应当对每一个测试结果做全面检查 4.妥善保存测试计划、测试用例、出错统计和最终分析报告，为维护提供方便 5.检查程序是否做了应做的事仅是成功的一半，另一半是检查程序是否做了不该做的事 6.在规划测试时不要设想程序中不会查出错误;白盒测试与黑盒测试;白盒测试（又称为结构测试）把测试对象看作一个透明的盒子，测试人员根据程序内部的逻辑结构及有关信息设计测试用例，检查程序中所有逻辑路径是否都按预定的要求正确地工作。 白盒测试主要用于对模块的测试，包括： 程序模块中的所有独立路径至少执行一次 对所有逻辑判定的取值（“真”与“假”）都至少测试一次 在上下边界及可操作范围内运行所有循环 测试内部数据结构的有效性等;黑盒测试（又称行为测试）把测试对象看做一个黑盒子，测试人员完全不考虑程序内部的逻辑结构和内部特性，只依据程序的需求规格说明书，检查程序的功能是否符合它的功能需求。 黑盒测试可用于各种测试，它试图发现以下类型的错误： 不正确或遗漏的功能 接口错误，如输入/输出参数的个数、类型等 数据结构错误或外部信息(如外部数据库)访问错误 性能错误 初始化和终止错误;内容摘要;白盒测试;逻辑覆盖测试;例：对下列子程序进行测试 procedure example(y,z:real;var x:real); begin if (y1) and (z=0) then x:=x/y; if (y=2) or (x1) then x:=x+1; end; 该子程序接受x、y、z的值，并将计算结果x的值返回给调用程序。 与该子程序对应的流程图如下：;入口;该子程序有两个判定： a: (y1) and (z=0) c: (y=2) or (x1) 判定a中有两个判定条件： y1、 z=0 判定c中有两个判定条件： y=2 、“x1” 根据程序的执行流程不同，判定c中的“x1”的含义也不同。 当判定a为“真”时， “x1”实际是“x/y1”，即“xy”； 当判定a为“假”时， “x1”仍是“x1”。;该子程序有四条可执行路径： 路径1 sabcde ， 其执行条件（L1）是a为“t”且c为“t” L1= {(y1) and (z=0)} and {(y=2) or (x/y1)} = (y1) and (z=0) and (y=2) or (y1) and (z=0) and (x y ) = (y=2) and (z=0) or (y1) and (z=0) and (x y );路径2 sace ，其执行条件（L2）是a为“f”且c为“f”) L2 = not{(y1) and (z=0)} and not{(y=2) or (x1)} = { not (y1) or not (z=0) } and { not (y=2) and not (x1) } = not (y1) and not (y=2) and not (x1) or not (z=0) and not (y=2) and not (x1) =(y≤1) and (y≠2) and (x ≤ 1) or (z ≠ 0) and (y ≠ 2) and (x ≤ 1);路径3 sacde ，其执行条件（L3）是a为“f”且c为“t”) L3 = not {(y1) and (z=0)} and {(y=2) or (x1)} = { not (y1) or not (z=0)} and {(y=2) or (x1)} = not (y1) and (y=2) or not (y1) and (x1