餐厅管理系统测试用例.ppt

* * * * * * * * * * * * * * * * * * * * * * * * 餐厅管理系统测试步骤 单元测试：就餐准备、增加菜品、删除菜品、结账记录、打印账单、订餐记录、订餐通知。 集成测试：就餐准备、修改菜品、结账处理、订餐处理 确认测试 系统测试 SWPU软件工程课程组 测试方法 白盒测试技术 黑盒测试技术 SWPU软件工程课程组 白盒测试技术 逻辑覆盖 ---- 是以程序内部的逻辑结构为基础的设计测试用例的技术。 (1) 语句覆盖 (2)判定覆盖 (3)条件覆盖 (4)判定/条件覆盖 (5)条件组合覆盖 (6)点覆盖 (7)边覆盖 (8)路径覆盖 白盒测试 :语句覆盖 使程序中每个语句至少执行一次。 开始 (A1) AND (B=0) (A=2) OR (X1) 返回 X=X/A X=X+1 F F T T a b d c e 只需设计一个测试用例: 输入数据：A=2， B=0， X=4 即达到了语句覆盖。 语句覆盖是最弱的 逻辑覆盖 （如：AND 写成 OR，X1 写成 X 1,查不出来错误） 白盒测试：判定覆盖(分支覆盖) 使每个判定的真假分支都至少执行一次 开始 (A1) AND (B=0) (A=2) OR (X1) 返回 X=X/A X=X+1 F F T T a b d c e 可设计两组测试用例: A=3，B=0 ，X=3 可覆盖c、d分支 A=2，B=1 ，X=1 可覆盖b、e分支 两组测试用例可覆盖所有判定的真假分支 判定覆盖仍是弱的逻辑覆盖，只覆盖了全部路径的一半。 白盒测试：条件覆盖 使每个判定的每个条件的可能取值至少执行一次 开始 (A1) AND (B=0) (A=2) OR (X1) 返回 X=X/A X=X+1 F F T T a b d c e 满足条: T1,T1, T2,T2 T3,T3 T4,T4 第一判定表达式: 设条件 A1 取真 记为T1 假 T1 条件 B=0 取真 记为T2 假 T2 第二判定表达式: 设条件 A=2 取真 记为T3 假 T3 条件 X1 取真 记为T4 假 T4 白盒测试：判定/条件覆盖 选取足够多的 测试用例，使判断 中的每个条件的所 有可能取值至少执 行一次，同时每个 判断本身的所有可 能判断结果至少执 行一次. 开始 (A1) AND (B=0) (A=2) OR (X1) 返回 X=X/A X=X+1 F F T T a b d c e 满足条件:T1,T1, T2,T2 T3,T3 T4,T4 测试用例 通过 满足的条件 覆盖 A B X 路径 分支 2 0 4 ace T1,T2,T3,T4 c,e 1 1 1 abd T1,T2,T3,T4 b,d 能同时满足判定、条件两种覆盖标准的取值 白盒测试：条件组合覆盖 所有可能的条件取值组合至少执行一次 A1, B=0 A1, B≠0 A≯1, B=0 A≯1, B≠0 A=2, X1 A=2, X≯1 A≠2, X1 A≠2, X≯1 测试用例 通过 满足的 覆盖 A B X 路径 条件 分支 2 0 4 ace T1,T2,T3,T4 c,e 2 1 1 abe T1,T2,T3,T4 b,e 1 0 2 abd T1,T2,T3,T4 b,d 1 1 1 abd T1,T2,T3,T4 b,d 餐厅管理系统测试用例—就餐准备模块 SWPU软件