软件工程第二部分 结构化分析、设计与测试（5-9）.ppt

问题描述： 有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。 其规格说明如下：若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。 原因： 1. 售货机有零钱找 2. 投入1元硬币 3. 投入5角硬币 4. 押下橙汁按钮 5. 押下啤酒按钮 建立中间结点，表示处理中间状态： 11. 投入1元硬币且押下饮料按钮 12. 押下〖橙汁〗或〖啤酒〗的按钮 12. 应当找5角零钱并且售货机有零钱找 12. 钱已付清 结果： 21. 售货机〖零钱找完〗灯亮 22. 退还1元硬币 23. 退还5角硬币 24. 送出橙汁饮料 25. 送出啤酒饮料 由于 2 与 3 ，4 与 5 不能同时发生，分别加上约束条件E 其他或、与关系 白盒测试是有选择地执行（或覆盖）程序中某些最有代表性路径的测试方法，所以也称为逻辑覆盖测试 软件自身的缺陷： 逻辑错误和该错误存在的路径被运行的可能性成反比 程序的逻辑流可能是违反直觉的 书写或打印错误出现在主流和非主流逻辑路径上的可能性是一样的 白盒测试方法是从程序的控制结构路径导出测试用例集的 白盒测试 黑盒测试 测试规划 根据程序的内部结构，如语句的控制结构，模块间的控制结构以及内部数据结构等进行测试 根据用户的规格说明，即针对命令、信息、报表等用户界面及体现它们的输入数据与输出数据之间的对应关系，特别是针对功能进行测试 特点 优点 能够对程序内部的特定部分进行覆盖测试 能站在用户的立场上进行测试 缺点 无法检验程序的外部特性 无法对未实现规格说明的程序内部欠缺部分进行测试 不能测试程序内部特定部分 如果规格说明有误，则无法发现 方法举例 语句覆盖 判定覆盖 条件覆盖 判定-条件覆盖 基本路径覆盖 模块接口测试 基于图的测试 等价类划分 边界值分析 比较测试 逻辑覆盖法 基本路径测试法 循环测试方法 语句覆盖：选择足够的测试用例，使得程序中每个语句至少都能执行一次 判定覆盖：执行足够的测试用例，使得程序中每个判定至少都获得一次“真”值和“假”值，即使得程序中的每一个分支至少都通过一次 条件覆盖：执行足够的测试用例，使得判定中每个条件获得各种可能的结果 判定／条件覆盖：执行足够的测试用例，同时满足判定覆盖和条件覆盖的要求 条件组合覆盖：执行足够的测试用例，使得每个判定中条件的各种可能组合都至少执行一次 Procedure Example(Var A,B,x:real) begin if(A1)and(B=0) then x:=x/A； if(A=2)or(x1) then x:=x+l End; A1 AND B=0 A=2 OR X1 X=X/A X=X+1 Y Y N N a b d c e 流程图 语句覆盖: 路径ace,选择输入数据为：A=2，B=0，x=3 判定覆盖：选择输人数据为： (1)A=3，B=0，x=l(沿路径acd执行) (2)A=2，B=1，x=3(沿路径abe执行) 条件覆盖： (1)A＝2，B＝o，x＝4(沿路径ace执行) (2)A＝1，B＝l，x＝l(沿路径abd执行) 判定／条件覆盖 (1)A=2，B=0，x=4(沿路径ace执行) (2)A=1，B=l，x=l(沿路径abd执行) 条件组合覆盖：八种组合结果 (1)A1，B=0 (5)A=2，x1 (2)A1，B0 (6)A=2，x1 (3)Al，B=0 (7)A2，x1 (4)A1，B0 (8)A2，x1 四种测试用例来覆盖： (1)A＝2，B＝o，x＝4 (2)A＝2，B＝1，x＝l (3)A＝l，B＝o，x＝2 (4)A＝1，B＝1，x＝l 基本路径测试法是根据程序的控制流路径设计测试用例的一种最基本的白盒测试技术 考察测试路径的有用工具：程序控制流图 任何过程设计描述方法（如PDL、流程图、N-S图、PAD图等）都可以映射到一个相应的程序控制流图描述，其映射要点为： 一个或多个顺序语句可映射为程序图的一个节点，用带标识的圆表示。 一个处理框序列和一个判别框可映射为程序图的一个节点。 程序控制流向可映射为程序控制流图的边（或称为连接），用方向箭头表示（类似于流程图中的方向箭头）。一条边必须终止于一个节点，即使该节点不代表任何语句。 有边和节点限定的范围称为区域（区域应包括图外部的范围）。 环形复杂性是一种以图论为基础的，为程序逻辑复杂性提供定量测度的软件度量 独立路径是指程序中至少引进一个新的处理语句集合，或一个新条件的任何一条路径 4,5 1 2