软件工程期末综合题复习教材.pptVIP

* * * * * * * * 图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公斤时 ，对一般舱的