【正文】 二次方程有兩個不等的實數(shù)解！ Test3 5 5 5 一元二次方程有兩個不等的復(fù)數(shù)解！ Test4 5 5 99 一元二次方程有兩個不等的復(fù)數(shù)解！ Test5 5 5 100 一元二次方程有兩個不等的復(fù)數(shù)解！ Test6 5 100 5 一元二次方程有兩個不等的實數(shù)解 ！ Test7 5 99 5 一元二次方程有兩個不等的實數(shù)解！ Test8 5 99 5 一元二次方程有兩個不等的實數(shù)解！ Test9 5 100 5 一元二次方程有兩個不等的實數(shù)解！ 軟件測試方法與 測試過程的分析與研究 40 Test10 100 5 5 一元二次方程有兩個不等的實數(shù)解！ Test11 99 5 5 一元二次方程有兩個不等的實數(shù)解！ Test12 99 5 5 一元二次方程有兩個不等的復(fù)數(shù)解！ Test13 100 5 5 一元二次方程有兩個不等的復(fù)數(shù)解！ ② 等價類劃分法設(shè)計測試用例 等價類劃分測試的基本思 想是首先劃分合理的和不合理的等價類，選取每個等價類中的一個元素來設(shè)計測試用例。程序中的 ifthenelse 結(jié)構(gòu)較為復(fù)雜，如果采用路徑覆蓋設(shè)計測試用例，則會造成窮舉測試。 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相 對 實 數(shù)不 等 實 數(shù)c ! = 0 一 個 實 數(shù)無 解 無 窮 解輸 入 菜 單 選 擇選 項 不 為 0TTTTTFFF圖 一元二次方程求解程序測試分析流程圖 軟件測試方法與 測試過程的分析與研究 38 （ 3）測試方法選擇與分析 由于對一元二次方程的系數(shù) a、 b、 c 的取值范圍作出了限制，因此可以采用黑盒測試技術(shù)的邊界值分析法進行測試。 回歸測試作為軟件生命周期的一個組成部分，在整個軟件測試過程中占有很大的工作量比重，軟件開發(fā)的各個階段都會進行多次回歸測試。 驗收測試 在通過了系統(tǒng)的有效性測試及軟件配臵審查之后，就應(yīng)開始系統(tǒng)的驗收測試。 通過實施預(yù)定的測試計劃和測試步驟，確定軟件的特性是否與需求相符；所有的文檔都是正確且便于使用；同時，對其它軟件需求，例如可移植性、兼容性、出錯自動恢復(fù)、可維護性等，也都要進行測試 . 在全部軟件測試的測試用例運行完后，所有的測試結(jié)果可以分為兩類 :測試結(jié)果與預(yù)期的結(jié)果相符。 關(guān)鍵模塊的特征： ① 滿足某 些軟件需求； ② 在程序的模塊結(jié)構(gòu)中位于較高的層次（高層控制模塊）； ③ 較復(fù)雜、較易發(fā)生錯誤； ④ 有明確定義的性能要求。衍變的自頂向下的增殖測 試，首先對輸入／輸出模塊和引入新算法模塊進行測試 。選用按深度方向組裝的方式，可以首先實現(xiàn)和驗證一個完整的軟件功能。 1. 一次性集成方式 (big bang) 它是一種非增殖式組裝方式 。 對支持某些標(biāo)準(zhǔn)規(guī)程的程序，更要著手進行互聯(lián)測試。對這些地方要仔細地選擇測試用例，認(rèn)真加以測試。 在做內(nèi)外存交換時要考慮： 文件屬性是否正確； OPEN 與 CLOSE 語句是否正確；緩沖區(qū)容量與記錄長度是否匹配；在進行讀寫操作之前是否打開了文件；在結(jié)束文件處理時是否關(guān)閉了文件；正文書寫／輸入錯誤； I／ O 錯誤是否檢查并做了處理。具體如圖 示。眾所周知，開發(fā)過程的質(zhì)量決定了軟件的質(zhì)量，同樣的，測試過程的質(zhì)量將直接影響測試結(jié)果的準(zhǔn)確性和有效性。 ②公用的環(huán)境。 自動化測試過程 自動化測試與軟件開發(fā)過程從本質(zhì)上來講是一樣的，無非是利用自動化測試工具（相當(dāng)于軟件開發(fā)工具），經(jīng)過對測試需求的分析（軟件過程中的需求分析），設(shè)計出自動化測試用例（軟件過程中的需求規(guī)格），從而搭建自動化測試的框架（軟件過程中的概要設(shè)計），設(shè)計與編寫自動化腳本（詳細設(shè)計與編碼），測試腳本的正確性，從而完成該套測試腳本（即主要功能為測試的應(yīng)用軟件）。如果軟件需求變動過于頻繁，測試人員需要根據(jù)變動的需求來更新測試用例以及相關(guān)的測試腳本，而腳本的維護本身就是一個代碼開發(fā)的過程，需要修改、調(diào)試，必要的時候還要修改自 第二章 軟件測試基本技術(shù) 31 動化測試的框架，如果所花費的成本不低于利用其節(jié)省的測試成本，那么自動化測試便是失敗的。此方法便于分析編碼實現(xiàn)與測試結(jié)果分析。一般的在測試工作中測試人員通常不會單獨操作某個黑盒測試方法，而是在每個測試項目中都會用 到很多方法的所以我們在以后的測試工作中一定要發(fā)揮各種測試方法的特點綜合運用已達到測試要求。 對邊界值設(shè)計測試用例，應(yīng)遵循以下幾條原則： ○ 1 如果輸入條件規(guī)定了值的范圍，則應(yīng)取剛達到這個范圍的邊界的值，以及剛剛超越這個范圍邊界的值作為測試輸入數(shù)據(jù)。小寫字母對應(yīng) 97～ 122。 軟件測試方法與 測試過程的分析與研究 28 ASCII表。諸如此類的問題很常見，在復(fù)雜的大型軟件中，可能導(dǎo)致極其嚴(yán)重的軟件缺陷?？雌饋硐喈?dāng)簡單。這里所說的邊界是指相當(dāng)于輸入等價類和輸出等價類而言，稍高于其邊界值及稍低于其邊界值的一些特定情況。測試同一個復(fù)雜程序的兩個軟件測試員，可能會制定出兩組不同的等價區(qū)間。 如果是等腰的，還要判斷 A=B，或 B=C，或 A=C。程序?qū)?1 和最大數(shù)值相加的處理和對兩個小一些的數(shù)值相加的處理軟件測試方法與 測試過程的分析與研究 24 有所不同。 ○ 2 設(shè)計一個新的測試用例，使其盡可能多地覆蓋尚未覆蓋的有效等價類。 下面給出 6 條確定等價類的原則： ○ 1 在輸入條件規(guī)定了取值范圍或值的個數(shù)的情況下，可以確立一個有效等價類和兩個無效等價類。 因此，可以把全部輸入數(shù)據(jù)合理地劃分為若干等價類，在每一個等價類中取一個數(shù)據(jù)作為測試的輸入條件，就可以用少量代表性的測試數(shù)據(jù)取得較好的測試結(jié)果。我們必須仔細分析和推敲說明書的各項需求，特別是功能需求。黑盒測試著眼于程序外部結(jié)構(gòu)，不考慮內(nèi)部邏輯結(jié)構(gòu)，主要針對軟件界面和軟件功能進行測試。 提出了一種能減少測試數(shù)的方法。 〃 只通過循環(huán)一次。 a≠ 2,x≤ 1 以下 4 組測試用例可以滿足條件組合覆蓋： ① a=2， b=0， x=2 ② a=2， b=1， x=1 ③ a=1， b=0， x=2 ④ a=1， b=1， x=1 （ 6）路徑覆蓋 覆蓋所有可能 的路徑，以下 4 組測試用例可以路徑覆蓋： ① a=2， b=0， x=2 ② a=2， b=1， x=1 ③ a=1， b=1， x=1 ④ a=1， b=0， x=2 但不能覆蓋 a≤ 1， b=0 和 a≠ 2， x1。 選擇兩組測試用例： a=2， b=0， x=3(使 a1,b=0,a=2,x1 和 (a1)AND(b=0)， (a=2)OR(x1)為真 第二章 軟件測試基本技術(shù) 17 a=1， b=1， x=1(使 a1,b=0,a=2,x1 和 (a1)AND(b=0)， (a=2)OR(x1)為假 注意：若將 b=0 寫為 b≠ 0，而 a1 為假， x1 寫為 x≤ 1，而 a=2 為真，就 測試不出來。語句覆蓋的含義是，選擇足夠多的測試數(shù)據(jù)，使被測程序中每個語句至少執(zhí)行一次。 表 測試用例列表 第二章 軟件測試基本技術(shù) 13 傳入?yún)?shù) 預(yù)期調(diào)用 Path 1 ReadPara（ ” =” ） (0) Path 2 ReadPara（ ” ” ） (1) Path 3 ReadPara（ ” ==” ） (2) Path 4 ReadPara（ ” ” ） (3) Path 5 ReadPara（ ” =” ） (4) Path 6 ReadPara（ ” +” ） (5) 2. 白盒測試之程序插樁 在軟件測試中，常常要用到一種“插樁”技術(shù)，通過在源代碼中加入記錄信息語句，以便進行運行信息的追蹤和調(diào)試，統(tǒng)計有關(guān)的運行資源狀況。 /*5*/． else /*6*/． { /*7*/． if (temp = = ) 第二章 軟件測試基本技術(shù) 11 /*8*/． (1)。獨立路徑必須包含一條在定義之前不曾用到的邊。 基本路徑測試法的步驟： 第一步：畫出控制流圖 流程圖用來描述程序控制結(jié)構(gòu)。 (3) 導(dǎo)出測試用例：根據(jù)圈復(fù)雜度和程序結(jié)構(gòu)設(shè)計用例數(shù)據(jù)輸入和預(yù)期結(jié)果。 白盒測試的方法介紹 1. 白盒測試之基本路徑法 白盒測試的測試方法有代碼檢查法、靜態(tài)結(jié)構(gòu)分析法、靜態(tài)質(zhì)量度量法、邏輯覆蓋 法、基本路徑測試法、域測試、符號測試、 Z 路徑覆蓋、程序變異。白盒測試工具在選購時應(yīng)當(dāng)主要是對開發(fā)語言的支持、代碼覆蓋的深度、嵌入式軟件的測試、測試的可視化等。白盒法是窮舉路徑測試。對任何工程產(chǎn)品都可以使用白盒測試和黑盒測試兩種方法之一進行測試。 掌握好測試量是至關(guān)重要的，一位有經(jīng)驗的軟件開發(fā)管理人員在談到軟件測試時曾這樣說過：“不充分的測試是愚蠢的，而過度的測試是一種罪孽”。第二，窮舉路徑測試不可能查出程序中因遺漏路徑而出錯。 軟件測試的復(fù)雜性與經(jīng)濟性 軟件測試的復(fù)雜性 設(shè)計測試用例是一項細致并需要高度技巧的工作，稍有不慎就會顧此失彼，發(fā)生不應(yīng)有的疏漏。 在遵守以上原則的基礎(chǔ)上進行軟件測試，可以以最少的 時間和人力找出軟件中的各種缺陷，從而達到保證軟件質(zhì)量的目的。也就是說軟件測試就是使用人工或者自動手段來運行或測試某個系統(tǒng)的過程 ,其目的在于檢驗它是否滿足規(guī)定的需求或弄清預(yù)期結(jié)果與實際結(jié)果之間的差別。 （即按測試方式）劃 分為 靜態(tài)測試和 動態(tài)測試。通常也稱這種測試為“窮舉測試”。 在實際測試中，窮舉測試工作量太大，實踐上行不通，這就注定了一切實際測試都是不徹底的。白盒測試又可分為靜態(tài)測試和動態(tài)測試。 白盒測試的測試方法有代碼檢查法、靜態(tài)結(jié)構(gòu)分析法、靜態(tài)質(zhì)量度量法、邏輯覆蓋法、基本路徑測試法、域測試、符號測試、 Z 路徑覆蓋、程序變異。但即使每條路徑都測試了仍然可能有錯誤。目前測試工具主要 第二章 軟件測試基本技術(shù) 7 支持 的開發(fā)語言包括：標(biāo)準(zhǔn) C、 C++、 Visual C++、 Java、 Visual J++、Visual unit 等。設(shè)計出的測試用例要保證在測試中程序的每個可執(zhí)行語句至少執(zhí)行一次。 ○ 2 程序的控制流圖：描述程序控制流的一種 圖示方法。一個處理方框序列和一個菱形決測框可被映射為一個結(jié)點，流圖中的箭頭，稱為邊或連接，代表控制流，類似于流程圖中的箭頭。一條獨立路徑是指，和其他的獨立路徑相比，至少引入一個新處理語 句或一個新判斷的程序通路。 /*17*/． Else /*18*/． { /*19*/． if ( temp = = ) /*20*/． (4)。j++) { if ( j == k) return 。選擇兩組測試數(shù)據(jù)： a=3， b=0， x=1(通過路徑 1453） a=2， b=1， x=2(通過路徑 1267） （ 3）條件覆蓋 條件覆蓋的含義是，不僅每個語句至少執(zhí)行一次，而且使判定表達式中的每 a c b e d 1 4 2 6 3 5 7 s （ a）流程圖 （ b）程序圖 軟件測試方法與 測試過程的分析與研究 16 個條件都取到各種可能的結(jié)果。 a1, b≠ 0。 4. 白盒測試之循環(huán)覆蓋 循環(huán)測試是一種白盒測試技術(shù)，它專注于測試循環(huán)結(jié)構(gòu)的有效性。 〃 通過循環(huán) n1， n， n+1 次。當(dāng)循環(huán)不獨立時，建議使用測試嵌套循環(huán)的方法來測試串接循環(huán)。實際上測試情況有無窮多個，人們不僅要測試所有合法的輸入，而且還要對那些不合法但可能的輸入進行測試。每一類的代表性數(shù)據(jù)在測試中的作用等價于這一類中的其他值，也就是說，如果某一類中的一個例子發(fā)現(xiàn)了錯誤，這一等價類軟件測試方法與 測試過程的分析與研究 22 中的其他例子也能發(fā)現(xiàn)同樣的錯誤；反之，如果某一類中的一個例子沒有發(fā)現(xiàn)錯誤，則這一類中的其他例子也不會查出錯誤（除非等價類中的某些例子屬于另一等價類，因為幾個等價類是可能 相交的）。利用有效等價類可檢驗程序是否實現(xiàn)了規(guī)格說明中所規(guī)定的功能和性能。 第二章 軟件測試基本技術(shù) 23 ○ 4 在規(guī)定了輸入數(shù)據(jù)的一組值（假定 n 個），并且程序要對每一個輸入值分別處理的情況下，可確立 n 個有效等價類和一個無效等價類。重復(fù)這一步使所有無效等價類均被覆蓋。 【例】根據(jù)下面給出說明，利用等價類劃分的方法，給出足夠的測試用例。 設(shè)計測試用例：輸入順序是【 A， B， C】，如表 所示。因此針對各種邊界情況設(shè)計測試用例，可以查出更多的錯誤。如果軟