举例来讲解下因果图分析法

小贝流浪记

哪位高手 可以举例 来解释下因果图 。并根据因果图来写测试用例呢 ？不甚感激

hjwahjl

发帖也整好看些啊

chentianle1688

先学习下离散数学。

qingsang

怎么觉得很繁琐，然后
原因                结果      
第一个字符是A                给出信息L      
第一个字符是B                文件修改成功      
第一个字符是数字                给出信息M        

上面这一块原因和结果对不起来吧，是不是错了啊

19801106

呵呵，还是现场讲解吧

小劳劳

我怎么看都看不明白。。。。。

小贝流浪记

好繁琐

lihuan5577

第一列字符必须是A或B，第二列字符必须是一个数字，在此情况下进行文件的修改。但如果第一列字符不正确，则给出信息L，如果第二列字符不是数字，则给出信息M。
                       
                       
原因                结果       
第一个字符是A                给出信息L       
第一个字符是B                文件修改成功       
第一个字符是数字                给出信息M       

localimg=400,210]1[/localimg]

TIPS:
所谓因果图就是由原因和结果组成的
因果图4种关系和5种约束
关系：恒等，非，或，与
约束：
I约束（或）：ＡＢＣ中至少有一个必须是真（１），即ＡＢＣ不能同是为假（０）
E约束（异）：Ａ和Ｂ中最多有一个可能为真（１），即Ａ和Ｂ不能同时为真（１）
O约束（惟一）：A和B必须有一个且仅有一个为真（1）
R约束（要求）：A是真（1）时，B必须是真（1），即A是真（1）时，B不能是假（0）

对于输出条件的约束只有M约束
M约束（强制）：若结果A是真（1），则结果B强制为假（0）

E（异）
A=1  B=0
A=0  B=1
A=0  B=0

I（或）
A=1  B=1  C=1
A=1  B=1  C=0
A=1  B=0  C=1
A=1  B=0  C=0
A=0  B=1  C=1
A=0  B=1  C=0
A=0  B=0  C=1
（以上情况允许）
A=0  B=0  C=0  (这种情况不允许)

O（惟一）
A=1  B=0
A=0  B=1

R（要求）
A=1  B=1
A=0  B=1
A=0  B=0



然后就可以写出测试用例了

lihuan5577

第一列字符必须是A或B，第二列字符必须是一个数字，在此情况下进行文件的修改。但如果第一列字符不正确，则给出信息L，如果第二列字符不是数字，则给出信息M。
                       
                       
原因                结果       
第一个字符是A                给出信息L       
第一个字符是B                文件修改成功       
第一个字符是数字                给出信息M       



TIPS:
所谓因果图就是由原因和结果组成的
因果图4种关系和5种约束
关系：恒等，非，或，与
约束：
I约束（或）：ＡＢＣ中至少有一个必须是真（１），即ＡＢＣ不能同是为假（０）
E约束（异）：Ａ和Ｂ中最多有一个可能为真（１），即Ａ和Ｂ不能同时为真（１）
O约束（惟一）：A和B必须有一个且仅有一个为真（1）
R约束（要求）：A是真（1）时，B必须是真（1），即A是真（1）时，B不能是假（0）

对于输出条件的约束只有M约束
M约束（强制）：若结果A是真（1），则结果B强制为假（0）

E（异）
A=1  B=0
A=0  B=1
A=0  B=0

I（或）
A=1  B=1  C=1
A=1  B=1  C=0
A=1  B=0  C=1
A=1  B=0  C=0
A=0  B=1  C=1
A=0  B=1  C=0
A=0  B=0  C=1
（以上情况允许）
A=0  B=0  C=0  (这种情况不允许)

O（惟一）
A=1  B=0
A=0  B=1

R（要求）
A=1  B=1
A=0  B=1
A=0  B=0



然后就可以写出测试用例了

lihuan5577

