【正文】 由于此一元二次方程求解程序的異常處理不是很重要，因此只對(duì)合理等價(jià)類(lèi)設(shè)計(jì)測(cè)試用例進(jìn)行測(cè)試即可。我們采用獨(dú)立路徑的方法來(lái)設(shè)計(jì)測(cè)試用例，可以有效地提高測(cè)試的質(zhì)量和效率。由于邊界值分析假設(shè)變量是完全獨(dú)立的，因此邊界值分析法具有一定的局限性，只能作為本程序的初步測(cè)試。在漸進(jìn)和快速迭代開(kāi)發(fā)中，新版本的連續(xù)發(fā)布使回歸測(cè)試進(jìn)行的更加頻繁，而在極端編程方法中，更是要求每天都進(jìn)行若干次回歸測(cè)試。驗(yàn)收測(cè)試是以用戶為主的測(cè)試。這說(shuō)明軟件的這部分功能或性能特征與需求規(guī)格說(shuō)明書(shū)相符合，從而這部分程序被接受。 確認(rèn)測(cè)試 確認(rèn)測(cè)試又稱(chēng)有效性測(cè)試。再自底向上組裝成為功能相當(dāng)完整且相對(duì)獨(dú)立的子系統(tǒng) 。 (2) 自底向上的增殖方式。也叫做整體拼裝。有人把這種情況特別軟件測(cè)試方法與 測(cè)試過(guò)程的分析與研究 32 稱(chēng)為模塊測(cè)試，以區(qū)別單元測(cè)試。如果對(duì)模塊運(yùn)行時(shí)間有要求的話，還 要專(zhuān)門(mén)進(jìn)行關(guān)鍵路徑測(cè)試，以確定最壞情況下和平均意義下影響模塊運(yùn)行時(shí)間的因素。 (2) 局部數(shù)據(jù)結(jié)構(gòu)測(cè)試 局部數(shù)據(jù)結(jié)構(gòu)測(cè)試主要包括：不正確或不一致的數(shù)據(jù)類(lèi)型說(shuō)明，使用尚未賦值或尚未初始化的變量，錯(cuò)誤的初始值或錯(cuò)誤的缺省值，變量名拼寫(xiě)錯(cuò)或書(shū)寫(xiě)錯(cuò)，不一致的數(shù)據(jù)類(lèi)型。 圖 軟件測(cè)試的過(guò)程流程 單元 測(cè)試 單元 測(cè)試 單元 測(cè)試 集成 測(cè)試 集成 測(cè)試 確認(rèn) 測(cè)試 系統(tǒng) 測(cè)試 * 這三個(gè)測(cè)試可能交叉與前后互換 被測(cè)模塊 被測(cè)模塊 被測(cè)模塊 設(shè)計(jì)信息 單元 軟件需求 其它元素 用戶信息 其它元素 * * 驗(yàn)收 測(cè)試 * 交付用戶 軟件測(cè)試方法與 測(cè)試過(guò)程的分析與研究 30 單元測(cè)試 單元測(cè)試是針對(duì)每個(gè)單元的測(cè)試， 以確保每個(gè)模塊能正常工作為目標(biāo)。軟件測(cè)試過(guò)程和 軟件開(kāi)發(fā) 過(guò)程一樣，都遵循軟件工程原理，遵循管理學(xué)原理。各測(cè)試用例也會(huì)用到相同的測(cè)試環(huán)境，將該測(cè)試環(huán)境獨(dú)立封裝，在各個(gè)測(cè)試用例中靈活調(diào)用，也能增強(qiáng)腳本的可維護(hù)性。 (1)自動(dòng)化測(cè)試需求分析 軟件測(cè)試方法與 測(cè)試過(guò)程的分析與研究 32 當(dāng)測(cè)試項(xiàng)目滿足了自動(dòng)化的 前提條件，并確定在該項(xiàng)目中需要使用自動(dòng)化測(cè)試時(shí)，我們便開(kāi)始進(jìn)行自動(dòng)化測(cè)試需求分析。項(xiàng)目中的某些模塊相對(duì)穩(wěn)定，而某些模塊需求變動(dòng)性很大。 (3)符號(hào)執(zhí)行是一種符號(hào)化定義數(shù)據(jù)，并為程序每條路徑給出符號(hào)表達(dá)式，對(duì)特定路徑輸入符號(hào)，經(jīng)處 理輸出符號(hào)，從而判斷程序行為是否錯(cuò)誤，達(dá)到分析錯(cuò)誤目的方法。 靜態(tài)測(cè)試技術(shù) 靜態(tài)測(cè)試技術(shù)概述 靜態(tài)方法是指不運(yùn)行被測(cè)程序本身，僅通過(guò)分析或檢查源程序的語(yǔ)法、結(jié)構(gòu)、過(guò)程、接口等來(lái)檢查程序的正確性。 ○ 2 如果輸入條件規(guī)定了值的個(gè)數(shù)，則用最大個(gè)數(shù)、最小個(gè)數(shù)、比最小個(gè)數(shù)少 比最大個(gè)數(shù)多 1 的數(shù)作為測(cè)試數(shù)據(jù) 。這些情況都代表次邊界條件。 另一個(gè)常見(jiàn)的次邊界條件 是 ASCII字符表。 (2) 次邊界條件。它建立了包含 10 個(gè)整數(shù)的數(shù)組 data 和一個(gè)計(jì)數(shù)值 i。 (1) 邊界條件。只要審查等價(jià)區(qū)間的人都認(rèn)為它們足以覆蓋測(cè)試對(duì)象就可以了。 如果是等邊的，則需判斷是否 A=B，且 B=C，且 A=C。后者必須處理溢出情況。重復(fù)這 一步，最后使得所有有效等價(jià)類(lèi)均被測(cè)試用例所覆蓋。 ○ 2 在輸入條件規(guī)定了輸入值的集合或者規(guī)定了“必須如何”的條 件的情況下，可以確立一個(gè)有效等價(jià)類(lèi)和一個(gè)無(wú)效等價(jià)類(lèi)。等價(jià)類(lèi)劃分有兩種不同的情況：有效等價(jià)類(lèi)和無(wú)效等價(jià)類(lèi)。把說(shuō)明中對(duì)輸入的要求和輸出的要求區(qū)別開(kāi)來(lái)并加以分解。 第二章 軟件測(cè)試基本技術(shù) 21 黑盒測(cè)試法注重于測(cè)試軟件的功能需求，主要試圖發(fā)現(xiàn)下列幾類(lèi)錯(cuò)誤：功能不正確或遺漏，界面錯(cuò)誤，數(shù)據(jù)庫(kù)訪問(wèn)錯(cuò)誤，性能錯(cuò)誤，初始化和終止錯(cuò)誤等。 〃 〃 對(duì)最內(nèi)層循環(huán)使用簡(jiǎn)單循環(huán)測(cè)試方法，而使外層循環(huán)的迭代參數(shù) (例如，循環(huán)計(jì)數(shù)器 )取最小值，并為越界值或非法值增加 〃 由內(nèi)向外，對(duì)下一個(gè)循環(huán)進(jìn)行測(cè)試，但保持所有其他外層循環(huán)為最小值，軟件測(cè)試方法與 測(cè)試過(guò)程的分析與研究 20 〃 （ 3 如果串接循環(huán)的各個(gè)循環(huán)都彼此獨(dú)立，則可以使用前述的測(cè)試簡(jiǎn)單循環(huán)的方法來(lái)測(cè)試串接循環(huán)。 〃 通過(guò)循環(huán)兩次。所以滿足路徑覆蓋不一定滿足條件組合覆蓋。 （ 5）條件組合覆蓋 條件組合覆蓋是更強(qiáng)的邏輯覆蓋標(biāo)準(zhǔn)，它要求選取足夠多的測(cè)試數(shù)據(jù)，使得每個(gè)判定表達(dá)式中 條件的各種可能組合都至少出現(xiàn)一次。例如選擇測(cè)試數(shù)據(jù) a=2， b=0， x=3 能夠覆蓋語(yǔ)句 c、 e。 想做插樁，可以思考以下幾點(diǎn)： （ 1）如果出現(xiàn)在語(yǔ)句中包含了 return 語(yǔ)句，怎么在它前面插入指定語(yǔ)句？同時(shí)保證語(yǔ)句的語(yǔ)法合法性？ 例如： for ( j=0。 /*9*/． else /*10*/． { /*11*/． if ( temp = = = =) /*12*/． (2)。 有以下三種方法計(jì)算圈復(fù)雜度：流圖中區(qū)域的數(shù)量對(duì)應(yīng)于環(huán)型的復(fù)雜性 ； 給定流圖 G 的圈復(fù)雜度 V(G)，定義為 V(G)=EN+2， E 是流圖中邊的數(shù)量， N 是流圖中結(jié)點(diǎn)的數(shù)量 ； 給定流圖 G 的圈復(fù)雜度 V(G)，定義為 V(G)=P+1， P 是流圖 G 中判定結(jié)點(diǎn)的數(shù)量?？?將流程圖映射到一個(gè)相應(yīng)的流圖 (假設(shè)流程圖的菱形決定框中不包含復(fù)合條件 )。 (4) 準(zhǔn)備測(cè)試用例：確?；韭窂郊械拿恳粭l路徑的執(zhí)行。其中運(yùn)用最為廣泛的是基本路徑測(cè)試法。 對(duì)開(kāi)發(fā)語(yǔ)言的支持：白盒測(cè)試工具是對(duì)源代碼進(jìn)行的測(cè)試，測(cè)試的主要內(nèi)容包括詞法分析與語(yǔ)法分析、靜態(tài)錯(cuò)誤分析、動(dòng)態(tài)檢測(cè)等。在使用這一方案時(shí)，測(cè)試者必須檢查程序的內(nèi)部結(jié)構(gòu)，從檢查程序的邏輯著手，得出測(cè)試數(shù)據(jù)。 白盒測(cè)試技術(shù) 白盒測(cè)試的概述 白盒測(cè)試也稱(chēng)結(jié)構(gòu)測(cè)試或邏輯驅(qū)動(dòng)測(cè)試，它是按照程序內(nèi) 部的結(jié)構(gòu)測(cè)試程序，通過(guò)測(cè)試來(lái)檢測(cè)產(chǎn)品內(nèi)部動(dòng)作是否按照設(shè)計(jì)規(guī)格說(shuō)明書(shū)的規(guī)定正常進(jìn)行，檢驗(yàn)程序中的每條通路是否都能按預(yù)定要求正確工作。測(cè)試不足意味著讓用戶承擔(dān)隱藏錯(cuò)誤帶來(lái)的危險(xiǎn)，過(guò)度測(cè)試則會(huì)浪費(fèi)許多寶貴的資源。第三，窮舉路徑測(cè)試可能發(fā)現(xiàn)不了一些與數(shù)據(jù)相關(guān)的錯(cuò)誤。不論是黑盒測(cè)試方法還是白盒測(cè)試方法，由于測(cè)試情況數(shù)量巨大，都不可能進(jìn)行徹底的測(cè)試。 軟件測(cè)試的分類(lèi) 軟件測(cè)試的 技術(shù)和方法是多種多樣的，對(duì)于軟件測(cè)試技術(shù)，可以從不同的角度加以分類(lèi)。 第一章 緒論 1 第一章 緒論 軟件測(cè)試概念和目的 軟件測(cè)試的概念 軟件測(cè)試是為了發(fā)現(xiàn)錯(cuò)誤而執(zhí)行程序的過(guò)程，測(cè)試只能找出程序中的錯(cuò)誤，而不能證明程序無(wú)錯(cuò)。 （即按測(cè)試方法）劃分為白盒測(cè)試和黑盒測(cè)試。所謂徹底測(cè)試，就是讓被測(cè)程序在一切可能的輸入情況下全部執(zhí)行一遍。 e． w． dijkstra 的一句名言對(duì)測(cè)試的不徹底性作了 很好的注解：“程序測(cè)試只能證明錯(cuò)誤的存在，但不能證明錯(cuò)誤不存在”。 第二章 軟件測(cè)試基本技術(shù) 5 第二章 軟件測(cè)試基本技術(shù) 軟件測(cè)試技術(shù)概述 通常人們把軟件測(cè)試技術(shù)歸結(jié)為兩大類(lèi)：白盒測(cè)試和黑盒測(cè)試。 這一方法是把測(cè)試對(duì)象看作一個(gè)打開(kāi)的盒子，測(cè)試人員依據(jù)程序內(nèi)部邏輯結(jié)構(gòu)相關(guān)信息，設(shè)計(jì)或選擇測(cè)試用例，對(duì)程序所有邏輯路徑進(jìn)行測(cè)試，通軟件測(cè)試方法與 測(cè)試過(guò)程的分析與研究 6 過(guò)在不同點(diǎn)檢查程序的狀態(tài)，確定實(shí)際的狀態(tài)是否與預(yù)期的狀態(tài)一致。貫穿程序的獨(dú)立路徑數(shù)是天文數(shù)字。但是對(duì)于不同的開(kāi)發(fā)語(yǔ)言，測(cè)試工具實(shí)現(xiàn)的方式和內(nèi)容差別是較大的。 軟件測(cè)試方法與 測(cè)試過(guò)程的分析與研究 8 基本路徑測(cè)試法是在程序控制流圖的基礎(chǔ)上，通過(guò)分析控制構(gòu)造的環(huán)路復(fù)雜性，導(dǎo)出基本可執(zhí)行路徑集合，從而設(shè)計(jì)測(cè)試用例的方法。 基本路徑測(cè)試的 工具方法： ○ 1 圖形矩陣：是在基本路徑測(cè)試中起輔助作用的軟件工具，利用它可以實(shí)現(xiàn)自動(dòng)地確定一個(gè)基本路徑集。在流圖中，每一個(gè)圓，稱(chēng)為流圖的結(jié)點(diǎn)，代表一個(gè)或多個(gè)語(yǔ)句。 第三步：導(dǎo)出測(cè)試用例 根據(jù)上面的計(jì)算方法，可得出四個(gè)獨(dú)立的路徑。 /*13*/． else /*14*/． { /*15*/． if( temp = = =) /*16*/． (3)。j10000。 （ 2）判定覆蓋 判定覆蓋又叫分支覆蓋，它的含義是，不僅每個(gè)語(yǔ)句必須至少執(zhí)行一次，而且每個(gè)判定的每種可能的結(jié)果都應(yīng)該至少執(zhí)行一次，也就是每個(gè)判定的每個(gè)分支都至少執(zhí)行一次。 兩個(gè)判定表達(dá)式共有四個(gè)條件，因此有 8 種組合： a1, b=0。 軟件測(cè)試方法與 測(cè)試過(guò)程的分析與研究 18 在實(shí)際的邏輯測(cè)試中，一般以條件組合覆蓋為主設(shè)計(jì)測(cè)試用例，然后補(bǔ)充測(cè)試用例，達(dá)到路徑覆蓋。 簡(jiǎn)單循環(huán) 嵌套循環(huán) 串接循環(huán) 第二章 軟件測(cè)試基本技術(shù) 19 〃 通過(guò)循環(huán) m 次，其中 m＜ n1。 如果兩個(gè)循環(huán)串接，而且第一個(gè)循環(huán)的循環(huán)計(jì)數(shù)器值是第二個(gè)循環(huán)的初始值，則這兩個(gè)循環(huán)并不是獨(dú)立的。 從理論上講，黑盒測(cè)試只有采用窮舉輸入測(cè)試，把所有可能的輸入都作為測(cè)試情況考慮，才能查出程序中所有的錯(cuò)誤。 等價(jià)類(lèi)劃分的辦法是把程序的輸入域劃分成若干部分，然后從每個(gè)部分中選取少數(shù)代表性數(shù)據(jù)作為測(cè)試用例。 有效等價(jià)類(lèi)：指對(duì)于程序的規(guī)格說(shuō)明來(lái)說(shuō)是合理 的、有意義的輸入數(shù)據(jù)構(gòu)成的集合。 ○ 3 在輸入條件是一個(gè)布爾量的情況下，可確定一個(gè)有效等價(jià)類(lèi)和一個(gè)無(wú)效等價(jià)類(lèi)。 ○ 3 設(shè)計(jì)一個(gè)新的測(cè)試用例，使其只覆蓋一個(gè)無(wú)效等價(jià)類(lèi)。因?yàn)檐浖僮骺赡懿煌?這兩個(gè)用例屬于不同的等價(jià)區(qū)間。 列出等價(jià)類(lèi)表， 如表 所示。 2. 黑盒測(cè)試之邊界值分析法 人們從長(zhǎng)期的測(cè)試工作經(jīng)驗(yàn)得知，大量的錯(cuò)誤是發(fā)生在輸入或輸出范圍的邊界上的，而不是在輸入范圍的內(nèi)部。我們可以想象一下，如果在懸崖峭壁邊可以自信地安全行走，平地就不在話下了。 For 循環(huán)是從 1～ 10， 數(shù)組中從第 1 個(gè)元素到第 10 個(gè)元素被賦予數(shù)值 – 1。上面討論的普通邊界條件是最容易找到的。如表 ASCII值表的清單。 如果測(cè)試進(jìn)行文本輸入或文本轉(zhuǎn)換的軟件，在定義數(shù)據(jù)區(qū)間包含哪些值時(shí)，參考一下 ASCII 表是明智的。 ○ 3 根據(jù)規(guī)格說(shuō)明的每個(gè)輸出 第二章 軟件測(cè)試基本技術(shù) 29 條件，使用前面的原則①。對(duì)需求規(guī)格說(shuō)明書(shū)、軟件設(shè)計(jì)說(shuō)明書(shū)、源程序做結(jié)構(gòu)分析、流程圖分析、符號(hào)執(zhí)行來(lái)找錯(cuò)。這種方法比數(shù)值計(jì)算復(fù)雜得多，易出錯(cuò)，又不適于非數(shù)值計(jì)算，故使用較少 。我們便可對(duì)相對(duì)穩(wěn)定的模塊進(jìn)行自動(dòng)化測(cè)試，而變動(dòng)較大的仍是用手工測(cè)試。此過(guò)程需要確定自動(dòng)化測(cè)試的范圍以及相應(yīng)的測(cè)試用例、測(cè)試數(shù)據(jù)，并形成詳細(xì)的文檔，以便于自動(dòng)化測(cè)試框架的建立。 ③公用的方法。 隨著測(cè)試過(guò)程管理 的發(fā)展，軟件測(cè)試專(zhuān)家通過(guò)實(shí)踐總結(jié)出了很多很好的測(cè)試過(guò)程模型。主要測(cè)試 5 個(gè)方面的問(wèn)題 —— 模塊接口、局部數(shù)據(jù)結(jié)構(gòu)、邊界條件、獨(dú)立的路徑和錯(cuò)誤處理。全局?jǐn)?shù)據(jù)對(duì)模塊的影響。 2. 單元測(cè)試的執(zhí)行過(guò)程 模塊并不是一個(gè)獨(dú)立的程序，在考慮測(cè)試模塊時(shí)，同時(shí)要考慮它和外界的聯(lián)系，用一些輔助模塊去模擬與被測(cè)模塊相聯(lián)系的其它模塊 [驅(qū)動(dòng)模塊 (driver), 用來(lái)模擬被測(cè)試模塊的上一級(jí)模塊，相當(dāng)于被測(cè)模塊的主程序。 集成測(cè)試 集成測(cè)試 (集成測(cè)試、聯(lián)合測(cè)試），通常，在單元測(cè)試的基礎(chǔ)上，需要將所有模塊按照設(shè)計(jì)要求組裝成為系統(tǒng)進(jìn)行集成測(cè)試。 使用這種方式，首先對(duì)每個(gè)模塊分別進(jìn)行模塊測(cè)試，然后再把所有模塊組裝在一起進(jìn)行測(cè)試，最終得到要求的軟件系統(tǒng)。這種集成的方式是從程序模塊結(jié)構(gòu)的最底層的模塊開(kāi)始集成和測(cè)試。然后由主模塊開(kāi)始自頂向下進(jìn)行增殖測(cè)試。任務(wù)是驗(yàn)證軟件的功能和性能及其它特性是否與用戶的要求一致。測(cè)試結(jié)果與預(yù)期的結(jié)果不符。軟件開(kāi)發(fā)人員和 QA（質(zhì)量保證）人員也應(yīng)參加。因此，通過(guò)選擇正確的回歸測(cè)試策略來(lái)改進(jìn)回歸測(cè)試的效率和有效性是非常有意義的。 等價(jià)類(lèi)劃分測(cè)試將程序輸入劃分為若干個(gè)互不相交的子集 ，然后從每個(gè)子集中選取數(shù)據(jù)作為測(cè)試輸入。 獨(dú)立路徑是指在程序圖的入口到出口之間，每次至少有一條語(yǔ)句（包括運(yùn)算、賦值、判斷、輸入、和輸出等）是新的未被重復(fù)執(zhí)行的（至少經(jīng)歷一條從未走過(guò)的弧）。按照一元二次方程其解程序的功能，將輸入域劃分為如下 7 個(gè)等價(jià)類(lèi)： 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à)類(lèi)的 7 個(gè)測(cè)試用例。 表 邊界值分析測(cè)試用例 測(cè)試用例 A B c 預(yù)期輸出 Test1 5 5 100 一元二次方程有兩個(gè)不等的實(shí)數(shù)解！ Test2 5 5 99 一元