黑盒測試-因果圖判定表

1、黑盒測試方法之因果圖、判定表RobertStrictly Private and Confidential因果圖因果圖因果圖方法（因果圖方法（Cause-Effect graphics）：一種黑盒測試方法。考慮輸入條件之間的聯(lián)系，）：一種黑盒測試方法?？紤]輸入條件之間的聯(lián)系，各種組合，相應(yīng)產(chǎn)生多個(gè)動作來設(shè)計(jì)測試用例。各種組合，相應(yīng)產(chǎn)生多個(gè)動作來設(shè)計(jì)測試用例。方法的依據(jù)：方法的依據(jù)： 需求規(guī)格說明中的因果關(guān)系。需求規(guī)格說明中的因果關(guān)系。因果圖介紹因果圖介紹 c1e1恒等恒等c1e1非非c1e1或或c2c3Vc1e1與與c2條件的約束條件的約束 輸入條件約束輸入條件約束abEE約束（異、排他）：約

2、束（異、排他）：a，b中至多有一個(gè)可能為中至多有一個(gè)可能為 1，即即a和和b不能同時(shí)為不能同時(shí)為1。acF（I）F約束（或、包含）：約束（或、包含）：a，b和和c中至少有一個(gè)必須為中至少有一個(gè)必須為 1，即即a，b和和c不能同時(shí)為不能同時(shí)為0。babG(O)G約束（唯一）：約束（唯一）：a，b中必須有一個(gè)且僅有一個(gè)為中必須有一個(gè)且僅有一個(gè)為 1。條件的約束 輸入條件的約束輸入條件的約束abRR約束（要求）：約束（要求）：a是是1時(shí)，時(shí)，b必須是必須是 1，即不可能即不可能a是是1時(shí)時(shí)b是是0。輸出條件的約束輸出條件的約束abMM約束（強(qiáng)制）：若約束（強(qiáng)制）：若a是是1時(shí)，則結(jié)果時(shí)，則結(jié)果b強(qiáng)制

3、為強(qiáng)制為0。 因果圖創(chuàng)建測試用例步驟分析需求中原因和結(jié)果。分析需求中原因和結(jié)果。將需求中的原因和結(jié)果連接成因果圖。將需求中的原因和結(jié)果連接成因果圖。把因果圖轉(zhuǎn)換成判定表。把因果圖轉(zhuǎn)換成判定表。把判定表中每一列表示的情況寫成測試用例。把判定表中每一列表示的情況寫成測試用例。例子例子u軟件規(guī)格說明書軟件規(guī)格說明書:u在在OVI地圖查找項(xiàng)中，輸入完全地址和模糊地址能查找出地址；輸入錯(cuò)誤或不輸入地址則提示錯(cuò)誤信息地圖查找項(xiàng)中，輸入完全地址和模糊地址能查找出地址；輸入錯(cuò)誤或不輸入地址則提示錯(cuò)誤信息或不顯示?；虿伙@示。例子例子原因和結(jié)果：原因和結(jié)果：原原 因：因：1-輸入精確地址；輸入精確地址；2-輸入模

4、糊地址；輸入模糊地址；3-輸入非正常地址；輸入非正常地址；結(jié)果：結(jié)果： 21-出現(xiàn)地址；出現(xiàn)地址；22-不出現(xiàn)地址；不出現(xiàn)地址；23-給出錯(cuò)誤信息；給出錯(cuò)誤信息；4-不輸入地址；不輸入地址；例子例子因果圖和具有約束的因果圖：因果圖和具有約束的因果圖：考慮到原因之間必須有一個(gè)且僅有一個(gè)為考慮到原因之間必須有一個(gè)且僅有一個(gè)為1，因此在因果圖上施加，因此在因果圖上施加G約束約束122122323G因果圖實(shí)例因果圖實(shí)例具有具有E約束的因果圖約束的因果圖41221223234例子例子 根據(jù)因果圖建立如下的判定表：根據(jù)因果圖建立如下的判定表：123456789 10 11 12 13 14 15 16條條