第一列字符必须是A或B，第二列字符必须是一个数字，在此情况下进行文件的修改。但如果第一列字符不正确，则给出信息L，如果第二列字符不是数字，则给出信息M。
                       
                       
原因                结果       
第一个字符是A                给出信息L       
第一个字符是B                文件修改成功       
第一个字符是数字                给出信息M       

[localimg=400,210]1[/localimg]

TIPS:
所谓因果图就是由原因和结果组成的
因果图4种关系和5种约束
关系：恒等，非，或，与
约束：
I约束（或）：ＡＢＣ中至少有一个必须是真（１），即ＡＢＣ不能同是为假（０）
E约束（异）：Ａ和Ｂ中最多有一个可能为真（１），即Ａ和Ｂ不能同时为真（１）
O约束（惟一）：A和B必须有一个且仅有一个为真（1）
R约束（要求）：A是真（1）时，B必须是真（1），即A是真（1）时，B不能是假（0）

对于输出条件的约束只有M约束
M约束（强制）：若结果A是真（1），则结果B强制为假（0）

E（异）
A=1  B=0
A=0  B=1
A=0  B=0

I（或）
A=1  B=1  C=1
A=1  B=1  C=0
A=1  B=0  C=1
A=1  B=0  C=0
A=0  B=1  C=1
A=0  B=1  C=0
A=0  B=0  C=1
（以上情况允许）
A=0  B=0  C=0  (这种情况不允许)

O（惟一）
A=1  B=0
A=0  B=1

R（要求）
A=1  B=1
A=0  B=1
A=0  B=0


                1        2        3        4        5        6
输入条件        1字符是A        1        1        0        0        0        1
        2字符是B        0        0        1        1        0        1
        3字符是数字 0        1        0        1        0        1       
中间结点        11输入一个字符成功0        1        1        1        1        0       
输出条件        21给出信息L   1        0        0        0        0        1       
        22文件修改成功 0        1        0        1        0        0       
        23给出信息M   0        0        1        0        1        0

lihuan5577

第一列字符必须是A或B，第二列字符必须是一个数字，在此情况下进行文件的修改。但如果第一列字符不正确，则给出信息L，如果第二列字符不是数字，则给出信息M。根据以上结果画出判定表                       
                       
原因                结果       
第一个字符是A                给出信息L       
第一个字符是B                文件修改成功       
第一个字符是数字                给出信息M       

TIPS:
所谓因果图就是由原因和结果组成的
因果图4种关系和5种约束
关系：恒等，非，或，与
约束：
I约束（或）：ＡＢＣ中至少有一个必须是真（１），即ＡＢＣ不能同是为假（０）
E约束（异）：Ａ和Ｂ中最多有一个可能为真（１），即Ａ和Ｂ不能同时为真（１）
O约束（惟一）：A和B必须有一个且仅有一个为真（1）
R约束（要求）：A是真（1）时，B必须是真（1），即A是真（1）时，B不能是假（0）

对于输出条件的约束只有M约束
M约束（强制）：若结果A是真（1），则结果B强制为假（0）

E（异）
A=1  B=0
A=0  B=1
A=0  B=0

I（或）
A=1  B=1  C=1
A=1  B=1  C=0
A=1  B=0  C=1
A=1  B=0  C=0
A=0  B=1  C=1
A=0  B=1  C=0
A=0  B=0  C=1
（以上情况允许）
A=0  B=0  C=0  (这种情况不允许)

O（惟一）
A=1  B=0
A=0  B=1

R（要求）
A=1  B=1
A=0  B=1
A=0  B=0


                1        2        3        4        5        6
输入条件        1字符是A        1        1        0        0        0        1
        2字符是B        0        0        1        1        0        1
        3字符是数字        1        0        1        0        1        0
中间结点        11输入一个字符成功        1        1        1        1        0        0
输出条件        21给出信息L        0        0        0        0        1        1
        22文件修改成功        1        0        1        0        0        0
        23给出信息M        0        1        0        1        0        0