因果圖分析法例子

某軟件規格說明書包含這樣的要求：第一列字符必須是A或B，第二列字符必須是一個數字，在此狀況下進行文件的修改，但若是第一列字符不正確，則給出信息L；若是第二列字符不是數字，則給出信息M。

解答：

1.        根據需求，分析出緣由和結果以下：

       緣由：

            1——第一列字符是A；

            2——第一列字符是B；

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

       結果：

            21——修改文件；

              22 ——給出信息L；

            23——給出信息M。

中間狀態

      11——第一列字符已輸入

約束條件

一、2互斥

2.        其對應的因果圖以下： 

3.        根據因果圖創建斷定表。