5、件件10000000011 11111120000111100 00111130011001100 11001140101010101 010101動動作作210011221000230100因果圖法優(yōu)缺點(diǎn)因果圖法優(yōu)缺點(diǎn) 優(yōu)點(diǎn)優(yōu)點(diǎn) 1、因果圖法能夠幫助我們按照一定步驟，高效的選擇測試用例，設(shè)計(jì)多個(gè)輸入條件組合用例、因果圖法能夠幫助我們按照一定步驟，高效的選擇測試用例，設(shè)計(jì)多個(gè)輸入條件組合用例. 2、因果圖分析還能為我們指出，軟件規(guī)格說明描述中存在的問題、因果圖分析還能為我們指出，軟件規(guī)格說明描述中存在的問題. 缺點(diǎn)缺點(diǎn) 1、輸入條件與輸出結(jié)果的因果關(guān)系，有時(shí)難以從軟件需求規(guī)格說明書得到、輸入條

6、件與輸出結(jié)果的因果關(guān)系，有時(shí)難以從軟件需求規(guī)格說明書得到. 2、即時(shí)得到了這些因果關(guān)系，也會因?yàn)橐蚬P(guān)系復(fù)雜導(dǎo)致因果圖非常龐大，測試用例數(shù)目及其龐大、即時(shí)得到了這些因果關(guān)系，也會因?yàn)橐蚬P(guān)系復(fù)雜導(dǎo)致因果圖非常龐大，測試用例數(shù)目及其龐大. 判定表驅(qū)動測試判定表驅(qū)動測試 是分析和表達(dá)多邏輯條件下執(zhí)行不同操作的情況下的工具，通常作為程序開發(fā)的輔助工具是分析和表達(dá)多邏輯條件下執(zhí)行不同操作的情況下的工具，通常作為程序開發(fā)的輔助工具. 規(guī)格說明以判定表形式給出規(guī)格說明以判定表形式給出,或很容易轉(zhuǎn)換成判定表或很容易轉(zhuǎn)換成判定表 .判定表的組成判定表的組成條件樁條件樁動作樁動作樁條件項(xiàng)條件項(xiàng)動作項(xiàng)動作項(xiàng)規(guī)則規(guī)

7、則條件樁（條件樁（Condition stub）動作樁（動作樁（Action stub）條件項(xiàng)（條件項(xiàng)（Condition Entity）動作項(xiàng)（動作項(xiàng)（Action Entity）判定表的建立步驟:（根據(jù)軟件規(guī)格說明）確定規(guī)則的個(gè)數(shù)確定規(guī)則的個(gè)數(shù).假如有假如有n個(gè)條件個(gè)條件.每個(gè)條件有兩個(gè)取值（每個(gè)條件有兩個(gè)取值（0,1）,故有故有 2n種規(guī)則種規(guī)則. 列出所有的條件樁和動作樁列出所有的條件樁和動作樁.填入條件項(xiàng)填入條件項(xiàng).填入動作項(xiàng)填入動作項(xiàng).等到初始判定表等到初始判定表.簡化簡化.合并相似規(guī)則（相同動作）合并相似規(guī)則（相同動作）. 例子例子 一張關(guān)于科技書閱讀指南的判定驅(qū)動表：一張關(guān)于科

8、技書閱讀指南的判定驅(qū)動表： 3個(gè)問題個(gè)問題8種情況種情況問題問題建議建議你覺得疲倦嗎？你覺得疲倦嗎？你對內(nèi)容感興趣嗎？你對內(nèi)容感興趣嗎？書中內(nèi)容使你糊涂嗎？書中內(nèi)容使你糊涂嗎？請回到本章開頭重讀請回到本章開頭重讀繼續(xù)讀下去繼續(xù)讀下去跳到下一章去讀跳到下一章去讀停止閱讀，請休息停止閱讀，請休息12345678YYYYYYYYYYYYNNNNNNNNNNNNXXXXXXXX規(guī)則化簡規(guī)則化簡 化簡化簡 就是規(guī)則和并就是規(guī)則和并 有兩條和多條規(guī)則具有相同的動作，并且其條件項(xiàng)之間存在著極為相似的關(guān)系。有兩條和多條規(guī)則具有相同的動作，并且其條件項(xiàng)之間存在著極為相似的關(guān)系。YYN NYNXXYN-XYY-NNNXXY-NX兩條規(guī)則和并成一條兩條規(guī)則和并成一條兩條規(guī)則進(jìn)一步和并兩條規(guī)則進(jìn)一步和并判定表優(yōu)缺點(diǎn)判定表優(yōu)缺點(diǎn) I. 優(yōu)點(diǎn)：它能把復(fù)雜的問題按各種可能的情況一一列舉出來，簡明而易于理解，也可避免遺漏。優(yōu)點(diǎn)：它能把復(fù)雜的問題按各種可能的情況一一列舉出來，簡明而易于理解，也可避免遺漏。 II. 缺點(diǎn)：不能表