【正文】 22 條 件 C1:month在 M1 M1 M1 M2 M2 M3 M3 M4 M4 M4 M4 M4 M4 C2:day在 D1D3 D4 D5 D1D4 D5 D1D4 D5 D1 D2 D2 D3 D3 D4,D5 C3:year在 Y1 Y2 Y1 Y2 動(dòng) 作 A1:不可能 √ √ √ A2:day加 1 √ √ √ √ √ A3:day復(fù)位 √ √ √ √ √ month加 1 √ √ √ √ month復(fù)位 √ A6:year加 1 √ 決策表法 ? 根據(jù)簡(jiǎn)化后的決策表，可設(shè)計(jì)測(cè)試用例如下表所示。 ? 當(dāng)某一規(guī)則的條件已經(jīng)滿足，并確定要執(zhí)行的操作后，不必檢驗(yàn)別的規(guī)則。 ? 在一些數(shù)據(jù)處理問(wèn)題當(dāng)中，某些操作的實(shí)施依賴于多個(gè)邏輯條件的組合，即：針對(duì)不同邏輯條件的組合值，分別執(zhí)行不同的操作。 分析這一段說(shuō)明，我們可以列出原因和結(jié)果。原因常常是輸入條件或是輸入條件的等價(jià)類，而結(jié)果是輸出條件。 ? 能夠幫助測(cè)試人員按照一定的步驟 ， 高效率的開(kāi)發(fā)測(cè)試用例 。 ? 邊界值分析法是基于可靠性理論中稱為 ? 單故障 ? 的假設(shè)，即有兩個(gè)或兩個(gè)以上故障同時(shí)出現(xiàn)而導(dǎo)致軟件失效的情況很少，也就是說(shuō)，軟件失效基本上是由單故障引起的。 項(xiàng) 范圍或值 位（ bit） 0 或 1 字節(jié)（ byte） 0 ~ 255 字（ word） 0~65535（單字）或 0~4294967295（雙字） 千（ K） 1024 兆（ M） 1048576 吉（ G） 1073741824 邊界值分析法 ? 次邊界－字符的邊界值檢驗(yàn)： 在計(jì)算機(jī)軟件中，字符也是很重要的表示元素，其中 ASCII和Unicode是常見(jiàn)的編碼方式。 ? 怎樣用邊界值分析法設(shè)計(jì)測(cè)試用例 ？ （ 1） 首先確定邊界情況 。 等價(jià)類劃分法 ? 在設(shè)計(jì)測(cè)試用例時(shí)，應(yīng)同時(shí)考慮有效等價(jià)類和無(wú)效等價(jià)類測(cè)試用例的設(shè)計(jì)。 ? 思考方向： 由于開(kāi)平方運(yùn)算只對(duì)非負(fù)實(shí)數(shù)有效，這時(shí)需要將所有的實(shí)數(shù)（輸入域 x）進(jìn)行劃分，可以分成：正實(shí)數(shù)、 0 和 負(fù)實(shí)數(shù)。 黑盒測(cè)試技術(shù)介紹 ? 黑盒的劃分（一） 事務(wù)流劃分 ： 節(jié)點(diǎn)代表事務(wù)的步驟，聯(lián)系代表步驟之間的連接關(guān)系 可以通過(guò)數(shù)據(jù)流圖輔助建立這個(gè)“關(guān)系圖” 數(shù)據(jù)流劃分 ： 節(jié)點(diǎn)代表數(shù)據(jù)結(jié)構(gòu)，聯(lián)系代表數(shù)據(jù)結(jié)構(gòu)轉(zhuǎn)換為其他數(shù)據(jù)結(jié)構(gòu) 可以通過(guò)數(shù)據(jù)流圖輔助建立這個(gè)“關(guān)系圖” 黑盒測(cè)試技術(shù)介紹 ? 黑盒的劃分（二） UC事件流 ： 節(jié)點(diǎn)代表軟件系統(tǒng)的功能，聯(lián)系代表功能間的執(zhí)行順序和輸入輸出信息 可以通過(guò) UC圖和順序圖來(lái)輔助建立這個(gè)“關(guān)系圖” 有限狀態(tài)劃分 ： 節(jié)點(diǎn)表示用戶可見(jiàn)的狀態(tài)，聯(lián)系代表轉(zhuǎn)換為其他節(jié)點(diǎn)的轉(zhuǎn)換 可以通過(guò)狀態(tài)圖來(lái)輔助建立這個(gè)“關(guān)系圖” 第一章 軟件測(cè)試基礎(chǔ)知識(shí) 12 黑盒測(cè)試技術(shù)介紹 黑盒測(cè)試用例設(shè)計(jì)方法 等價(jià)類劃分法 邊界值分析法 因果圖法 決策表法 正交試驗(yàn)法 場(chǎng)景法 錯(cuò)誤推測(cè)法 綜合測(cè)試策略 黑盒測(cè)試技術(shù) 等價(jià)類是指某個(gè)輸入域的子集合 等價(jià)類劃分法：依據(jù)軟件需求說(shuō)明對(duì) 輸入的范圍 進(jìn)行 細(xì)分 ，然后再分出的每一個(gè)區(qū)域內(nèi)選取一個(gè)有 代表性 的測(cè)試數(shù)據(jù)開(kāi)展測(cè)試。利用有效等價(jià)類，能夠檢驗(yàn)程序是否實(shí)現(xiàn)了規(guī)格說(shuō)明中預(yù)先規(guī)定的功能和性能。 通常邊界值分析法是作為對(duì)等價(jià)類劃分法的補(bǔ)充 ， 這種情況下 ， 其測(cè)試用例來(lái)自等價(jià)類的邊界 。 邊界值分析法 ? 內(nèi)部邊界值分析： 在多數(shù)情況下，邊界值條件是基于應(yīng)用程序的功能設(shè)計(jì)而需要考慮的因素，可以從軟件的規(guī)格說(shuō)明或常識(shí)中得到，也是最終用戶可以很容易發(fā)現(xiàn)問(wèn)題的。 ? ⑥分析規(guī)格說(shuō)明，找出其他可能的邊界條件。 因果圖法 ? 因果圖法是基于這樣的一種思想：一些程序的功能可以用判定表 （ 或稱決策表 ） 的形式來(lái)表示 ， 并根據(jù)輸入條件的組合情況規(guī)定相應(yīng)的操作 。 ? R約束 (要求 )： a是 1時(shí)， b必須是 1，即 a為 1時(shí)， b不能為 0。 因果圖法 （ 1） 分析程序規(guī)格說(shuō)明中的原因和結(jié)果： （ 2） 畫(huà)出因果圖（編號(hào)為 10的中間結(jié)點(diǎn)是導(dǎo)出結(jié)果的進(jìn)一步原因）： c1 c2 c3 e1 10 e2 e3 ～ ∨ E ～ ∧ 原因 結(jié)果 c1：第一個(gè)字符是 e1：給出信息 N c2：第一個(gè)字符是 * e2：修改文件 c3：第二個(gè)字符是一個(gè)數(shù)字 e3：給出信息 M 因果圖法 （ 3）將因果圖轉(zhuǎn)換成如下所示的判定表： 1 2 3 4 5 6 7 8 條件： C1 C2 C3 10 1 1 1 1 1 0 1 0 1 1 1 0 0 1 0 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 動(dòng)作： e1 e2 e3 不可能 √ √ √ √ √ √ √ √ √ 測(cè)試用例 3 A *6 *B A1 GT 因果圖法 （ 4） 根據(jù)判定表中的每一列設(shè)計(jì)測(cè)試用例： 測(cè)試用例編號(hào) 輸入數(shù)據(jù) 預(yù)期輸出 1 3 修改文件 2 A 給出信息 M 3 *6 修改文件 4 *B 給出信息 M 5 A1 給出信息 N 6 GT 給出信息 N和信息 M 因果圖法 ? 實(shí)例 例如：有一個(gè)處理單價(jià)為 1元 5角錢(qián)的盒裝飲料的自動(dòng)售貨機(jī)軟件。 ? 決策表的概念：決策表是分析和表達(dá)多邏輯條件下執(zhí)行不同操作的情況的工具。 ? 適用于使用決策表設(shè)計(jì)測(cè)試用例的條件： ? 規(guī)格說(shuō)明以決策表形式給出，或較容易轉(zhuǎn)換為決策表。例如，如果輸入為： 1964年 8月 16日，則輸出為 1964年 8月 17日。 ? 若表中有兩條以上規(guī)則具有相同的動(dòng)作，并且在條件項(xiàng)之間存在極為相似的關(guān)系，便可以合并?？蓮淖詈?1行條件項(xiàng)開(kāi)始，逐行向上填滿。 （ 3） 填入條件項(xiàng)。 ③標(biāo)明約束條件。 因果圖法 ? 實(shí)例 用因果圖法測(cè)試以下程序。 ? 與：若 c1 和 c2 都是 1，則 e1 為 1，否則 e1 為 0。在此，我們將三角形每邊邊長(zhǎng)的取范圍值設(shè)值為 [1, 100] 。 (6) 如果程序中使用了一個(gè)內(nèi)部數(shù)據(jù)結(jié)構(gòu)，則應(yīng)當(dāng)選擇這個(gè)內(nèi)部數(shù)據(jù)結(jié)構(gòu)的邊界上的值作為測(cè)試用例。 ? 輸入 10，輸出 0和錯(cuò)誤提示。 例： 程序輸入條件為以字符 ‘ a‘開(kāi)頭、長(zhǎng)度為 8的字符串，并且字符串不包含 ‘ a‘~ ?z‘之外的其它字符，則有效等價(jià)類為滿足了上述所有條件的字符串，無(wú)效等價(jià)類為不以 ‘ a‘開(kāi)頭的字符串、長(zhǎng)度不為 8的字符串和包含了 ‘ a‘~ ?z‘之外其它字符的字符串 。 等價(jià)類劃分法 ? 等價(jià)類劃分具體方法如下 數(shù)值域：一個(gè)有效等價(jià)類，兩個(gè)無(wú)效等價(jià)類 數(shù)值：一個(gè)有效等價(jià)類，兩個(gè)無(wú)效等價(jià)類 集合中的某個(gè)元素：一個(gè)有效等價(jià)類，一個(gè)無(wú)效等價(jià)類 布爾式：一個(gè)有效等價(jià)類，一個(gè)個(gè)無(wú)效等價(jià)類 等價(jià)類劃分法 ? 等價(jià)類劃分準(zhǔn)則 ? 按照區(qū)間劃分 在輸入條件規(guī)定了取值范圍或值的個(gè)數(shù)的情況下，可以確定一個(gè)有效等價(jià)類和兩個(gè)無(wú)效等價(jià)類。第一章 軟件測(cè)試基礎(chǔ)知識(shí) 2 測(cè)試技術(shù)簡(jiǎn)介 黑盒測(cè)試技術(shù) 白盒測(cè)試技術(shù) 灰盒測(cè)試技術(shù) 性能測(cè)試技術(shù) 易用性測(cè)試技術(shù) 其它測(cè)試技術(shù) 手工測(cè)試和測(cè)試自動(dòng)化 靜態(tài)測(cè)試與動(dòng)態(tài)測(cè)試 本節(jié)課程內(nèi)容 測(cè)試概述內(nèi)容回歸 ? 什么是測(cè)試用例？ 為某個(gè)特殊目標(biāo)而編制的一組測(cè)試輸入、執(zhí)行條件以及預(yù)期結(jié)果，以便測(cè)試某個(gè)程序路徑或核實(shí)是否滿足某個(gè)特定需求，是執(zhí)行的最小實(shí)體。因此，可以合理的假定： ——測(cè)試某等價(jià)類的代表值就是等效于對(duì)于這一類其它值的測(cè)試。 等價(jià)類劃分法 ? 效等價(jià)類劃分舉例 例： 程序輸入 x取值于一個(gè)固定的枚舉類型 {1,3,7,15}，且程序 中對(duì)這 4個(gè)數(shù)值分別進(jìn)行了處理，則有效等價(jià)類為 x= x= x= x=15，無(wú)效等價(jià)類為 x≠1,3,7,15 的值的集合。對(duì)應(yīng)于 (ii) 和 (a) 。 (5) 如果程序的規(guī)格說(shuō)明給出的輸入域或輸出域是有序集合 （如有序表、順序文件等），則應(yīng)選取集合中的第一個(gè)和 最后一個(gè)元素作為測(cè)試用例。 從上表可以清楚看出，買(mǎi) 5件需要支付 5*5=25 如果買(mǎi) 11件，第一個(gè) 10件需要支付 10*5=50，第 11件需要支付 如果買(mǎi) 15件，需要支付 10*5+5*= 購(gòu)買(mǎi)數(shù)量 單價(jià)（元） 頭 10件 (即從第 1件到第 10件 ) 第二個(gè) 10件（即從第 11件到第 20件） 第三個(gè) 10件（即從第 21件到第 30件） 超過(guò) 30件 ? 邊界值分析法實(shí)例： 邊界值分析法 要測(cè)試的輸入值 選擇測(cè)試的理由 預(yù)期輸出（元） 1 第一個(gè)計(jì)價(jià)段的開(kāi)始 5 第一個(gè)計(jì)價(jià)段中的值，沒(méi)有考慮邊界 9 正好低于第二個(gè)計(jì)價(jià)段，或正好在第一個(gè)計(jì)價(jià)段的末尾 10 第一個(gè)計(jì)價(jià)段的極限 11 正好高于第一個(gè)計(jì)價(jià)段，正好進(jìn)入第二個(gè)計(jì)價(jià)段 16 第二個(gè)計(jì)價(jià)段中的值，沒(méi)有考慮邊界 19 正好低于第三個(gè)計(jì)價(jià)段，或正好在第二個(gè)計(jì)價(jià)段的末尾 20 第二個(gè)計(jì)價(jià)段的極限 21 正好高于第二個(gè)計(jì)價(jià)段，正好進(jìn)入第三個(gè)計(jì)價(jià)段 27 第三個(gè)計(jì)價(jià)段中的值，沒(méi)有考慮邊界 29 正好低于第四個(gè)計(jì)價(jià)段，或正好在第三個(gè)計(jì)價(jià)段的末尾 30 第三個(gè)計(jì)價(jià)段的極限 31 正好高于第四個(gè)計(jì)價(jià)段 50 高出第四個(gè)計(jì)價(jià)段底線很多 大宗購(gòu)買(mǎi)折扣例子的邊界值 ? 邊界值分析法實(shí)例： 邊界值分析法 ? 邊界值分析法測(cè)試舉例 ： ? 實(shí)例 1 三角形問(wèn)題的邊界值分析測(cè)試用例 在三角形問(wèn)題描述中，除了要求邊長(zhǎng)是整數(shù)外，沒(méi)有給出其它的限制條件。 ? 或：若 c1 或 c2 或 c3 是 1，則 e1 為 1，否則 e1 為 0。 ⑤為判定表中每一列表示的情況設(shè)計(jì)測(cè)試用例。 ②分析程序規(guī)格說(shuō)明的描述中語(yǔ)義的內(nèi)容，并將其表示成連接各個(gè)原因與各個(gè)結(jié)果的 ? 因果圖 ? 。 （ 2）