等价类、边界值判定输入条件项的合法性决策表、因果图判定输入.pdf

等价类、边界值：判定输入条件项的合法性 决策表、因果图：判定输入条件项的逻辑关系 决策表(判定表) 优点：它能把复杂的问题按各种可能的情况一一列举出来，简明而易于理解，也可避免遗漏。 适用条件： 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 明