ch功能性測(cè)試ppt課件-資料下載頁(yè)
2025-04-30 18:10本頁(yè)面
【正文】 202210 1 31 2022 2/1/20221114 12 15 2022 12/16/202215 12 31 2022 1/1/202216 2 15 2022 2/16/202217 2 28 2022 2/29/202218 2 28 2022 3/1/202219 2 29 2022 3/1/202220 2 29 2022 不可能2122 2 30 2022 不可能決策表適用范圍總結(jié)o 因?yàn)闆Q策表具有邏輯嚴(yán)格性，所以在所有功能性測(cè)試方法中，這種方法是最嚴(yán)格的。o 決策表最突出的優(yōu)點(diǎn)是，能夠?qū)?fù)雜的問(wèn)題按照各種可能的情況全部列舉出來(lái)，簡(jiǎn)明并避免遺漏o 利用決策表能夠設(shè)計(jì)出完整的測(cè)試用例集合o 運(yùn)用決策表設(shè)計(jì)測(cè)試用例可以將條件理解為輸入，將動(dòng)作理解為輸出作業(yè) 1作業(yè) 2作業(yè) 3Cause Effect Graphingo 因果圖法產(chǎn)生的背景： 等價(jià)類劃分法和邊界值分析方法都是著重考慮輸入條件，但沒(méi)有考慮輸入條件的各種組合、輸入條件之間的相互制約關(guān)系。這樣雖然各種輸入條件可能出錯(cuò)的情況已經(jīng)測(cè)試到了，但多個(gè)輸入條件組合起來(lái)可能出錯(cuò)的情況卻被忽視了 。o 因果圖法能夠幫助測(cè)試人員按照一定的步驟，高效率的開(kāi)發(fā)測(cè)試用例，以檢測(cè)程序輸入條件的各種組合情況，它是將自然語(yǔ)言轉(zhuǎn)化為形式語(yǔ)言規(guī)格說(shuō)明的一種嚴(yán)格方法，可以指出規(guī)格說(shuō)明存在的不完整性和二義性。因果圖法介紹o 因果圖法是基于這樣的一種思想：一些程序的功能可以用判定表（或稱決策表）的形式來(lái)表示，并根據(jù)輸入條件的組合情況規(guī)定相應(yīng)的操作。 即：因果圖法不過(guò)是決策表法的前期階段。我們也可以直接應(yīng)用決策表。o 因果圖法的定義：是一種利用圖解法分析輸入的各種組合情況，從而設(shè)計(jì)測(cè)試用例的方法，它適合于檢查程序輸入條件的各種組合情況。因果圖的基本符號(hào)原因原因 結(jié)果結(jié)果ci和 ei均可取值 0或 1， 0表示某狀態(tài)出現(xiàn)， 1表示某狀態(tài)不出現(xiàn)o 因果圖中使用 4種因果關(guān)系符號(hào)來(lái)表達(dá) 因果關(guān)系 ：c1 e1恒等c1 e1 非～c1或c2c3∨ e1c1與c2∧ e1因果圖的基本符號(hào)o 因果圖中的 4種基本關(guān)系 在因果圖的基本符號(hào)中，圖中的左結(jié)點(diǎn) ci表示輸入狀態(tài)（或稱原因），右結(jié)點(diǎn) ei表示輸出狀態(tài)（或稱結(jié)果）。 ci 與 ei 取值 0或 1， 0表示某狀態(tài)不出現(xiàn)， 1則表示某狀態(tài)出現(xiàn)。216。 恒等：若 c1 是 1，則 e1 也為 1，否則 e1 為 0。216。 非：若 c1 是 1，則 e1 為 0，否則 e1為 1。216。 或：若 c1 或 c2 或 c3 是 1，則 e1 為 1，否則 e1 為 0。216。 與：若 c1 和 c2 都是 1，則 e1 為 1，否則 e1 為 0。約束符號(hào)（ 1）o 因果圖中用來(lái)表示約束關(guān)系的約束符號(hào)：ab異Eab或Icab唯一ORab要求Mab強(qiáng)制a、 b至多有一個(gè)可能為至多有一個(gè)可能為 1不能同時(shí)為不能同時(shí)為 1a、 b、 c至少有一個(gè)必須為至少有一個(gè)必須為 1不能同時(shí)為不能同時(shí)為 0a、 b必須有一個(gè)必須有一個(gè)且僅有一個(gè)為且僅有一個(gè)為 1a為為 1時(shí)時(shí) b必須為必須為 1 結(jié)果結(jié)果 a是是 1，則結(jié)果，則結(jié)果 b強(qiáng)制為強(qiáng)制為 0約束符號(hào)（ 2）o 因果圖中的約束 在實(shí)際問(wèn)題中輸入狀態(tài)相互之間、輸出狀態(tài)相互之間可能存在某些依賴關(guān)系，稱為 “約束 ”。對(duì)于輸入條件之間的約束有 E（ Exclusive or）、 I（ In）、 O（ Only）、 R（ Request）四種約束，對(duì)于輸出條件的約束只有 M（ Mandate）約束。（ 1）原因與原因之間的約束216。 E約束 (異 )：輸入 a和 b中最多有一個(gè)可能為 1，即 a和 b不能同時(shí) 為 1。216。 I 約束 (或 )：輸入 a、 b、 c中至少有一個(gè)必須為 1，即 a、 b、 c不能同時(shí)為 0。216。 O約束 (唯一 )：輸入 a和 b必須有一個(gè)且僅有一個(gè)為 1。216。 R約束 (要求 )：輸入 a是 1時(shí)，輸入 b必須是 1，即 a為 1時(shí)， b不能為 0。（ 2）結(jié)果與結(jié)果之間的約束216。 M約束 (強(qiáng)制 )：若結(jié)果 a為 1，則結(jié)果 b強(qiáng)制為 0。o 分析程序規(guī)格說(shuō)明中哪些是原因，哪些是結(jié)果。原因常常是輸入條件或輸入條件的等價(jià)類；結(jié)果是輸出條件。o 根據(jù)語(yǔ)義連接原因和結(jié)果o 標(biāo)明約束條件o 因果圖轉(zhuǎn)換成判定表o 把判定表每一列寫(xiě)成測(cè)試用例畫(huà)因果圖例 1o 某軟件說(shuō)明書(shū)的一個(gè)要求：o 第一列字符必須是 A或 B，第二列字符必須是一個(gè)數(shù)字，在此情況下進(jìn)行文件的修改。但如果第一列字符不正確，則給出信息 L；如果第二列字符不是數(shù)字，則給出信息 M。Step1:列出原因和結(jié)果Step2:畫(huà)因果圖Step3:加約束條件Step4:建立判定表不可能出現(xiàn)應(yīng)排除例 2（中國(guó)象棋走馬下法）以中國(guó)象棋中馬的走法為例子，具體說(shuō)明：如果落點(diǎn)在棋盤(pán)外，則不移動(dòng)棋子；如果落點(diǎn)與起點(diǎn)不構(gòu)成日字型，則不移動(dòng)棋子；如果落點(diǎn)處有自己方棋子，則不移動(dòng)棋子；如果在落點(diǎn)方向的鄰近交叉點(diǎn)有棋子（絆馬腿），則不移動(dòng)棋子；如果不屬于 14條，且落點(diǎn)處無(wú)棋子，則移動(dòng)棋子；如果不屬于 14條，且落點(diǎn)處為對(duì)方棋子 (非老將 ) ，則移動(dòng)棋子并除去對(duì)方棋子；如果不屬于 14條，且落點(diǎn)處為對(duì)方老將，則移動(dòng)棋子，并提示戰(zhàn)勝對(duì)方，游戲結(jié)束。請(qǐng)繪制出因果圖和判定表，并給出相應(yīng)的測(cè)試用例。課堂練習(xí)（中國(guó)象棋走馬下法）o 第一步：分析原因和結(jié)果原因：落點(diǎn)在棋盤(pán)外；不構(gòu)成日字；落點(diǎn)有自方棋子；絆馬腿；落點(diǎn)無(wú)棋子；落點(diǎn)為對(duì)方棋子；落點(diǎn)為對(duì)方老將。結(jié)果：2不移動(dòng)；2移動(dòng)；2移動(dòng)己方棋子消除對(duì)方棋子；2移動(dòng)并戰(zhàn)勝對(duì)方。課堂練習(xí)（中國(guó)象棋跳馬下法）第二步：畫(huà)出因果圖可以判定程序中應(yīng)該包括 12個(gè)函數(shù)或方法課堂練習(xí)（中國(guó)象棋走馬下法）第三步：轉(zhuǎn)換成判定表 作業(yè) 1o 自動(dòng)售貨機(jī)問(wèn)題o 給出因果圖，由因果圖畫(huà)出決策表，并給出測(cè)試用例作業(yè) 2某 軟件的一個(gè)模塊的需求規(guī)格說(shuō)明書(shū)中描述：（ 1）年薪制員工：嚴(yán)重過(guò)失，扣年終風(fēng)險(xiǎn)金的 4%；過(guò)失，扣年終風(fēng)險(xiǎn)金的 2%。（ 2）非年薪制員工：嚴(yán)重過(guò)失，扣當(dāng)月薪資的 8%；過(guò)失，扣當(dāng)月薪資的 4%。 請(qǐng)繪制出因果圖和判定表，并給出相應(yīng)的測(cè)試用例。
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1