字號: 小 中 大 |
推薦給好友
上一篇 |
下一篇
測試用例設計白皮書--因果圖分析方法
發布: 2008-5-28 13:28 |
作者: Vince |
來源:
http://blog.csdn.net/vincetest |
查看: 737次 | 進入軟件測試論壇討論
① 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。
1)分析軟件規格說明描述中, 那些是原因(即輸入條件或輸入條件的等價類),那些是結果(即輸出條件), 并給每個原因和結果賦予一個標識符。
2)分析軟件規格說明描述中的語義,找出原因與結果之間, 原因與原因之間對應的關系,根據這些關系,畫出因果圖。
3)由于語法或環境限制, 有些原因與原因之間,原因與結果之間的組合情況不可能出現,為表明這些特殊情況, 在因果圖上用一些記號表明約束或限制條件。
4)把因果圖轉換為判定表。