因果图分析法例子

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

解答：

1.        根据需求，分析出缘由和结果以下：

       缘由：

            1——第一列字符是A；

            2——第一列字符是B；

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

       结果：

            21——修改文件；

              22 ——给出信息L；

            23——给出信息M。

中间状态

      11——第一列字符已输入

约束条件

一、2互斥

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

3.        根据因果图创建断定表。