软件工程-82_软件测试和维护1.pptVIP

第五章 软件测试与维护 5.1 软件测试的目的和重要性 软件测试阶段的重点 目的：发现和改正错误 名词：测试用例 重要的方法 静态测试 动态测试（白盒测试、黑盒测试） 软件测试的步骤和每步的任务 应用 白盒测试，黑盒测试 5.2 软件测试的特点 1、软件测试的开销大 统计-软件测试的开销大约占总成本的30%-50%，工作量占开发过程的40%-50%。 5.3 软件测试的基本原则 5.4 生存周期软件开发V模型 5.5 软件测试方法 ① 调用图：从语义的角度考察程序的控制路线。 无论Y 为何值，都不能够调用子程序。 ② 数据流分析图：检查分析变量的定义和引用情况。 节点 —表示单个语句。 有向边 —表示控制结构。 d — 定义 r — 引用 u — 未引用 白盒法 白盒法又称为逻辑覆盖法，分析程序的内部逻辑结构，注意选择适当的覆盖标准，设计测试用例，对主要路径进行尽可能多的测试。 其测试用例选择，是按照不同覆盖标准确定的。 白盒法步骤 案例1：白盒法测试 1、语句覆盖 使得程序中每个语句至少都能被执行一次。 2、判定覆盖 使得程序中每个判定至少为TRUE 或FALSE各一次。 3、条件覆盖 4、判定/条件覆盖 同时满足判断覆盖和条件覆盖。 5、条件组合覆盖 使得每个判定中条件的各种可能组合都至少出现一次。 软件测试与维护 电子科大生命学院 王玲 P* * 王玲电子科大沙河校区主楼西301 w_ling@uestc.edu.cn 1963年美国飞往火星的火箭爆炸，原因是FORTRAN程序：DO 5 I=1，3 误写为：DO 5 I=1. 3 损失1000万美元。 1967年苏联“联盟一号”宇宙飞船返回时因忽略一个小数点，在进入大气层时打不开降落伞而烧毁。 2、不能进行“穷举”测试 程序P有两个整型输入量 X、Y，输出量为Z，在32位机上运行 3、软件测试难度大 “高效的测试用例” 1、尽量不由程序设计者进行测试。 2、关键是注重测试用例的选择。 输入数据的组成（输入数据、预期的输出结果） 既有合理输入数据，也有不合理的输入数据。 用例既能检查应完成的任务，也能够检查不应该完成的任务。 长期保存测试用例。 3、充分注意测试中的群集现象。 同预期测试结果 显示学生基本信息 查询 单击“相应查看”按钮 同预期测试结果 返回学生列表 查询 105001/软件工程/2005/空 同预期测试结果 没有此记录 查询 105008 同预期测试结果 操作成功 备份 确认备份单击”确认“按钮 同预期测试结果 是否要备份XX，备份后将删除相关记录 备份 选择学生列表前的选框，单击“备份”按钮 同预期测试结果 返回学生列表，删除成功 删除 确认删除单击“确定”按钮 同预期测试结果 是否要删除XX 删除 选择学生列表前的选框，单击“删除”按钮 同预期测试结果 此记录已经存在 添加、更新 105001,张晓,… 同预期测试结果 操作成功 添加、更新 105001,张晓,… 同预期测试结果 必填项不能为空 添加、更新 全为空 学生个人基本信息显示，学生查询，添加学生，编辑学生个人基本信息 学生个人基本信息管理测试 实际测试结果 预期测试结果 测试操作 输入 测试目的 测试项目 软件测试方法 静态分析方法 动态分析方法 桌前检查 代码会审 步行检查 白盒法 黑盒法 调用图 通过选择适当的测试用例，执行程序 数据流分析图 以人工的、非形式化的方法对程序进行分析和测试 语句覆盖 条件覆盖 判定覆盖 组合覆盖 等价分类法 边值分析法 错误推测法 因果图法 READY Y0 N X=Y X0 Y N Y 调用子程序 A B C D E 即执行ABC后，是不可能执行路径CDE的。 一、静态分析方法 R：duuuuu S ：uruuur Y：uuddru R=0.5 W=1/S Y=A**W Y=E*W Z=X+Y C=Z*S 1 2 3 4 5 6 只定义不用 未定义引用 连续定义 一、静态分析方法 语 句 覆 盖 判 定 覆 盖 条 件 覆 盖 判 定 条 件 覆 盖 条 件 组 合 覆 盖 弱 强 1）选择逻辑覆盖标准。 2）按照覆盖标准列出所有情况。 3）选择确定测试用例。 4）验证分析运行结果与预期结果。 逻辑结构 a1 AND b=0 x=x/a a=2 OR x1 x++ Y N Y N if(a1 b==0) x=x/a; if(a==2 || x1) x++; 满足语句覆盖的情况： 执行路径：ACE 选择用例： [(2,0,4),(2,0,3)] 用例格式： [输入(a,b,x)，输出(a,b,x)] a1 AND b=0 x=x/a a=2 OR x1 x+