【正文】 表 給出關(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è)試用例。 表 邊界值分析測(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è)試用例。 3 個(gè)變量 a、 b、 c 中的 2 個(gè)取正常值， 1個(gè)取處于邊界的極端值，構(gòu)成一個(gè)測(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ú)立 路徑。 獨(dú)立路徑是指在程序圖的入口到出口之間，每次至少有一條語句（包括運(yùn)算、賦值、判斷、輸入、和輸出等）是新的未被重復(fù)執(zhí)行的（至少經(jīng)歷一條從未走過的?。?。程序中的 ifthenelse 結(jié)構(gòu)較為復(fù)雜，如果采用路徑覆蓋設(shè)計(jì)測(cè)試用例，則會(huì)造成窮舉測(cè)試。 由于在此一元二次方程求解程序中， ifthenelse 邏輯很突出，輸入和輸出之間存在著因果關(guān)系，在所有的功能性測(cè)試方法中，還可以采用基于判定表的方法進(jìn)行黑盒測(cè)試。例如，如果輸入 a、 b、 c 的值滿足 a≠ 0 且 b24ac0，則此一元二次方程有兩個(gè)不等的實(shí)數(shù)解；若滿足 a≠ 0 且 b≠ 0，則此一元二次方程有一個(gè)實(shí)數(shù)解。 等價(jià)類劃分測(cè)試將程序輸入劃分為若干個(gè)互不相交的子集 ，然后從每個(gè)子集中選取數(shù)據(jù)作為測(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è)試。 如果輸入不滿足上述 3 個(gè)條 件之一，則程序輸出相應(yīng)的信息，如“ c 的取值不在允許的范圍內(nèi)”。 一元二次方程求解程序的測(cè)試分析 （ 1）問題描述 輸入 3 個(gè)整型數(shù)作為一元二次方程的 ax2+bx+c=0 的系數(shù) a、 b、 c 的值。因此，通過選擇正確的回歸測(cè)試策略來改進(jìn)回歸測(cè)試的效率和有效性是非常有意義的。 回歸測(cè)試作為軟件生命周期的一個(gè)組成部分，在整個(gè)軟件測(cè)試過程中占有很大的工作量比重，軟件開發(fā)的各個(gè)階段都會(huì)進(jìn)行多次回歸測(cè)試。 回歸測(cè)試 回歸測(cè)試是指修改了 舊代碼后，重新進(jìn)行測(cè)試以確認(rèn)修改沒有引入新的錯(cuò)誤或?qū)е缕渌a產(chǎn)生錯(cuò)誤。 在測(cè)試過程中，除了考慮軟件的功能和性能外，還應(yīng)對(duì)軟件的可移植性、兼容性、可維護(hù)性、錯(cuò)誤的恢復(fù)功能等進(jìn)行確認(rèn)。軟件開發(fā)人員和 QA（質(zhì)量保證）人員也應(yīng)參加。 驗(yàn)收測(cè)試 在通過了系統(tǒng)的有效性測(cè)試及軟件配臵審查之后，就應(yīng)開始系統(tǒng)的驗(yàn)收測(cè)試。 系統(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è)試。 2. 軟件配臵復(fù)查 軟件配臵復(fù)查的目的是保證；軟件配臵的所有成分都齊全；各方面的質(zhì)量都符合要求；具有維護(hù)階段所必需的細(xì)節(jié)；而且已經(jīng)編排好分類的目錄。測(cè)試結(jié)果與預(yù)期的結(jié)果不符。 通過實(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é)果相符。 首先制定測(cè)試計(jì)劃，規(guī)定要做 測(cè)試的種類。它包含的信息就是軟件確認(rèn)測(cè)試的基礎(chǔ)。任務(wù)是驗(yàn)證軟件的功能和性能及其它特性是否與用戶的要求一致。 關(guān)鍵模塊的特征： ① 滿足某 些軟件需求； ② 在程序的模塊結(jié)構(gòu)中位于較高的層次（高層控制模塊）； ③ 較復(fù)雜、較易發(fā)生錯(cuò)誤； ④ 有明確定義的性能要求。軟件測(cè)試方法與 測(cè)試過程的分析與研究 34 然后將這一部分視為子系統(tǒng)，再自底向上測(cè)試。然后對(duì)含寫操作的子系統(tǒng)做自頂向下的組裝與測(cè)試。然后由主模塊開始自頂向下進(jìn)行增殖測(cè)試。衍變的自頂向下的增殖測(cè) 試，首先對(duì)輸入／輸出模塊和引入新算法模塊進(jìn)行測(cè)試 。一般來講，一種方式的優(yōu)點(diǎn)是另一種方式的缺點(diǎn)。在模塊的測(cè)試過程中需要從子模塊得到的信息可以直接運(yùn)行子模塊得到。這種集成的方式是從程序模塊結(jié)構(gòu)的最底層的模塊開始集成和測(cè)試。選用按深度方向組裝的方式，可以首先實(shí)現(xiàn)和驗(yàn)證一個(gè)完整的軟件功能。這種集成方式將模塊按系統(tǒng)程序結(jié)構(gòu)，沿控制層次自頂向下進(jìn)行組裝。 首先對(duì)一個(gè)個(gè)模塊進(jìn)行模塊測(cè)試，然后將這些模塊逐步組裝成較大的系統(tǒng)，在集成的過程中邊連接邊測(cè)試，以發(fā)現(xiàn)連接過程中產(chǎn)生的問題，通過增殖逐步組裝成為要求的軟件系統(tǒng)。 使用這種方式，首先對(duì)每個(gè)模塊分別進(jìn)行模塊測(cè)試，然后再把所有模塊組裝在一起進(jìn)行測(cè)試，最終得到要求的軟件系統(tǒng)。 1. 一次性集成方式 (big bang) 它是一種非增殖式組裝方式 。 子系統(tǒng)的集成測(cè)試特別稱為部件測(cè)試，它所做的工作是要找出集成后的子系統(tǒng)與系統(tǒng)需求規(guī)格說明之間的不一致。 這時(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á)到不能接受的程度。 集成測(cè)試 集成測(cè)試 (集成測(cè)試、聯(lián)合測(cè)試），通常，在單元測(cè)試的基礎(chǔ)上，需要將所有模塊按照設(shè)計(jì)要求組裝成為系統(tǒng)進(jìn)行集成測(cè)試。 對(duì)支持某些標(biāo)準(zhǔn)規(guī)程的程序，更要著手進(jìn)行互聯(lián)測(cè)試。 如果一個(gè)模塊 要完成多種功能，可以將這個(gè)模塊看成由幾個(gè)小程序組成。樁模塊 (stub) ── 存根模塊用來模擬被測(cè)模塊工作過程中所調(diào)用的模塊。 2. 單元測(cè)試的執(zhí)行過程 模塊并不是一個(gè)獨(dú)立的程序，在考慮測(cè)試模塊時(shí)，同時(shí)要考慮它和外界的聯(lián)系，用一些輔助模塊去模擬與被測(cè)模塊相聯(lián)系的其它模塊 [驅(qū)動(dòng)模塊 (driver), 用來模擬被測(cè)試模塊的上一級(jí)模塊，相當(dāng)于被測(cè)模塊的主程序。對(duì)這些地方要仔細(xì)地選擇測(cè)試用例，認(rèn)真加以測(cè)試。 (4) 錯(cuò)誤處理測(cè)試 錯(cuò)誤處理測(cè)試主要針對(duì)：出錯(cuò)的描述是否難以理解，出錯(cuò)的描述是否能夠?qū)﹀e(cuò)誤定位，顯示的錯(cuò)誤與實(shí)際的錯(cuò)誤是否相符，對(duì)錯(cuò)誤條件的處理正確與否，在對(duì)錯(cuò)誤進(jìn)行處理之前，錯(cuò)誤條件是否已經(jīng)引起系統(tǒng)的干預(yù)等。應(yīng)當(dāng)設(shè)計(jì)測(cè)試用例查找由于錯(cuò)誤的計(jì) 算、不正確的比較或不正常的控制流而導(dǎo)致的錯(cuò)誤。全局?jǐn)?shù)據(jù)對(duì)模塊的影響。 在做內(nèi)外存交換時(shí)要考慮： 文件屬性是否正確； OPEN 與 CLOSE 語句是否正確；緩沖區(qū)容量與記錄長(zhǎng)度是否匹配；在進(jìn)行讀寫操作之前是否打開了文件；在結(jié)束文件處理時(shí)是否關(guān)閉了文件；正文書寫／輸入錯(cuò)誤； I／ O 錯(cuò)誤是否檢查并做了處理。 (1) 模塊接口測(cè)試 在單元測(cè)試的開始，應(yīng)對(duì)通過被測(cè)模塊的數(shù)據(jù)流進(jìn)行測(cè)試。多個(gè)模塊可以平行地獨(dú) 立進(jìn)行單元測(cè)試。主要測(cè)試 5 個(gè)方面的問題 —— 模塊接口、局部數(shù)據(jù)結(jié)構(gòu)、邊界條件、獨(dú)立的路徑和錯(cuò)誤處理。具體如圖 示。 軟件測(cè)試方法與 測(cè)試過程的分析與研究 28 圖 V 模型圖 圖 W模型 圖 測(cè)試準(zhǔn)備點(diǎn) 測(cè)試準(zhǔn)備 測(cè)試執(zhí)行 測(cè)試流程 其他流程（如設(shè)計(jì)流程） 圖 H模型圖 程序片段 1 封板 需求分析 軟件規(guī)格復(fù)審 概要設(shè)計(jì) 概要設(shè)計(jì)復(fù)審 詳細(xì)設(shè)計(jì) 詳細(xì)設(shè)計(jì)復(fù)審 程序編碼 單元測(cè)試 模塊集成 集成測(cè)試 系統(tǒng)構(gòu)建 系統(tǒng)測(cè)試 系統(tǒng)安裝 驗(yàn)收測(cè)試 第三章 軟件測(cè)試的過程 29 測(cè)試設(shè)計(jì) 執(zhí)行測(cè)試 工具配臵 測(cè)試設(shè)計(jì) 執(zhí)行測(cè)試 工具配臵 編碼完成 集成 1n 執(zhí)行測(cè)試 工具配臵 探索性測(cè)試 測(cè)試設(shè)計(jì) 執(zhí)行測(cè)試 程序片段 n 圖 X 模型圖 前面我們介紹了幾種典型 的測(cè)試模型，應(yīng)該說這些模型對(duì)指導(dǎo)測(cè)試過程的進(jìn)行具有重要的意義。 軟件測(cè)試過程有四個(gè)模型，分別為： V 模型， W 模型， H 模型， X 模型。 隨著測(cè)試過程管理 的發(fā)展，軟件測(cè)試專家通過實(shí)踐總結(jié)出了很多很好的測(cè)試過程模型。眾所周知，開發(fā)過程的質(zhì)量決定了軟件的質(zhì)量，同樣的，測(cè)試過程的質(zhì)量將直接影響測(cè)試結(jié)果的準(zhǔn)確性和有效性。 在該框架中需要將這些典型要素考慮進(jìn)去，在測(cè)試用例中抽取出公用的元素放入已定義的文件，設(shè)定好調(diào)用的過程。 ④測(cè)試數(shù)據(jù)。 ③公用的方法。 ②公用的環(huán)境。這些公用的對(duì)象可被抽取出 來，在編寫腳本時(shí)隨時(shí)調(diào)用。而根據(jù)自動(dòng)化測(cè)試用例，我們很容易能夠定位出自動(dòng)化測(cè)試框架的典型要素： ①公用的對(duì)象。此過程需要確定自動(dòng)化測(cè)試的范圍以及相應(yīng)的測(cè)試用例、測(cè)試數(shù)據(jù)，并形成詳細(xì)的文檔，以便于自動(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)用軟件）。另外，在手工測(cè)試無法完成，需要投入大 量時(shí)間與人力時(shí)也需要考慮引入自動(dòng)化測(cè)試。如果項(xiàng)目的周期比較短，沒有足夠的時(shí)間去支持這樣一個(gè)過程，那么自動(dòng)化測(cè)試便成為笑談。我們便可對(duì)相對(duì)穩(wěn)定的模塊進(jìn)行自動(dòng)化測(cè)試，而變動(dòng)較大的仍是用手工測(cè)試。如果軟件需求變動(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)化