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