2) 約束
輸入狀態相互之間還可能存在某些依賴關系，稱為約束。例如, 某些輸入條件本身不可能同時出現。輸出狀態之間也往往存在約束。在因果圖中,用特定的符號標明這些約束。
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。
5. 采用因果圖法設計測試用例的步驟：
1) 分析軟件規格說明描述中, 那些是原因(即輸入條件或輸入條件的等價類),那些是結果(即輸出條件), 并給每個原因和結果賦予一個標識符。
2) 分析軟件規格說明描述中的語義，找出原因與結果之間, 原因與原因之間對應的關系，根據這些關系,畫出因果圖。 軟件測試
3) 由于語法或環境限制, 有些原因與原因之間,原因與結果之間的組合情況不可能出現，為表明這些特殊情況, 在因果圖上用一些記號表明約束或限制條件。
4) 把因果圖轉換為判定表。
5) 把判定表的每一列拿出來作為依據,設計測試用例。
二. 實戰演習
1. 某軟件規格說明書包含這樣的要求：第一列字符必須是A或B，第二列字符必須是一個數字，在此情況下進行文件的修改，但如果第一列字符不正確，則給出信息L;如果第二列字符不是數字，則給出信息。
解答：
1) 根據題意，原因和結果如下：
原因：
1——第一列字符是A;
2——第一列字符是B;
3——第二列字符是一數字。
文章來源于領測軟件測試網 http://www.kjueaiud.com/
