【導(dǎo)讀】誤，而不能證明程序無錯(cuò)。也就是說軟件測(cè)試就是使用人工或者自動(dòng)手段來。預(yù)期結(jié)果與實(shí)際結(jié)果之間的差別。好的測(cè)試方案是極可能發(fā)現(xiàn)迄今為止尚未發(fā)現(xiàn)的錯(cuò)誤的測(cè)試方案；成功的測(cè)試是發(fā)現(xiàn)了至今為止尚未發(fā)現(xiàn)的錯(cuò)誤的測(cè)試。的唯一目的,查找不出錯(cuò)誤的測(cè)試就是沒有價(jià)值的測(cè)試,實(shí)際上并非如此!的效率和有效性；的隨意性，以避免發(fā)生疏漏或者重復(fù)無效的工作；進(jìn)行全面檢查；、測(cè)試計(jì)劃、測(cè)試報(bào)告和最終分析報(bào)告，以備回歸測(cè)試及維護(hù)之用。白盒測(cè)試和黑盒測(cè)試。不論是黑盒測(cè)試方法還是白盒測(cè)試方法，由于測(cè)試情況數(shù)量。為了降低測(cè)試成本，選擇測(cè)試用例時(shí)應(yīng)注意遵守“經(jīng)濟(jì)性”的原則。通常人們把軟件測(cè)試技術(shù)歸結(jié)為兩大類：白盒測(cè)試和黑盒測(cè)試。白盒測(cè)試法的覆蓋標(biāo)準(zhǔn)有邏輯覆蓋、循環(huán)覆蓋和基本路徑測(cè)試。試分支結(jié)構(gòu)，循環(huán)覆蓋測(cè)試循環(huán)結(jié)構(gòu)。

　　

