因果图

.因果图分析法

(1)概念：充分考虑了输入情况的各种组合及输入条件之间的相互制约关系。既可以提高效率，也可以支出程序规格中存在的问题。

(2)因果图生成测试用例的基本步骤：

(3)

 分析软件规格说明描述：原因、结果、标识符

‚ 分析软件规格说明描述中的语义：找出逻辑关系

ƒ 由于语法或环境限制，有些原因与原因之间，原因与结果之间的组合情况不可能出现，添加必要的约束条件；

„ 把因果图转换成判定表；

† 把判定表的每一列拿出来作为依据，设计测试用例；

(3)因果图标识 

 ①恒等：若C1是1，则E1也是1；否则E1为0。

②非：若C1是1，则E1是0；否则E1是1。

③或：若c1或c2是1，则E1是1；否则E1为0，或”可有任意个输入。

④与：若c1和c2都是1，则E1为1；否则E1为0, 与”也可有任意个输入。

(4)因果图约束 

A.输入条件的约束有以下4类：  

① E约束（互斥/异）：a和b中至多有一个可能为1，即a和b不能同时为1。

② I约束（或）：a、b和c中至少有一个必须是1，即 a、b 和c不能同时为0。

③ O约束（唯一）；a和b必须有一个，且仅有1个为1。

④R约束（要求）：a是1时，b必须是1，即不可能a是1时b是0。

B.输出条件约束类型

输出条件的约束只有M约束（屏蔽/强制）：若结果a是1，则结果b强制为0。