【正文】 C=A）， （ 15） （ A≠ B） and（ B≠ C） and（ C≠ A）， （ 16） 是否等邊三角形 （ A=B） and（ B=C） and（ C=A）， （ 17） （ A≠ B）， （ 18） （ B≠ C）， （ 19） （ C≠ A）， （ 20） 第二章 軟件測(cè)試基本技術(shù) 25 表 測(cè)試用例列表 序號(hào) 【 A， B， C】 覆蓋等價(jià)類 輸 出 1 【 3， 4， 5】 （ 1），（ 2）， （ 3），（ 4），（ 5），（ 6） 一般三角形 2 【 0， 1， 2】 （ 7） 不能構(gòu)成三角形 3 【 1， 0， 2】 （ 8） 4 【 1， 2， 0】 （ 9） 5 【 1， 2， 3】 （ 10） 6 【 1， 3， 2】 （ 11） 7 【 3， 1， 2】 （ 12） 8 【 3， 3， 4】 （ 1），（ 2），（ 3），（ 4），（ 5），（ 6），（ 13） 等腰三角形 9 【 3， 4， 4】 （ 1），（ 2），（ 3），（ 4），（ 5），（ 6），（ 14） 10 【 3， 4， 3】 （ 1），（ 2），（ 3），（ 4），（ 5），（ 6），（ 15） 11 【 3， 4， 5】 （ 1），（ 2），（ 3），（ 4），（ 5），（ 6），（ 16） 非等腰三角形 12 【 3， 3， 3】 （ 1），（ 2），（ 3），（ 4），（ 5），（ 6），（ 17） 是等邊三角形 13 【 3， 4， 4】 （ 1），（ 2），（ 3），（ 4），（ 5），（ 6），（ 14），（ 18） 非等邊三角形 14 【 3， 4， 3】 （ 1），（ 2），（ 3），（ 4），（ 5），（ 6），（ 15），（ 19） 15 【 3， 3， 4】 （ 1），（ 2），（ 3），（ 4），（ 5），（ 6），（ 13），（ 20） 請(qǐng)記住，等價(jià)分配的 目標(biāo)是把可能的測(cè)試用例組合縮減到仍然足以滿足軟件測(cè)試需求為止。測(cè)試同一個(gè)復(fù)雜程序的兩個(gè)軟件測(cè)試員，可能會(huì)制定出兩組不同的等價(jià)區(qū)間。例如 ，在做三角形計(jì)算時(shí)，要輸入三角形的 3 個(gè)邊長(zhǎng) A、 B 和軟件測(cè)試方法與 測(cè)試過程的分析與研究 26 C。這里所說的邊界是指相當(dāng)于輸入等價(jià)類和輸出等價(jià)類而言，稍高于其邊界值及稍低于其邊界值的一些特定情況。 邊界條件是特殊情況，因?yàn)榫幊虖母旧险f不懷疑邊界有問題。看起來相當(dāng)簡(jiǎn)單。該程序?qū)嶋H上創(chuàng)建了一個(gè)從 data（ 0）～ data（ 10）共 11 個(gè)元素的數(shù)組。諸如此類的問題很常見，在復(fù)雜的大型軟件中，可能導(dǎo)致極其嚴(yán)重的軟件缺陷。而有些邊界在軟件內(nèi)部，最終用戶幾乎看不到，但是軟件測(cè)試仍有必要檢查。 軟件測(cè)試方法與 測(cè)試過程的分析與研究 28 ASCII表。 96 A 65 { 123 注意，表 不是結(jié)構(gòu)良好的連續(xù)表。小寫字母對(duì)應(yīng) 97～ 122。 因?yàn)檫@些值通常在軟件中進(jìn)行特殊處理，所以不要把它們與合法情況和非法情況混在一起，而要建立單獨(dú)的等價(jià)區(qū)間。 對(duì)邊界值設(shè)計(jì)測(cè)試用例，應(yīng)遵循以下幾條原則： ○ 1 如果輸入條件規(guī)定了值的范圍，則應(yīng)取剛達(dá)到這個(gè)范圍的邊界的值，以及剛剛超越這個(gè)范圍邊界的值作為測(cè)試輸入數(shù)據(jù)。⑤ 如果程序的規(guī)格說明給出的輸入域或輸出域是有序集合，則應(yīng)選取集合的第一個(gè)元素和最后一個(gè)元素作為測(cè)試用例。一般的在測(cè)試工作中測(cè)試人員通常不會(huì)單獨(dú)操作某個(gè)黑盒測(cè)試方法，而是在每個(gè)測(cè)試項(xiàng)目中都會(huì)用 到很多方法的所以我們?cè)谝院蟮臏y(cè)試工作中一定要發(fā)揮各種測(cè)試方法的特點(diǎn)綜合運(yùn)用已達(dá)到測(cè)試要求。靜態(tài)測(cè)試結(jié)果可用于進(jìn)一步的查錯(cuò)， 并為測(cè)試用例選取提供指導(dǎo)。此方法便于分析編碼實(shí)現(xiàn)與測(cè)試結(jié)果分析。通常，在設(shè)計(jì)了測(cè)試用例并通過評(píng)審之后，由測(cè)試人員根據(jù)測(cè)試用例中描述的規(guī)程一步步執(zhí)行測(cè)試，得到實(shí)際結(jié)果與期望結(jié)果的比較。如果軟件需求變動(dòng)過于頻繁，測(cè)試人員需要根據(jù)變動(dòng)的需求來更新測(cè)試用例以及相關(guān)的測(cè)試腳本，而腳本的維護(hù)本身就是一個(gè)代碼開發(fā)的過程，需要修改、調(diào)試，必要的時(shí)候還要修改自 第二章 軟件測(cè)試基本技術(shù) 31 動(dòng)化測(cè)試的框架，如果所花費(fèi)的成本不低于利用其節(jié)省的測(cè)試成本，那么自動(dòng)化測(cè)試便是失敗的。如果項(xiàng)目的周期比較短，沒有足夠的時(shí)間去支持這樣一個(gè)過程，那么自動(dòng)化測(cè)試便成為笑談。 自動(dòng)化測(cè)試過程 自動(dòng)化測(cè)試與軟件開發(fā)過程從本質(zhì)上來講是一樣的，無非是利用自動(dòng)化測(cè)試工具（相當(dāng)于軟件開發(fā)工具），經(jīng)過對(duì)測(cè)試需求的分析（軟件過程中的需求分析），設(shè)計(jì)出自動(dòng)化測(cè)試用例（軟件過程中的需求規(guī)格），從而搭建自動(dòng)化測(cè)試的框架（軟件過程中的概要設(shè)計(jì)），設(shè)計(jì)與編寫自動(dòng)化腳本（詳細(xì)設(shè)計(jì)與編碼），測(cè)試腳本的正確性，從而完成該套測(cè)試腳本（即主要功能為測(cè)試的應(yīng)用軟件）。而根據(jù)自動(dòng)化測(cè)試用例，我們很容易能夠定位出自動(dòng)化測(cè)試框架的典型要素： ①公用的對(duì)象。 ②公用的環(huán)境。 ④測(cè)試數(shù)據(jù)。眾所周知，開發(fā)過程的質(zhì)量決定了軟件的質(zhì)量，同樣的，測(cè)試過程的質(zhì)量將直接影響測(cè)試結(jié)果的準(zhǔn)確性和有效性。 軟件測(cè)試過程有四個(gè)模型，分別為： V 模型， W 模型， H 模型， X 模型。具體如圖 示。多個(gè)模塊可以平行地獨(dú) 立進(jìn)行單元測(cè)試。 在做內(nèi)外存交換時(shí)要考慮： 文件屬性是否正確； OPEN 與 CLOSE 語句是否正確；緩沖區(qū)容量與記錄長(zhǎng)度是否匹配；在進(jìn)行讀寫操作之前是否打開了文件；在結(jié)束文件處理時(shí)是否關(guān)閉了文件；正文書寫／輸入錯(cuò)誤； I／ O 錯(cuò)誤是否檢查并做了處理。應(yīng)當(dāng)設(shè)計(jì)測(cè)試用例查找由于錯(cuò)誤的計(jì) 算、不正確的比較或不正常的控制流而導(dǎo)致的錯(cuò)誤。對(duì)這些地方要仔細(xì)地選擇測(cè)試用例，認(rèn)真加以測(cè)試。樁模塊 (stub) ── 存根模塊用來模擬被測(cè)模塊工作過程中所調(diào)用的模塊。 對(duì)支持某些標(biāo)準(zhǔn)規(guī)程的程序，更要著手進(jìn)行互聯(lián)測(cè)試。 這時(shí)需要考慮的問題是：在把各個(gè)模塊連接起來的時(shí)候，穿越模塊接口的數(shù)據(jù)是否會(huì)丟失； 一個(gè)模塊的功能是否會(huì)對(duì)另一個(gè) 模塊的功能產(chǎn)生不利的影響；各個(gè)子功能組合起來，能否達(dá)到預(yù)期要求的父功能；全局?jǐn)?shù)據(jù)結(jié)構(gòu)是否有問題；單個(gè)模塊的誤差累積起來，是否會(huì)放大，從而達(dá)到不能接受的程度。 1. 一次性集成方式 (big bang) 它是一種非增殖式組裝方式 。 首先對(duì)一個(gè)個(gè)模塊進(jìn)行模塊測(cè)試，然后將這些模塊逐步組裝成較大的系統(tǒng)，在集成的過程中邊連接邊測(cè)試，以發(fā)現(xiàn)連接過程中產(chǎn)生的問題，通過增殖逐步組裝成為要求的軟件系統(tǒng)。選用按深度方向組裝的方式，可以首先實(shí)現(xiàn)和驗(yàn)證一個(gè)完整的軟件功能。在模塊的測(cè)試過程中需要從子模塊得到的信息可以直接運(yùn)行子模塊得到。衍變的自頂向下的增殖測(cè) 試，首先對(duì)輸入／輸出模塊和引入新算法模塊進(jìn)行測(cè)試 。然后對(duì)含寫操作的子系統(tǒng)做自頂向下的組裝與測(cè)試。 關(guān)鍵模塊的特征： ① 滿足某 些軟件需求； ② 在程序的模塊結(jié)構(gòu)中位于較高的層次（高層控制模塊）； ③ 較復(fù)雜、較易發(fā)生錯(cuò)誤； ④ 有明確定義的性能要求。它包含的信息就是軟件確認(rèn)測(cè)試的基礎(chǔ)。 通過實(shí)施預(yù)定的測(cè)試計(jì)劃和測(cè)試步驟，確定軟件的特性是否與需求相符；所有的文檔都是正確且便于使用；同時(shí)，對(duì)其它軟件需求，例如可移植性、兼容性、出錯(cuò)自動(dòng)恢復(fù)、可維護(hù)性等，也都要進(jìn)行測(cè)試 . 在全部軟件測(cè)試的測(cè)試用例運(yùn)行完后，所有的測(cè)試結(jié)果可以分為兩類 :測(cè)試結(jié)果與預(yù)期的結(jié)果相符。 2. 軟件配臵復(fù)查 軟件配臵復(fù)查的目的是保證；軟件配臵的所有成分都齊全；各方面的質(zhì)量都符合要求；具有維護(hù)階段所必需的細(xì)節(jié)；而且已經(jīng)編排好分類的目錄。 驗(yàn)收測(cè)試 在通過了系統(tǒng)的有效性測(cè)試及軟件配臵審查之后，就應(yīng)開始系統(tǒng)的驗(yàn)收測(cè)試。 在測(cè)試過程中，除了考慮軟件的功能和性能外，還應(yīng)對(duì)軟件的可移植性、兼容性、可維護(hù)性、錯(cuò)誤的恢復(fù)功能等進(jìn)行確認(rèn)。 回歸測(cè)試作為軟件生命周期的一個(gè)組成部分，在整個(gè)軟件測(cè)試過程中占有很大的工作量比重，軟件開發(fā)的各個(gè)階段都會(huì)進(jìn)行多次回歸測(cè)試。 一元二次方程求解程序的測(cè)試分析 （ 1）問題描述 輸入 3 個(gè)整型數(shù)作為一元二次方程的 ax2+bx+c=0 的系數(shù) a、 b、 c 的值。 4 a ca ! = 0d 0 a n d b = 0 a n d c ! = 0b ! = 0純 虛 數(shù) d 0 復(fù) 數(shù)d = 0 d 0相 對(duì) 實(shí) 數(shù)不 等 實(shí) 數(shù)c ! = 0 一 個(gè) 實(shí) 數(shù)無 解 無 窮 解輸 入 菜 單 選 擇選 項(xiàng) 不 為 0TTTTTFFF圖 一元二次方程求解程序測(cè)試分析流程圖 軟件測(cè)試方法與 測(cè)試過程的分析與研究 38 （ 3）測(cè)試方法選擇與分析 由于對(duì)一元二次方程的系數(shù) a、 b、 c 的取值范圍作出了限制，因此可以采用黑盒測(cè)試技術(shù)的邊界值分析法進(jìn)行測(cè)試。例如，如果輸入 a、 b、 c 的值滿足 a≠ 0 且 b24ac0，則此一元二次方程有兩個(gè)不等的實(shí)數(shù)解；若滿足 a≠ 0 且 b≠ 0，則此一元二次方程有一個(gè)實(shí)數(shù)解。程序中的 ifthenelse 結(jié)構(gòu)較為復(fù)雜，如果采用路徑覆蓋設(shè)計(jì)測(cè)試用例，則會(huì)造成窮舉測(cè)試。 第四章 軟件測(cè)試用例 39 BACEDGF 圖 舉例程序圖 5 條獨(dú)立路徑： P1： A、 B、 C、 G P2： A、 B、 C、 B、 C、 G P3： A、 B、 E、 F、 G P4： A、 D、 E、 F、 G P5： A、 D、 F、 G A、 B、 C、 B、 E、 F、 G 和 A、 B、 C、 B、 C、 B、 C、 G 都不是獨(dú)立 路徑。 表 邊界值分析測(cè)試用例 測(cè)試用例 A B c 預(yù)期輸出 Test1 5 5 100 一元二次方程有兩個(gè)不等的實(shí)數(shù)解！ Test2 5 5 99 一元二次方程有兩個(gè)不等的實(shí)數(shù)解！ Test3 5 5 5 一元二次方程有兩個(gè)不等的復(fù)數(shù)解！ Test4 5 5 99 一元二次方程有兩個(gè)不等的復(fù)數(shù)解！ Test5 5 5 100 一元二次方程有兩個(gè)不等的復(fù)數(shù)解！ Test6 5 100 5 一元二次方程有兩個(gè)不等的實(shí)數(shù)解 ！ Test7 5 99 5 一元二次方程有兩個(gè)不等的實(shí)數(shù)解！ Test8 5 99 5 一元二次方程有兩個(gè)不等的實(shí)數(shù)解！ Test9 5 100 5 一元二次方程有兩個(gè)不等的實(shí)數(shù)解！ 軟件測(cè)試方法與 測(cè)試過程的分析與研究 40 Test10 100 5 5 一元二次方程有兩個(gè)不等的實(shí)數(shù)解！ Test11 99 5 5 一元二次方程有兩個(gè)不等的實(shí)數(shù)解！ Test12 99 5 5 一元二次方程有兩個(gè)不等的復(fù)數(shù)解！ Test13 100 5 5 一元二次方程有兩個(gè)不等的復(fù)數(shù)解！ ② 等價(jià)類劃分法設(shè)計(jì)測(cè)試用例 等價(jià)類劃分測(cè)試的基本思 想是首先劃分合理的和不合理的等價(jià)類，選取每個(gè)等價(jià)類中的一個(gè)元素來設(shè)計(jì)測(cè)試用例。表 給出關(guān)于此一元二次方程的判定表。按照一元二次方程其解程序的功能，將輸入域劃分為如下 7 個(gè)等價(jià)類： D1：滿足 a≠ 0，且 b24ac0 的輸入數(shù)據(jù) D2：滿足 a≠ 0，且 b24ac=0 的輸入數(shù)據(jù) D3：滿足 a≠ 0，且 b24ac0 的輸入數(shù)據(jù) D4：滿足 a=0，且 b≠ 0 的輸入數(shù)據(jù) D5：滿足 a=0， b=0， c≠ 0 的輸入數(shù)據(jù) D6：滿足 a=0， b=0， c=0 的輸入數(shù)據(jù) D7：滿 足 a≠ 0，且 b24ac0， b=0， c≠ 0 的輸入數(shù)據(jù) 表 給出合理等價(jià)類的 7 個(gè)測(cè)試用例。 3 個(gè)變量 a、 b、 c 中的 2 個(gè)取正常值， 1個(gè)取處于邊界的極端值，構(gòu)成一個(gè)測(cè)試用例。 獨(dú)立路徑是指在程序圖的入口到出口之間，每次至少有一條語句（包括運(yùn)算、賦值、判斷、輸入、和輸出等）是新的未被重復(fù)執(zhí)行的（至少經(jīng)歷一條從未走過的?。?。 由于在此一元二次方程求解程序中， ifthenelse 邏輯很突出，輸入和輸出之間存在著因果關(guān)系，在所有的功能性測(cè)試方法中，還可以采用基于判定表的方法進(jìn)行黑盒測(cè)試。 等價(jià)類劃分測(cè)試將程序輸入劃分為若干個(gè)互不相交的子集 ，然后從每個(gè)子集中選取數(shù)據(jù)作為測(cè)試輸入。 如果輸入不滿足上述 3 個(gè)條 件之一，則程序輸出相應(yīng)的信息，如“ c 的取值不在允許的范圍內(nèi)”。因此，通過選擇正確的回歸測(cè)試策略來改進(jìn)回歸測(cè)試的效率和有效性是非常有意義的。 回歸測(cè)試 回歸測(cè)試是指修改了 舊代碼后，重新進(jìn)行測(cè)試以確認(rèn)修改沒有引入新的錯(cuò)誤或?qū)е缕渌a產(chǎn)生錯(cuò)誤。軟件開發(fā)人員和 QA（質(zhì)量保證）人員也應(yīng)參加。 系統(tǒng)測(cè)試 系統(tǒng)測(cè)試，是將通過確認(rèn)測(cè)試的軟件，作為整個(gè)基于計(jì)算機(jī)系統(tǒng)的一個(gè)元素，與計(jì)算機(jī)硬件、外設(shè)、某些支持軟件、數(shù)據(jù)和人員等其它系統(tǒng)元素結(jié)合在一起，在實(shí)際運(yùn)行環(huán)境下，對(duì)計(jì)算機(jī)系統(tǒng)進(jìn)行一系列的組裝測(cè)試和確認(rèn)測(cè)試。測(cè)試結(jié)果與預(yù)期的結(jié)果不符。 首先制定測(cè)試計(jì)劃，規(guī)定要做 測(cè)試的種類。任務(wù)是驗(yàn)證軟件的功能和性能及其它特性是否與用戶的要求一致。軟件測(cè)試方法與 測(cè)試過程的分析與研究 34 然后將這一部分視為子系統(tǒng)，再自底向上測(cè)試。