軟件測(cè)試基礎(chǔ)之白話測(cè)試設(shè)計(jì) -判定表

Definition

-定義是分析和表達(dá)多邏輯條件下執(zhí)行不同操作的情況的工具1.2.3.4.列出問(wèn)題所有的條件條件樁列出問(wèn)題規(guī)定可能采取的動(dòng)作動(dòng)作樁列出針對(duì)左列條件的取值條件項(xiàng)列出在條件項(xiàng)的各種取值情況下應(yīng)該采取的動(dòng)作動(dòng)作項(xiàng)問(wèn)題要求：”……對(duì)功率大于50馬力的機(jī)器、維修記錄不全或已運(yùn)行10年以上的機(jī)器，應(yīng)給予優(yōu)先的維修處理……”。這里假定，“維修記錄不全”和“優(yōu)先維修處理”均已在別處有更嚴(yán)格的定義。請(qǐng)建立判定表經(jīng)典問(wèn)題確定規(guī)則的個(gè)數(shù)

這里有3個(gè)條件，每個(gè)條件有兩個(gè)取值，故應(yīng)有2*2*2=8種規(guī)則。步驟1步驟2列出條件樁和動(dòng)作樁步驟3填入條件項(xiàng)，填入動(dòng)作樁和動(dòng)作項(xiàng)步驟3合并項(xiàng)因果圖法利用圖解法分析輸入的各種組合情況得出判定表因果關(guān)系因果圖中使用了簡(jiǎn)單的邏輯符號(hào)，以直線聯(lián)接左右結(jié)點(diǎn)。左結(jié)點(diǎn)表示輸入狀態(tài)（或稱原因），右結(jié)點(diǎn)表示輸出狀態(tài)（或稱結(jié)果）可取值0或1，0表示某狀態(tài)不出現(xiàn)，1表示某狀態(tài)出現(xiàn)。因果關(guān)系四種關(guān)系約束約束排他性約束排他性約束：各個(gè)原因之間不能同時(shí)為真，但可以同時(shí)為假。舉個(gè)例子，小明同學(xué)不可能同時(shí)屬于A班和B班，但可能既不是A班的，也不是B班的，而是C班的。包含性約束包含性約束：各個(gè)原因中總有一個(gè)為真。即可以同時(shí)為真，但不可以同時(shí)為假。舉個(gè)例子，支付寶買家付款時(shí)，有個(gè)輸入條件（既原因）是余額支付、網(wǎng)銀支付，買家可以選擇單獨(dú)余額支付或者單獨(dú)網(wǎng)銀支付，也可以同時(shí)選擇余額支付和網(wǎng)銀支付2種方式。但是不可以選擇不支付。必要性約束必要性約束：當(dāng)原因a為真時(shí)，原因b必須同時(shí)為真；但是原因b為真時(shí)，原因a既可以為真，也可以為假。舉數(shù)字證書(shū)的例子：現(xiàn)有的業(yè)務(wù)規(guī)則下，如果申請(qǐng)了數(shù)字證書(shū)（原因a），那么該用戶必然通過(guò)了支付寶認(rèn)證（原因b）。反之，如果用戶通過(guò)了支付寶認(rèn)證，那么不一定申請(qǐng)了數(shù)字證書(shū)（a）。唯一性約束唯一性約束：有且只有原因a和原因b中的一個(gè)為真。非此即彼，不存在第三種情況。舉例來(lái)說(shuō)，人的性別不是男，就是女，不會(huì)存在既不是男也不是女的人。結(jié)果約束掩碼標(biāo)記（結(jié)果約束）：如果結(jié)果b為真，那么結(jié)果a一定為假，如果結(jié)果b為假，則結(jié)果a的狀態(tài)不定。還拿支付寶來(lái)舉例子，先給出兩個(gè)結(jié)果：安全控件運(yùn)行正常（a），無(wú)法輸入登陸密碼（b）。如果無(wú)法輸入登陸密碼，那么可以判斷是安全控件沒(méi)有正常運(yùn)行，反過(guò)來(lái)，如果可以輸入登陸密碼，則不能確定安全控件一定工作正常，有可能是用了FireFox瀏覽器訪問(wèn)Alipay的。使用因果圖設(shè)計(jì)測(cè)試用例的步驟1.分析需求閱讀需求文檔，如果UserCase很復(fù)雜，盡量將它分解成若干個(gè)簡(jiǎn)單的部分。這樣做的好處是，不必在一次處理過(guò)程中考慮所有的原因。沒(méi)有固定的流程說(shuō)明究竟分解到何種程度才算簡(jiǎn)單，需要測(cè)試人員根據(jù)自己的經(jīng)驗(yàn)和業(yè)務(wù)復(fù)雜度具體分析。2.確定原因和結(jié)果在每個(gè)已經(jīng)分解好的塊中，找出哪些是原因，哪些是結(jié)果。并且把原因和結(jié)果分別畫(huà)出來(lái)。原因放在一列，結(jié)果放在一列。如下圖所示。3.確定邏輯關(guān)系繼續(xù)分析需求文檔，找出原因和結(jié)果之間的關(guān)系，用邏輯運(yùn)算符標(biāo)出。4.確定約束關(guān)系繼續(xù)分析需求，找出原因和原因、結(jié)果與結(jié)果之間的約束限制，用上面說(shuō)的約束關(guān)系標(biāo)出。5.把因果圖轉(zhuǎn)換為決策表給每個(gè)原因分別取真和假二種狀態(tài)，用0和1表示。畫(huà)一個(gè)有限項(xiàng)決策表，列出所有狀態(tài)的狀態(tài)組合。包含3個(gè)原因、2個(gè)結(jié)果的有限項(xiàng)決策表如下。6.根據(jù)原因給出結(jié)果上面的決策表中，不一定每個(gè)原因的狀態(tài)組合都是有效的。要根據(jù)因果圖中的約束條件，去掉不可能出現(xiàn)的組合，從決策表中標(biāo)記出來(lái)。并給出每個(gè)可能的原因組合對(duì)應(yīng)的結(jié)果。

某軟件規(guī)格說(shuō)明書(shū)包含這樣的要求：第一列字符必須是A或B，第二列字符必須是一個(gè)數(shù)字，在此情況下進(jìn)行文件的修改，但如果第一列字符不正確，則給出信息L；如果第二列字符不是數(shù)字，則給出信息M。案例原因：

1——第一列字符是A；

2——第一列字符是B；

3——第二列字符是一數(shù)字。

結(jié)果：

21——修改文件；

22——給出信息L；

23——給出信息M。原因結(jié)果因果圖判定表練習(xí)題某銷售系統(tǒng)的“供貨折扣計(jì)算模塊”，采用如下規(guī)則計(jì)算供貨折扣：當(dāng)客戶為批發(fā)型企業(yè)時(shí)，若訂貨數(shù)大于50件，發(fā)貨距離不超過(guò)50KM，則折扣率為15%