[工程科技]第4章黑盒測(cè)試-閱讀頁(yè)
2025-02-05 13:11本頁(yè)面
【正文】 year2022 測(cè)試用例的設(shè)計(jì)這里就略過(guò)，請(qǐng)同學(xué)們根據(jù)劃分好的等價(jià)類自行設(shè)計(jì)。因此針對(duì)各種邊界情況設(shè)計(jì)測(cè)試用例，可以查出更多的錯(cuò)誤。通常邊界值分析法是作為對(duì)等價(jià)類劃分法的補(bǔ)充，這種情況下，其測(cè)試用例來(lái)自等價(jià)類的邊界。 2)邊界值分析不僅考慮輸入條件，還要考慮輸出空間產(chǎn)生的測(cè)試情況。 例如，如果程序的規(guī)格說(shuō)明中規(guī)定： 重量在 10公斤至 50公斤范圍內(nèi)的郵件，其郵費(fèi)計(jì)算公式為 …… 。 520smart 邊界值分析方法選擇測(cè)試用例原則 2)如果輸入條件規(guī)定了值的個(gè)數(shù) ,則用最大個(gè)數(shù) ,最小個(gè)數(shù) ,比最小個(gè)數(shù)少一 ,比最大個(gè)數(shù)多一的數(shù)作為測(cè)試數(shù)據(jù)。 520smart 邊界值分析方法選擇測(cè)試用例原則 3)將規(guī)則 1）和 2）應(yīng)用于輸出條件，即設(shè)計(jì)測(cè)試用例使輸出值達(dá)到邊界值及其左右的值。 再如一程序?qū)儆谇閳?bào)檢索系統(tǒng)，要求每次 最少顯示 1條、最多顯示 4條情報(bào)摘要 ，這時(shí)我們應(yīng)考慮的測(cè)試用例包括 1和 4，還應(yīng)包括 0和 5等。 5)如果程序中使用了一個(gè)內(nèi)部數(shù)據(jù)結(jié)構(gòu) ,則應(yīng)當(dāng)選擇這個(gè)內(nèi)部數(shù)據(jù)結(jié)構(gòu)的邊界上的值作為測(cè)試用例。 520smart 例 1：分析以下代碼段 int a[10]。i=10。 很明顯，這段代碼的目的是創(chuàng)建包含 10個(gè)元素的數(shù)組，并為數(shù)組中的每一個(gè)元素賦初值 0。考慮輸入條件之間的相互組合，可能會(huì)產(chǎn)生一些新的情況。因此必須考慮采用一種適合于描述對(duì)于多種條件的組合，相應(yīng)產(chǎn)生多個(gè)動(dòng)作的形式來(lái)考慮設(shè)計(jì)測(cè)試用例。 因果圖方法最終生成的就是判定表，它適合于檢查程序輸入條件的各種組合情況。左結(jié)點(diǎn)表示輸入狀態(tài)（或稱原因），右結(jié)點(diǎn)表示輸出狀態(tài)（或稱結(jié)果）。 ci和 ei均可取值 0或 1， 0表示某狀態(tài)不出現(xiàn)，1表示某狀態(tài)出現(xiàn)。如上圖所示。 ②非：若 ci是 1，則 ei是 0；否則 ei是 1。“或”可有任意個(gè)輸入?！芭c”也可有任意個(gè)輸入。例如 , 某些輸入條件本身不可能同時(shí)出現(xiàn)。在因果圖中 ,用特定的符號(hào)標(biāo)明這些約束。 ② I約束（或）： a、 b和 c中至少有一個(gè)必須是 1，即 a、 b 和 c不能同時(shí)為 0。 ④ R約束（要求）： a是 1時(shí)，b必須是 1，即不可能 a是 1時(shí)b是 0。 520smart a a a a a b b b b b cE異I或O唯 一R M要 求強(qiáng) 制利用因果圖生成測(cè)試用例的步驟 (1) 分析軟件規(guī)格說(shuō)明描述中，那些是原因 (即輸入條件或輸入條件的等價(jià)類 )，那些是結(jié)果 (即輸出條件 ), 并給每個(gè)原因和結(jié)果賦予一個(gè)標(biāo)識(shí)符。找出原因與結(jié)果之間，原因與原因之間對(duì)應(yīng)的關(guān)系。 (3) 由于語(yǔ)法或環(huán)境限制，有些原因與原因之間 ,原因與結(jié)果之間的組合情況不不可能出現(xiàn)。 (4) 把因果圖轉(zhuǎn)換為判定表。 520smart 例 1 解答： 1) 根據(jù)題意，原因和結(jié)果如下： 原因： 1—— 第一列字符是 A； 2—— 第一列字符是 B； 3—— 第二列字符是一數(shù)字。 520smart 對(duì)應(yīng)的因果圖 其對(duì)應(yīng)的因果圖如下： 11為中間節(jié)點(diǎn)；考慮到原因 1和原因 2不可能同時(shí)為 1，因此在因果圖上施加 E約束，如圖所示。 2. 錯(cuò)誤推測(cè)方法的基本思想： 列舉出程序中所有可能有的錯(cuò)誤和容易發(fā)生錯(cuò)誤的特殊情況 ,根據(jù)他們選擇測(cè)試用例。 這些都是容易發(fā)生錯(cuò)誤的情況。 2) 再如，測(cè)試一個(gè)對(duì)線性表（比如數(shù)組）進(jìn)行排序的程序，可推測(cè)列出以下幾項(xiàng)需要特別測(cè)試的情況： 輸入的線性表為空表； 表中只含有一個(gè)元素； 輸入表中所有元素已排好序； 輸入表已按逆序排好； 輸入表中部分或全部元素相同。 功能圖模型由狀態(tài)遷移圖和邏輯功能模型構(gòu)成。 520smart 功能圖由狀態(tài)遷移圖和布爾函數(shù)組成。 520smart 從功能圖生成測(cè)試用例，得到的測(cè)試用例數(shù)是可接受的。問(wèn)題就轉(zhuǎn)化為程序的路徑測(cè)試問(wèn)題（如白盒測(cè)試）問(wèn)題了。 .但分辨一個(gè)狀態(tài)遷移中的所有循環(huán)是有困難的。 2)測(cè)試路徑生成：利用上面的規(guī)則（三種）生成從初始狀態(tài)到最后狀態(tài)的測(cè)試路徑。結(jié)果是初始狀態(tài)到最后狀態(tài)的一個(gè)狀態(tài)序列，以及每個(gè)狀態(tài)中輸入數(shù)據(jù)與對(duì)應(yīng)輸出數(shù)據(jù)的組合。 例如，輸入為 2022年 11月 29日，則該程序的輸出為 2022年12月 1日。 2)分析程序規(guī)格說(shuō)明，結(jié)合以上等價(jià)類劃分的情況給出問(wèn)題規(guī)定的可能采取的操作（即列出所有的動(dòng)作樁）。 520smart Q a
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1