参考资料--软件工程过程设计的工具.docVIP

程序流程图 While_do是当条件满足时循环，不满足时跳出循环 Do_until是当不满足条件时循环，满足时跳出循环 盒图（N-S图） PAD图 判定表 判定表能够清晰地表示复杂的条件组合与应做的动作之间的对应关系，而其它的工具不易表示。 一张判定表由四部分组成，左上部列出所有条件，左下部是所有可能做的动作，右上部是表示各种条件组合的一个矩阵，右下部是和每种条件组合相对应的动作。 判定表的每一列实质上是一条规则，规定了与特定的条件组合相对应的动作。 画×表示做它左边的那项动作，空白表示不做这项动作。 例：某校制定了教师的讲课课时津贴标准。对于各种性质的讲座，无论教师是什么职称，每课时津贴费一律是50元；而对于一般的授课，则根据教师的职称来决定每课时津贴费：教授30元，副教授25元，讲师20元，助教15元。 判定树 判定树是判定表的变种，也能清晰地表示复杂的条件组合与应做的动作之间的对应关系。 优点：形式简单，不需任何说明，易看出含义，易于掌握和使用。 缺点：简洁性不如判定表，相同的数据元素往往要重复写多遍，而且越接近树的叶端重复次数越多。 商店业务处理系统中“检查发货单” 监察发货单，如果金额超过$500并且欠款超过60天则不发出批准书；如果金额超过$500并且欠款不超过60天则发出批准书和发货单；如果金额不超过$500并且欠款超过60天则发出批准书、发货单和赊欠报告；如果金额不超过$500并且欠款不超过60天则发出批准书和发货单 。 改进的Jackson图 已知程序框图如下： 若X、Y是两个变量，可供选择的测试用例共有4组（见表），则实现语句覆盖至少应采用的测试用例是 1 3 ；实现条件覆盖至少应采用的测试用例是 1 4 ；实现判定至少应采用的测试用例是123或124。 测试用例 X Y ① 0 3 ② 1 2 ③ -1 2 ④ 3 1 三个判定：A5； B10； C15 用语句覆盖设计测试用例 覆盖路径 A=6 B=11 C=16 TTT A=5 B=10 C=15 FFF 用路径覆盖设计测试用例 覆盖路径 A=5 B=10 C=15 FFF A=5 B=10 C=16 FFT A=5 B=11 C=15 FTF A=5 B=11 C=16 FTT A=6 B=10 C=15 TFF A=6 B=10 C=16 TFT A=6 B=11 C=15 TTF A=6 B=11 C=16 TTT 结构图 方框代表一个模块，框内注明模块的名字或主要功能； 方框之间的箭头（或直线）表示模块的调用关系。 带注释的箭头表示模块调用过程中来回传递的信息；尾部是空心圆表示传递的是数据，实心圆表示传递的是控制信息。 × ? ? 对应的盒图 ? ? 15 ? × ? ? ? 20 ? ? × ? ? 25 ? ? ? × ? 30 ? ? ? ? × 50 F F F F T 讲座 T F F F ? 助教 F T F F ? 讲师 F F T F ? 副教授 F F F T ? 教授 5 4 3 2 1 ? — B0 A D0 C0 B0 A S(i) S(i) 选择 “—”表示不出现 D C B A 顺序 B* A I(i) 循环 J语句 K语句 X1∨Y=1 ? X=0∧Y2 ? T F F T