软件工程导论期末综合题复习详解.ppt

* * * * * * * * 图6.6PAD图的基本符号 (a) 顺序(先执行P1后执行P2)； (b) 选择(IF C THEN P1 ELSE P2)； (c) CASE型多分支；(d) WHILE型循环(WHILE C DO P)； (e) UNTIL型循环(REPEAT P UNTIL C)；(f) 语句标号；(g) 定义 图6.7 使用PAD图提供的定义功能来逐步求精的例子 (a) 初始的PAD图；(b) 使用def符号细化处理框P2 判定表 条件茬(Condition stub):左上部分：列出了各种可能的条件。除去某些问题中对各个条件的先后次序有特定的要求以外，通常判定表中各条件的先后门次序不要求。 条件项(Condition Entry):右上部分：列出了各种条件的取值的组合。 条件定义(条件茬) 条件取值的组合(条件项) 动作定义(动作茬) 在各种取值的组合下应执行的动作(动作项) 动作茬(Action Stub):左下部分：列出 了可能采取的动作。这些动作的排列顺序没有限制，但为便于阅读可令其按适当的顺序排列。 动作项(Action Entry)：右下部分：是和条件项紧密相关的，它指出了在条件项的各种取值的组合情况下应采取什么动作。 假设某航空公司规定，乘客可以免费托运行李的重量不超过30公斤。当行李的重量超出30公斤时 ，对一般舱的国内乘客超重部分每公斤收费4元，对头等舱的国内乘客超重部分每公斤收费6元。对国外乘客超重部分每公斤收费比国内乘客多一倍，对残疾乘客超重部分每公斤收费比正常乘客少一半。试画出相应判定表。 判定树 判定树是判定表的变种，也能清晰地表示复杂的条件组合与应做的动作之间的对应关系。 判定树是由左边（树根）开始，沿着各个分支向右看，根据每一个条件的取值状态，可以找出相应的策略（即动作），所有的动作都在判定树的最右侧。 图6.8 用判定树表示计算行李费的算法 7.6.1 逻辑覆盖 逻辑覆盖是以程序的内部逻辑结构为基础的测试用例设计技术，属于白盒测试。它要求测试人员十分清楚程序的逻辑结构，考虑的是测试用例对程序内部逻辑覆盖的程度。 逻辑覆盖法（续） 条件组合覆盖 判定/条件覆盖 判定覆盖 条件覆盖 语句覆盖 路径覆盖 1 语句覆盖 入口 A 1 AND B=0 T A=2 OR X 1 T X = X / A X = X + 1 返回 F F A B X 用例1 2 0 4 用例2 路径：sacbed S a b c e d 2 判定覆盖(分支覆盖) 入口 A 1 AND B=0 T A=2 OR X 1 T X = X / A X = X + 1 返回 F F A B X 用例1 2 0 4 用例2 1 1 1 S a b c e d 路径：sacbed、sabd sacbd、sabed 3 条件覆盖 入口 A 1 AND B=0 T A=2 OR X 1 T X = X / A X = X + 1 返回 F F A B X 用例1 2 0 4 用例2 1 1 1 A B X 用例1 1 0 3 用例2 2 1 1 S a b c e d 应该有： a点：A1,A=1,B=0,B0 b点：A=2,A2,X1,X=1 4 判定/条件覆盖 入口 A 1 AND B=0 T A=2 OR X 1 T X = X / A X = X + 1 返回 F F A B X 用例1 2 0 4 用例2 1 1 1 S a b c e d 5 条件组合覆盖 可能的条件组合： （1）A＞1，B＝0 （2）A＞1，B≠0 （3）A≤1，B＝0 （4）A≤1，B≠0 （5）A＝2，x＞1 （6）A＝2，x≤1 （7）A≠2，x＞1 （8）A≠2，x≤1 相应的输入数据： A＝2，B＝0，x＝4 满足（1）和（5） A＝2，B＝1，x＝1 满足（2）和（6） A＝1，B＝0，x＝2 满足（3）和（7） A＝1，B＝1，x＝1 满足（4）和（8） 显然，满足条件组合覆盖的测试数据，也一定满足判定覆盖、条件覆盖和判定／条件覆盖标准。 每条可能的路径都至少执行一次。 入口 A 1 AND B=0 T A=2 OR X 1 T X = X / A X = X + 1 返回 F F 6 路径覆盖 Test cases: ① A=1 , B=1 , X=1 ② A=1 , B=1 , X=2 ③ A=3 , B=0 , X=1 ④ A=2 , B=0 , X=4 S a b c e d 独立路径测试步骤： 导出程序流程图的拓扑结构-流图(控制流程图)