第 7 章 基于决策表的测试前面介绍的等价类划分方法和边界值分析方法，都是着重考虑输入条件，但未考虑输入条件之间的联系，相互组合等。考虑输入条件之间的相互组合，可能会产生一些新的情况。但要检查输入条件的组合不是一件容易的事情，即使把所有输入条件划分成等价类，他们之间的组合情况也相当多。因此必须考虑采用一种适合于描述对于多种条件的组合，相应产生多个动作的形式来考虑设计测试用例。因果图方法是一种检查程序输入条件的各种组合情况的逻辑模型。使用因果图的好处 考虑了多个输入之间的相互组合、相互制约 关系 ； 能够帮助我们按一定步骤，高效率地选择测试用例，同时还能为我们指出，程序规格说明描述中存在着什么问题 。因果图法的原理1 ．因果图~c1e1c1e1c1e1c2c3c1c2e1(a)恒等(b)非(c)或(d)与图2.3 因果图的基本符号~c1e1c1e1c1e1c1e1c2c3c1c2e1(a)恒等(b)非(c)或(d)与图2.3 因果图的基本符号因果图法的原理bbaaabaabbcEIO异或或唯一RM要求强制图2.4 约束符号bbaaabaabbcEIO异或或唯一RM要求强制图2.4 约束符号因果图的基本符号恒等：若原因出现，则结果出现；若原因不出现，则结果不出现。非（～）：若原因出现，则结果不出现；若原因不出现，则结果出现。或（ V ）：若几个原因中有一个出现，则结果出现；若几个原因都不出现，则结果不出现。与（∧）：若几个原因都出现，结果才出现；若其中有一个原因不出现，则结果不出现。因果图的基本符号从输入（原因）考虑四种约束 E （异或）：表示两个原因不会同时成立，两个中最多有一个可能成立。 I （或）：表示三个原因中至少有一个必须成立。 O （惟一）：表示两个原因中必须有一个，且仅有一个成立。 R （要求）：表示两个原因， a 出现时， b也必须出现， a 出现时， b 不可能不出现。因果图的基本符号从输出（结果）考虑一种约束 M （强制）：两个结果， a 为 1 时， b 必须是 0 ，当 a 为 0 时， b 值不定。因果图方法利用因果图生成测试用例的基本步骤： 确定软件规格中的原因和结果。分析软件规格说明描述中，哪些是原因 ( 即输入条件或输入条件的等价类 ) ，哪些是结果 ( 即输出条件 ) ，并给每个原因和结果赋予一个标识符。 确定原因和结果之间的逻辑关系。分析软件规格说明描述中的语义。找出原因与结果之间，原因与原因之间对应的关系。根据这些关系，画出因果图。因果图方...
