基于决策表的测试课件.pptVIP

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