因果图分析法例子

某软件规格说明书包含这样的要求：第一列字符必须是A或B，第二列字符必须是一个数字，在此情况下进行文件的修改，但如果第一列字符不正确，则给出信息L；如果第二列字符不是数字，则给出信息M。

解答：

1.        根据需求，分析出原因和结果如下：

       原因：

            1——第一列字符是A；

            2——第一列字符是B；

            3——第二列字符是一数字。

       结果：

            21——修改文件；

              22 ——给出信息L；

            23——给出信息M。

中间状态

      11——第一列字符已输入

约束条件

1、2互斥

2.        其对应的因果图如下： 

3.        根据因果图建立判定表。