决策表因果关系图.doc

等价类、边界值：判定输入条件项的合法性 决策表、因果图：判定输入条件项的逻辑关系 决策表(判定表) ??优点：它能把复杂的问题按各种可能的情况一一列举出来，简明而易于理解，也可避免遗漏。 适用条件： B. Beizer 指出了适合使用判定表设计测试用例的条件： ①规格说明以判定表形式给出,或很容易转换成判定表。 ②条件的排列顺序不会也不影响执行哪些操作。 ③规则的排列顺序不会也不影响执行哪些操作。 ④每当某一规则的条件已经满足,并确定要执行的操作后,不必检验别的规则。 ⑤如果某一规则得到满足要执行多个操作,这些操作的执行顺序无关紧要。 B. Beizer提出这5个必要条件的目的是为了使操作的执行完全依赖于条件的组合。其实对于某些不满足这几条的判定表，同样可以借以设计测试用例，只不过尚需增加其它的测试用例罢了。 因果图 前面介绍的等价类划分方法和边界值分析方法，都是着重考虑输入条件，但未考虑输入条件之间的联系。如果在测试时必须考虑输入条件的各种组合，可能的组合数将是天文数字。因此必须考虑使用一种适合于描述对于多种条件的组合，相应产生多个动作的形式来考虑设计测试用例，这就需要利用因果图。 因果图方法最终生成的就是决策表。它适合于检查程序输入条件的各种组合情况。 利用因果图生成测试用例的基本步骤是： ? 分析软件规格说明描述中，哪些是原因（即输入条件或输入条件的等价类），哪些是结果（即输出条件），并给每个原因和结果赋予一个标识符。 ? 分析软件规格说明描述中的语义，找出原因与结果之间，原因与原因之间对应的是什么关系? 根据这些关系，画出因果图。 ? 由于语法或环境限制，有些原因与原因之间，原因与结果之间的组合情况不可能出现。为表明这些特殊情况，在因果图上用一些记号标明约束或限制条件。 ? 把因果图转换决策定表。 ? 把决策表的每一列拿出来作为依据，设计测试用例。 通常，在因果图中，用Ci表示原因，Ei表示结果，其基本符号如图5.15所示。各结点表示状态，可取值“0”或“1”。“0”表示某状态不出现，“1”表示某状态出现。 ? 恒等：若原因出现，则结果出现。若原因不出现，则结果也不出现。 ? 非：若原因出现，则结果不出现。若原因不出现，反而结果出现。 ? 或（∨）：若几个原因中有一个出现，则结果出现，几个原因都不出现，结果不出现。 ? 与（∧）：若几个原因都出现，结果才出现。若其中有一个原因不出现，结果不出现。 图5.15 因果图的图形符号 为了表示原因与原因之间，结果与结果之间可能存在的约束条件，在因果图中可以附加一些表示约束条件的符号。从输入（原因）考虑，有四种约束；从输出（结果）考虑，还有一种约束，参看图5.16： ? E（互斥）：表示a，b两个原因不会同时成立，两个中最多有一个可能成立。? I（包含）：表示a，b，c三个原因中至少有一个必须成立。 ? O（唯一）：表示a和b当中必须有一个，且仅有一个成立。? R（要求）：表示当a出现时，b必须也出现。不可能a出现，b不出现。 ? M（屏蔽）：表示当a是1时，b必须是0。而当a为0时，b的值不定。 图5.16 因果图的约束符号 【例】有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。 其规格说明如下：“若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。” ? 分析这一段说明，列出原因和结果 原因： 1.售货机有零钱找 3.投入5角硬币 5.押下啤酒按钮 2.投入1元硬币 4.押下橙汁按钮 结果： 21. 售货机〖零钱找完〗灯亮 24. 送出橙汁饮料 22. 退还1元硬币 25. 送出啤酒饮料 23. 退还5角硬币 ? 画出因果图，如图5.17所示。所有原因结点列在左边，所有结果结点列在右边。 建立两个中间结点，表示处理的中间状态。 中间结点： 11. 投入1元硬币且押下饮料按钮 12. 押下〖橙汁〗或〖啤酒〗的按钮 13. 应当找5角零钱并且售货机有零钱找 14. 钱已付清 图5.17 因果图 ? 由于 2 与 3 ，4 与 5 不能同时发生，分别加上约束条件E。? 转换成判定表： 图5.18 由因果图得到的判定表 在判定表中，阴影部分表示因违反约束条件的不可能出现的情况，删去。第16列与第32列因什么动作也没做，也删去。最后可根据剩下的16列作为确定测试用例的依据。 因果图方法是一个非常有效的黑盒测试方法，它能够生成没有重复性的且发现错误能力强的测试用例，而且对输入、输出同时进行了分析。 测试方法选择的综