因果图方法最终生成的就是判定表。它适合于检查
程序输入条件的各种组合情况。
(1) 分析软件规格说明描述中,哪些是原因(即输入条件或输入条件的等价类),哪些是结果(即输出条件),并给每个原因和结果赋予一个标识符。
(2) 分析软件规格说明描述中的语义。找出原因与结果之间,原因与原因之间对应的关系. 根据这些关系,画出
因果图。
(3) 由于语法或环境限制,有些原因与原因之间,原因与结果之间的组合情况不可能出现. 为表明这些特殊情况,在
因果图上用一些记号标明约束或限制条件。
从
因果图生成的
测试用例(局部,组合关系下的)包括了所有输入数据的取TRUE与取FALSE的情况,构成的测试用例数目达到最少,且测试用例数目随输入数据数目的增加而线性地增加。
前面
因果图方法中已经用到了
判定表。判定表(Decision Table)是分析和表达多逻辑条件下执行不同操作的情况下的工具.在
程序设计发展的初期,判定表就已被当作编写程序的
辅助工具了.由于它可以把复杂的逻辑关系和多种条件组合的情况表达得既具体又明确。