【正文】 殖式集成方式。 1. 一次性集成方式 (big bang) 它是一種非增殖式組裝方式 。也叫做整體拼裝。 使用這種方式，首先對(duì)每個(gè)模塊分別進(jìn)行模塊測(cè)試，然后再把所有模塊組裝在一起進(jìn)行測(cè)試，最終得到要求的軟件系統(tǒng)。 2. 增殖式集成方式 第三章 軟件測(cè)試的過程 33 這種集成方式又稱漸增式集成。 首先對(duì)一個(gè)個(gè)模塊進(jìn)行模塊測(cè)試，然后將這些模塊逐步組裝成較大的系統(tǒng)，在集成的過程中邊連接邊測(cè)試，以發(fā)現(xiàn)連接過程中產(chǎn)生的問題，通過增殖逐步組裝成為要求的軟件系統(tǒng)。 (1) 自頂向下的增殖方式。這種集成方式將模塊按系統(tǒng)程序結(jié)構(gòu)，沿控制層次自頂向下進(jìn)行組裝。自頂向下的增殖方式在測(cè)試過程中較早地驗(yàn)證了主要的控制和判斷 點(diǎn)。選用按深度方向組裝的方式，可以首先實(shí)現(xiàn)和驗(yàn)證一個(gè)完整的軟件功能。 (2) 自底向上的增殖方式。這種集成的方式是從程序模塊結(jié)構(gòu)的最底層的模塊開始集成和測(cè)試。 因?yàn)槟K是自底向上進(jìn)行組裝，對(duì)于一個(gè)給定層次的模塊，它的子模塊（包括子模塊的所有下屬模塊）已經(jīng)組裝并測(cè)試完成，所以不再需要樁模塊。在模塊的測(cè)試過程中需要從子模塊得到的信息可以直接運(yùn)行子模塊得到。 自頂向下增殖的方式和自底向上增殖的方式各有優(yōu)缺點(diǎn)。一般來講，一種方式的優(yōu)點(diǎn)是另一種方式的缺點(diǎn)。 (3) 混合增殖式測(cè)試。衍變的自頂向下的增殖測(cè) 試，首先對(duì)輸入／輸出模塊和引入新算法模塊進(jìn)行測(cè)試 。再自底向上組裝成為功能相當(dāng)完整且相對(duì)獨(dú)立的子系統(tǒng) 。然后由主模塊開始自頂向下進(jìn)行增殖測(cè)試。 自底向上 自頂向下的增殖測(cè)試，首先對(duì)含讀操作的子系統(tǒng)自底向上直至根結(jié)點(diǎn)模塊進(jìn)行組裝和測(cè)試 。然后對(duì)含寫操作的子系統(tǒng)做自頂向下的組裝與測(cè)試。 回歸測(cè)試，這種方式采取自頂向下的方式測(cè)試被修改的模塊及其子模塊 。軟件測(cè)試方法與 測(cè)試過程的分析與研究 34 然后將這一部分視為子系統(tǒng)，再自底向上測(cè)試。 關(guān)鍵模塊問題，在組裝測(cè)試時(shí)，應(yīng)當(dāng)確定關(guān)鍵模塊，對(duì)這些關(guān)鍵模塊及早進(jìn)行測(cè)試。 關(guān)鍵模塊的特征： ① 滿足某 些軟件需求； ② 在程序的模塊結(jié)構(gòu)中位于較高的層次（高層控制模塊）； ③ 較復(fù)雜、較易發(fā)生錯(cuò)誤； ④ 有明確定義的性能要求。 確認(rèn)測(cè)試 確認(rèn)測(cè)試又稱有效性測(cè)試。任務(wù)是驗(yàn)證軟件的功能和性能及其它特性是否與用戶的要求一致。對(duì)軟件功能和性能要求在軟件需求規(guī)格說明書中已經(jīng)明確規(guī)定。它包含的信息就是軟件確認(rèn)測(cè)試的基礎(chǔ)。 1. 進(jìn)行有效性測(cè)試（黑盒測(cè)試） 有效性測(cè)試是在模擬的環(huán)境 (可能就是開發(fā)的環(huán)境 ) 下，運(yùn)用黑盒測(cè)試的方法，驗(yàn)證被測(cè)軟件是否滿足需求規(guī)格說明書列出的需求。 首先制定測(cè)試計(jì)劃，規(guī)定要做 測(cè)試的種類。還需要制定一組測(cè)試步驟，描述具體的測(cè)試用例。 通過實(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é)果相符。這說明軟件的這部分功能或性能特征與需求規(guī)格說明書相符合，從而這部分程序被接受。測(cè)試結(jié)果與預(yù)期的結(jié)果不符。這 第三章 軟件測(cè)試的過程 35 說明軟件的這部分功能或性能特征與需求規(guī)格說明不一致，因此要為它提交一 份問題報(bào)告。 2. 軟件配臵復(fù)查 軟件配臵復(fù)查的目的是保證；軟件配臵的所有成分都齊全；各方面的質(zhì)量都符合要求；具有維護(hù)階段所必需的細(xì)節(jié)；而且已經(jīng)編排好分類的目錄。應(yīng)當(dāng)嚴(yán)格遵守用戶手冊(cè)和操作手冊(cè)中規(guī)定的使用步驟，以便檢查這些文檔資料的完整性和正確性。 系統(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è)試。 系統(tǒng)測(cè)試的目的在于通過與系統(tǒng)的需求定 義作比較 , 發(fā)現(xiàn)軟件與系統(tǒng)的定義不符合或與之矛盾的地方。 驗(yàn)收測(cè)試 在通過了系統(tǒng)的有效性測(cè)試及軟件配臵審查之后，就應(yīng)開始系統(tǒng)的驗(yàn)收測(cè)試。驗(yàn)收測(cè)試是以用戶為主的測(cè)試。軟件開發(fā)人員和 QA（質(zhì)量保證）人員也應(yīng)參加。由用戶參加設(shè)計(jì)測(cè)試用例，使用生產(chǎn)中的實(shí)際數(shù)據(jù)進(jìn)行測(cè)試。 在測(cè)試過程中，除了考慮軟件的功能和性能外，還應(yīng)對(duì)軟件的可移植性、兼容性、可維護(hù)性、錯(cuò)誤的恢復(fù)功能等進(jìn)行確認(rèn)。確認(rèn)測(cè)試應(yīng)交付的文檔有：確認(rèn)測(cè)試分析報(bào)告，最終的用戶手冊(cè)和操作手冊(cè)，項(xiàng)目開發(fā)總結(jié)報(bào)軟件測(cè)試方法與 測(cè)試過程的分析與研究 36 告。 回歸測(cè)試 回歸測(cè)試是指修改了 舊代碼后，重新進(jìn)行測(cè)試以確認(rèn)修改沒有引入新的錯(cuò)誤或?qū)е缕渌a產(chǎn)生錯(cuò)誤。自動(dòng)回歸測(cè)試將大幅降低系統(tǒng)測(cè)試、維護(hù)升級(jí)等階段的成本。 回歸測(cè)試作為軟件生命周期的一個(gè)組成部分，在整個(gè)軟件測(cè)試過程中占有很大的工作量比重，軟件開發(fā)的各個(gè)階段都會(huì)進(jìn)行多次回歸測(cè)試。在漸進(jìn)和快速迭代開發(fā)中，新版本的連續(xù)發(fā)布使回歸測(cè)試進(jìn)行的更加頻繁，而在極端編程方法中，更是要求每天都進(jìn)行若干次回歸測(cè)試。因此，通過選擇正確的回歸測(cè)試策略來改進(jìn)回歸測(cè)試的效率和有效性是非常有意義的。 第四章 軟件測(cè)試用例 35 第四章 軟件測(cè)試用例 目的 1．掌握黑盒測(cè)試方法在軟件測(cè)試 中的應(yīng)用； 2．掌握白盒測(cè)試方法在軟件測(cè)試中的應(yīng)用。 一元二次方程求解程序的測(cè)試分析 （ 1）問題描述 輸入 3 個(gè)整型數(shù)作為一元二次方程的 ax2+bx+c=0 的系數(shù) a、 b、 c 的值。整型數(shù) a、 b、 c 滿足以下條件： C1： 100≤ a≤ 100 C2： 100≤ b≤ 100 C3： 100≤ c≤ 100 程序的輸出是由這 3 個(gè)系數(shù)確定的一元二次方程的解的情況，有 7 種情況：無解、有一個(gè)實(shí)數(shù)解、有兩個(gè)相等的實(shí)數(shù)解、有兩個(gè)不等的實(shí)數(shù)解、有兩個(gè)純虛數(shù)解、有兩個(gè)不等的復(fù)數(shù)解、有無窮多個(gè)解。 如果輸入不滿足上述 3 個(gè)條 件之一，則程序輸出相應(yīng)的信息，如“ c 的取值不在允許的范圍內(nèi)”。 （ 2）流程圖（如圖 ）及程序代碼 (見附錄 A) 軟件測(cè)試方法與 測(cè)試過程的分析與研究 36 第四章 軟件測(cè)試用例 37 輸 入 a 、 b 、 cd = b 178。 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è)試。由于邊界值分析假設(shè)變量是完全獨(dú)立的，因此邊界值分析法具有一定的局限性，只能作為本程序的初步測(cè)試。 等價(jià)類劃分測(cè)試將程序輸入劃分為若干個(gè)互不相交的子集 ，然后從每個(gè)子集中選取數(shù)據(jù)作為測(cè)試輸入。此一元二次方程根據(jù)輸入變量 a、 b、 c 的值，決定其解的情況。例如，如果輸入 a、 b、 c 的值滿足 a≠ 0 且 b24ac0，則此一元二次方程有兩個(gè)不等的實(shí)數(shù)解；若滿足 a≠ 0 且 b≠ 0，則此一元二次方程有一個(gè)實(shí)數(shù)解。因此可以采用黑盒測(cè)試技術(shù)的等價(jià)類劃分法設(shè)計(jì)測(cè)試用例，對(duì)程序進(jìn)行測(cè)試。 由于在此一元二次方程求解程序中， ifthenelse 邏輯很突出，輸入和輸出之間存在著因果關(guān)系，在所有的功能性測(cè)試方法中，還可以采用基于判定表的方法進(jìn)行黑盒測(cè)試。 由于具有程序的源代碼，因此可以采 用白盒測(cè)試技術(shù)對(duì)程序進(jìn)行邏輯覆蓋測(cè)試。程序中的 ifthenelse 結(jié)構(gòu)較為復(fù)雜，如果采用路徑覆蓋設(shè)計(jì)測(cè)試用例，則會(huì)造成窮舉測(cè)試。我們采用獨(dú)立路徑的方法來設(shè)計(jì)測(cè)試用例，可以有效地提高測(cè)試的質(zhì)量和效率。 獨(dú)立路徑是指在程序圖的入口到出口之間，每次至少有一條語(yǔ)句（包括運(yùn)算、賦值、判斷、輸入、和輸出等）是新的未被重復(fù)執(zhí)行的（至少經(jīng)歷一條從未走過的弧）。 如圖 所示的程序圖從入口結(jié)點(diǎn) A 到出口結(jié)點(diǎn) G 之間共有 ５ 條獨(dú)立路徑，程序圖中的結(jié)點(diǎn) A、 B、 D、 C 為判定結(jié)點(diǎn)。 第四章 軟件測(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ú)立 路徑。 （ 4）設(shè)計(jì)測(cè)試用例 ① 邊界值分析法設(shè)計(jì)測(cè)試用例 邊界值測(cè)試的基本思想是在最小值、略大于最小值、正常值、略小于最大值、最大值處選取輸入變量 a、 b、 c 的值。 3 個(gè)變量 a、 b、 c 中的 2 個(gè)取正常值， 1個(gè)取處于邊界的極端值，構(gòu)成一個(gè)測(cè)試用例。一元二次方程求解程序輸入 3 個(gè)變量 的值，表 給出邊界值分析測(cè)試應(yīng)當(dāng)產(chǎn)生的 4 3+1=13 個(gè)測(cè)試用例。 表 邊界值分析測(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è)試用例。由于此一元二次方程求解程序的異常處理不是很重要，因此只對(duì)合理等價(jià)類設(shè)計(jì)測(cè)試用例進(jìn)行測(cè)試即可。按照一元二次方程其解程序的功能，將輸入域劃分為如下 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è)試用例。 表 等價(jià)類劃分測(cè)試用例 測(cè)試用例 a b C 預(yù)期輸出 Test1 5 15 5 一元二次方程有兩個(gè)不等的實(shí)數(shù)解！ Test2 2 8 8 一元二次方程有兩個(gè)相等的實(shí)數(shù)解！ Test3 5 5 5 一元二次方程有兩個(gè)不等的復(fù)數(shù)解！ Test4 0 5 5 一元二次方程有一個(gè)實(shí)數(shù)解！ Test5 0 0 5 一元二次方程無解！ Test6 0 0 0 一元二次方程有無窮多解！ Test7 5 0 5 一元二次方程有兩個(gè)純虛數(shù)解！ ③ 基于判定表方法設(shè)計(jì)測(cè)試用例 設(shè)計(jì)判定表，可以把條件解釋為輸入，把動(dòng)作解釋為輸出，再根據(jù)判定表設(shè) 第四章 軟件測(cè)試用例 41 計(jì)測(cè)試用例。表 給出關(guān)于此一元二次方程的判定表。 表 一元二次方程問題的判定 規(guī)則 1 2 3 4 5 6 7 條件 C1： a=0？ T T T F F F F C2： b=0？ T T F — — F T C3： c=0？ T F — — — F F C4： b24ac0 — — — T F F F C5： b24ac=0 — — — F T F F C6： b24ac0 — — — F F T T 動(dòng)作 A1： 一元二次方程無解！ √ A2： 一元二次方程有一個(gè)實(shí)數(shù)解！ √ A3： 一元二次方程有兩個(gè)相等的實(shí)數(shù)解！ √ A4： 一元二次方程有兩個(gè)不等的實(shí)數(shù)解！ √ A5： 一元二次方程有兩個(gè)不等的復(fù)數(shù)解！ √ A6： 一元二次方程有無窮多