【正文】 邊界條件稱(chēng)為次邊界條件或者內(nèi)部邊界條件。 ASCII 表就是這樣的例子。 另一個(gè)常見(jiàn)的次邊界條件 是 ASCII字符表。 表 部分 ASCLL值表 字符 ASCII 值 字符 ASCII 值 字符 ASCII 值 字符 ASCII 值 Null 0 B 66 2 50 a 97 Space 32 Y 89 9 57 b 98 / 47 Z 90 : 58 y 121 0 48 [ 91 64 z 122 1 49 39。 0～ 9 的后面 ASCII 值是 48～ 57。大寫(xiě)字母 A～Z 對(duì)應(yīng) 65～ 90。這些情況都代表次邊界條件。例如，如果測(cè)試的文本框只接受用戶(hù)輸入字符 A～ Z和 a～ z，就應(yīng)該在非法區(qū)間中包含 ASCII 表中這些字符前后的值 、 [ 、 和 { 。 邊界值的選擇方法：邊界值分析是一種補(bǔ)充等價(jià)劃分的測(cè)試用例設(shè) 計(jì)技術(shù)，它不是選擇等價(jià)類(lèi)的任意元素，而是選擇等價(jià)類(lèi)邊界的測(cè)試用例。邊界值分析法不僅重視輸入條件邊界，而且也適用于輸出域測(cè)試用例。 ○ 2 如果輸入條件規(guī)定了值的個(gè)數(shù)，則用最大個(gè)數(shù)、最小個(gè)數(shù)、比最小個(gè)數(shù)少 比最大個(gè)數(shù)多 1 的數(shù)作為測(cè)試數(shù)據(jù) 。④ 根據(jù)規(guī)格說(shuō)明的每個(gè)輸出條件，應(yīng)用前面的原則②。⑥ 如果程序中使用了一個(gè)內(nèi)部數(shù)據(jù)結(jié)構(gòu)，則應(yīng)當(dāng)選擇這個(gè)內(nèi)部數(shù)據(jù)結(jié)構(gòu)邊界上的值作為測(cè)試用例。黑盒測(cè)試還有非功能測(cè)試等諸多方法，在這里我就不作一一介紹了。 靜態(tài)測(cè)試技術(shù) 靜態(tài)測(cè)試技術(shù)概述 靜態(tài)方法是指不運(yùn)行被測(cè)程序本身，僅通過(guò)分析或檢查源程序的語(yǔ)法、結(jié)構(gòu)、過(guò)程、接口等來(lái)檢查程序的正確性。靜態(tài)方法通過(guò)程序靜態(tài)特性的分析，找出欠缺和可疑之處，例如不匹配的參數(shù)、不適當(dāng)?shù)难h(huán)嵌套和分支嵌套、不允許的遞歸、未使用過(guò)的變量、空指針的引用和可疑的計(jì)算等。 靜態(tài)測(cè)試方法 的介紹 (1)結(jié)構(gòu)檢查是手工分析技術(shù)，由一組人員對(duì)程序設(shè)計(jì)、需求分析、編碼測(cè)試工作進(jìn)行評(píng)議，虛擬執(zhí)行程序，并在評(píng)議中作錯(cuò)誤檢查。 軟件測(cè)試方法與 測(cè)試過(guò)程的分析與研究 30 (2)流圖分析是通過(guò)分析程序流程圖的代碼結(jié)構(gòu)，來(lái)檢查程序的語(yǔ)法錯(cuò)誤信息、語(yǔ)句中標(biāo)識(shí)符引用狀況、子程序和函數(shù)調(diào)用狀況及無(wú)法執(zhí)行到的代碼段。 (3)符號(hào)執(zhí)行是一種符號(hào)化定義數(shù)據(jù)，并為程序每條路徑給出符號(hào)表達(dá)式，對(duì)特定路徑輸入符號(hào)，經(jīng)處 理輸出符號(hào)，從而判斷程序行為是否錯(cuò)誤，達(dá)到分析錯(cuò)誤目的方法。 自動(dòng)化測(cè)試 自動(dòng)化測(cè)試概念 自動(dòng)化測(cè)試是把以人為驅(qū)動(dòng)的測(cè)試行為轉(zhuǎn)化為機(jī)器執(zhí)行的一種過(guò)程。在此過(guò)程中，為了節(jié)省人力、時(shí)間或硬件資源，提高測(cè)試效率，便引入了自動(dòng)化測(cè)試的概念。通常需要同時(shí)滿(mǎn)足以下條件： (1)軟件需求變動(dòng)不頻繁 測(cè)試腳本的穩(wěn)定性決定了自動(dòng)化測(cè)試的維護(hù)成本。項(xiàng)目中的某些模塊相對(duì)穩(wěn)定，而某些模塊需求變動(dòng)性很大。 (2)項(xiàng)目周期足夠長(zhǎng) 自動(dòng)化測(cè)試需求的確定、自動(dòng)化測(cè)試框架的設(shè)計(jì)、測(cè)試腳本的編寫(xiě)與調(diào)試均需要相當(dāng)長(zhǎng)的時(shí)間來(lái)完成，這樣的過(guò)程本身就是一個(gè)測(cè)試軟件的開(kāi)發(fā)過(guò)程，需要較長(zhǎng)的時(shí)間來(lái)完成。 (3)自動(dòng)化測(cè)試腳本可重復(fù)使用 如果費(fèi)盡心思開(kāi)發(fā)了一套近乎完美的自動(dòng)化測(cè)試腳本，但是腳本的重復(fù)使用率很低，致使其間所耗費(fèi)的成本大于所創(chuàng)造的經(jīng)濟(jì)價(jià)值，自動(dòng)化測(cè)試便成為了測(cè)試人員的練手之作，而并非是真正可產(chǎn)生效益的測(cè)試手段了。比如性能測(cè)試、配臵測(cè)試、大數(shù)據(jù)量輸入測(cè)試等。 (1)自動(dòng)化測(cè)試需求分析 軟件測(cè)試方法與 測(cè)試過(guò)程的分析與研究 32 當(dāng)測(cè)試項(xiàng)目滿(mǎn)足了自動(dòng)化的 前提條件，并確定在該項(xiàng)目中需要使用自動(dòng)化測(cè)試時(shí)，我們便開(kāi)始進(jìn)行自動(dòng)化測(cè)試需求分析。 (2)自動(dòng)化測(cè)試框架的搭建 所謂自動(dòng)化測(cè)試框架便是像軟件架構(gòu)一般，定義了在使用該套腳本時(shí)需要調(diào)用哪些文件、結(jié)構(gòu)，調(diào)用的過(guò)程，以及文件結(jié)構(gòu)如何劃分。不同的測(cè)試用例會(huì)有一些相同的對(duì)象被重復(fù)使用，比如窗口、按鈕、頁(yè)面等。當(dāng)這些對(duì)象的屬性因?yàn)樾枨蟮淖兏淖儠r(shí)，只需要修改該對(duì)象屬性即可，而無(wú)需修改所有相關(guān)的測(cè)試腳本。各測(cè)試用例也會(huì)用到相同的測(cè)試環(huán)境，將該測(cè)試環(huán)境獨(dú)立封裝，在各個(gè)測(cè)試用例中靈活調(diào)用，也能增強(qiáng)腳本的可維護(hù)性。當(dāng)測(cè)試工具沒(méi)有需要的方法時(shí)，而該方法又會(huì)被經(jīng)常使用，我們便需要自己編寫(xiě)該方法，以方便腳本的調(diào)用。也許一個(gè)測(cè)試用例需要執(zhí)行很多個(gè)測(cè)試數(shù)據(jù)，我們便可將測(cè)試數(shù)據(jù)放在一個(gè)獨(dú)立的文件中，由測(cè)試腳本執(zhí)行到該用例時(shí)讀取數(shù)據(jù)文件，從而達(dá)到數(shù)據(jù)覆蓋的目的。 第三章 軟件測(cè)試的過(guò)程 27 第三章 軟件測(cè)試的過(guò)程 軟件測(cè)試過(guò)程概述 軟件測(cè)試過(guò)程是一種抽象的模型，用于定義軟件測(cè)試的流程和方法。軟件測(cè)試過(guò)程和 軟件開(kāi)發(fā) 過(guò)程一樣，都遵循軟件工程原理，遵循管理學(xué)原理。這些模型將測(cè)試活動(dòng)進(jìn)行了抽象，并與開(kāi)發(fā)活動(dòng)有機(jī)的進(jìn)行了結(jié)合，是測(cè)試過(guò)程管理的重要參考依據(jù)。 如圖 、 、 、 所示。 針對(duì)這些模型與軟件的特點(diǎn)我們采用 IEEE 定義軟件測(cè)試過(guò)程分為：?jiǎn)卧獪y(cè)試，集成測(cè)試，確認(rèn)測(cè)試，系統(tǒng)測(cè)試，驗(yàn)收測(cè)試。 圖 軟件測(cè)試的過(guò)程流程 單元 測(cè)試 單元 測(cè)試 單元 測(cè)試 集成 測(cè)試 集成 測(cè)試 確認(rèn) 測(cè)試 系統(tǒng) 測(cè)試 * 這三個(gè)測(cè)試可能交叉與前后互換 被測(cè)模塊 被測(cè)模塊 被測(cè)模塊 設(shè)計(jì)信息 單元 軟件需求 其它元素 用戶(hù)信息 其它元素 * * 驗(yàn)收 測(cè)試 * 交付用戶(hù) 軟件測(cè)試方法與 測(cè)試過(guò)程的分析與研究 30 單元測(cè)試 單元測(cè)試是針對(duì)每個(gè)單元的測(cè)試， 以確保每個(gè)模塊能正常工作為目標(biāo)。 單元測(cè)試需要從程序的內(nèi)部結(jié)構(gòu)出發(fā)設(shè)計(jì)測(cè)試用例。 1. 單元測(cè)試的內(nèi)容 在單元測(cè)試時(shí)，測(cè)試者需要依據(jù)詳細(xì)設(shè)計(jì)說(shuō)明書(shū)和源程序清單，了解該模塊的 I/O 條件和模塊的邏輯結(jié)構(gòu)，主要采用白盒測(cè)試的測(cè)試用例，輔之以黑盒測(cè)試的測(cè)試用例，使之對(duì)任何合理的輸入和不合理的輸入，都能鑒別和響應(yīng)。測(cè)試項(xiàng)目包括：調(diào)用本模塊的輸入?yún)?shù)是否正確；本模塊調(diào)用子模塊時(shí)輸入給子模塊的參數(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)型。 (3) 路徑測(cè)試 第三章 軟件測(cè)試的過(guò)程 31 路經(jīng)測(cè)試主要針對(duì)：選擇適當(dāng)?shù)臏y(cè)試用例，對(duì)模塊中重要的執(zhí)行路徑進(jìn)行測(cè)試。對(duì)基本執(zhí)行路徑和循環(huán)進(jìn)行測(cè)試可以發(fā)現(xiàn)大量的路徑錯(cuò)誤。 (5) 邊界測(cè)試 邊界測(cè)試主要包括：注意數(shù)據(jù)流、控制流中剛好等于、大于或小于確定的比較值時(shí)出錯(cuò)的可能性。如果對(duì)模塊運(yùn)行時(shí)間有要求的話，還 要專(zhuān)門(mén)進(jìn)行關(guān)鍵路徑測(cè)試，以確定最壞情況下和平均意義下影響模塊運(yùn)行時(shí)間的因素。它接收數(shù)據(jù)，將相關(guān)數(shù)據(jù)傳送給被測(cè)模塊，啟動(dòng)被測(cè)模塊，并打印出相應(yīng)的結(jié)果。它們一般只進(jìn)行很少的數(shù)據(jù)處理。必須對(duì)其中的每個(gè)小程序先進(jìn)行單元測(cè)試要做的工作，對(duì)關(guān)鍵模塊還要做性能測(cè)試。有人把這種情況特別軟件測(cè)試方法與 測(cè)試過(guò)程的分析與研究 32 稱(chēng)為模塊測(cè)試，以區(qū)別單元測(cè)試。目的在于檢驗(yàn)與軟件設(shè)計(jì)相關(guān)的程序結(jié)構(gòu)問(wèn)題。 在單元測(cè)試的同時(shí)可進(jìn)行集成測(cè)試，發(fā)現(xiàn)并排除在模塊連接中可能出現(xiàn)的問(wèn)題，最終構(gòu)成要求的軟件系統(tǒng)。 通常，把模塊集成成為系統(tǒng)的方式有兩種，一次性集成方式，增殖式集成方式。也叫做整體拼裝。 2. 增殖式集成方式 第三章 軟件測(cè)試的過(guò)程 33 這種集成方式又稱(chēng)漸增式集成。 (1) 自頂向下的增殖方式。自頂向下的增殖方式在測(cè)試過(guò)程中較早地驗(yàn)證了主要的控制和判斷 點(diǎn)。 (2) 自底向上的增殖方式。 因?yàn)槟K是自底向上進(jìn)行組裝，對(duì)于一個(gè)給定層次的模塊，它的子模塊（包括子模塊的所有下屬模塊）已經(jīng)組裝并測(cè)試完成，所以不再需要樁模塊。 自頂向下增殖的方式和自底向上增殖的方式各有優(yōu)缺點(diǎn)。 (3) 混合增殖式測(cè)試。再自底向上組裝成為功能相當(dāng)完整且相對(duì)獨(dú)立的子系統(tǒng) 。 自底向上 自頂向下的增殖測(cè)試，首先對(duì)含讀操作的子系統(tǒng)自底向上直至根結(jié)點(diǎn)模塊進(jìn)行組裝和測(cè)試 。 回歸測(cè)試，這種方式采取自頂向下的方式測(cè)試被修改的模塊及其子模塊 。 關(guān)鍵模塊問(wèn)題，在組裝測(cè)試時(shí)，應(yīng)當(dāng)確定關(guān)鍵模塊，對(duì)這些關(guān)鍵模塊及早進(jìn)行測(cè)試。 確認(rèn)測(cè)試 確認(rèn)測(cè)試又稱(chēng)有效性測(cè)試。對(duì)軟件功能和性能要求在軟件需求規(guī)格說(shuō)明書(shū)中已經(jīng)明確規(guī)定。 1. 進(jìn)行有效性測(cè)試（黑盒測(cè)試） 有效性測(cè)試是在模擬的環(huán)境 (可能就是開(kāi)發(fā)的環(huán)境 ) 下，運(yùn)用黑盒測(cè)試的方法，驗(yàn)證被測(cè)軟件是否滿(mǎn)足需求規(guī)格說(shuō)明書(shū)列出的需求。還需要制定一組測(cè)試步驟，描述具體的測(cè)試用例。這說(shuō)明軟件的這部分功能或性能特征與需求規(guī)格說(shuō)明書(shū)相符合，從而這部分程序被接受。這 第三章 軟件測(cè)試的過(guò)程 35 說(shuō)明軟件的這部分功能或性能特征與需求規(guī)格說(shuō)明不一致，因此要為它提交一 份問(wèn)題報(bào)告。應(yīng)當(dāng)嚴(yán)格遵守用戶(hù)手冊(cè)和操作手冊(cè)中規(guī)定的使用步驟，以便檢查這些文檔資料的完整性和正確性。 系統(tǒng)測(cè)試的目的在于通過(guò)與系統(tǒng)的需求定 義作比較 , 發(fā)現(xiàn)軟件與系統(tǒng)的定義不符合或與之矛盾的地方。驗(yàn)收測(cè)試是以用戶(hù)為主的測(cè)試。由用戶(hù)參加設(shè)計(jì)測(cè)試用例，使用生產(chǎn)中的實(shí)際數(shù)據(jù)進(jìn)行測(cè)試。確認(rèn)測(cè)試應(yīng)交付的文檔有：確認(rèn)測(cè)試分析報(bào)告，最終的用戶(hù)手冊(cè)和操作手冊(cè)，項(xiàng)目開(kāi)發(fā)總結(jié)報(bào)軟件測(cè)試方法與 測(cè)試過(guò)程的分析與研究 36 告。自動(dòng)回歸測(cè)試將大幅降低系統(tǒng)測(cè)試、維護(hù)升級(jí)等階段的成本。在漸進(jìn)和快速迭代開(kāi)發(fā)中，新版本的連續(xù)發(fā)布使回歸測(cè)試進(jìn)行的更加頻繁，而在極端編程方法中，更是要求每天都進(jìn)行若干次回歸測(cè)試。 第四章 軟件測(cè)試用例 35 第四章 軟件測(cè)試用例 目的 1．掌握黑盒測(cè)試方法在軟件測(cè)試 中的應(yīng)用； 2．掌握白盒測(cè)試方法在軟件測(cè)試中的應(yīng)用。整型數(shù) a、 b、 c 滿(mǎn)足以下條件： C1： 100≤ a≤ 100 C2： 100≤ b≤ 100 C3： 100≤ c≤ 100 程序的輸出是由這 3 個(gè)系數(shù)確定的一元二次方程的解的情況，有 7 種情況：無(wú)解、有一個(gè)實(shí)數(shù)解、有兩個(gè)相等的實(shí)數(shù)解、有兩個(gè)不等的實(shí)數(shù)解、有兩個(gè)純虛數(shù)解、有兩個(gè)不等的復(fù)數(shù)解、有無(wú)窮多個(gè)解。 （ 2）流程圖（如圖 ）及程序代碼 (見(jiàn)附錄 A) 軟件測(cè)試方法與 測(cè)試過(guò)程的分析與研究 36 第四章 軟件測(cè)試用例 37 輸 入 a 、 b 、 cd = b 178。由于邊界值分析假設(shè)變量是完全獨(dú)立的，因此邊界值分析法具有一定的局限性，只能作為本程序的初步測(cè)試。此一元二次方程根據(jù)輸入變量 a、 b、 c 的值，決定其解的情況。因此可以采用黑盒測(cè)試技術(shù)的等價(jià)類(lèi)劃分法設(shè)計(jì)測(cè)試用例，對(duì)程序進(jìn)行測(cè)試。 由于具有程序的源代碼，因此可以采 用白盒測(cè)試技術(shù)對(duì)程序進(jìn)行邏輯覆蓋測(cè)試。我們采用獨(dú)立路徑的方法來(lái)設(shè)計(jì)測(cè)試用例，可以有效地提高測(cè)試的質(zhì)量和效率。 如圖 所示的程序圖從入口結(jié)點(diǎn) A 到出口結(jié)點(diǎn) G 之間共有 ５ 條獨(dú)立路徑，程序圖中的結(jié)點(diǎn) A、 B、 D、 C 為判定結(jié)點(diǎn)。 （ 4）設(shè)計(jì)測(cè)試用例 ① 邊界值分析法設(shè)計(jì)測(cè)試用例 邊界值測(cè)試的基本思想是在最小值、略大于最小值、正常值、略小于最大值、最大值處選取輸入變量 a、 b、 c 的值。一元二次方程求解程序輸入 3 個(gè)變量 的值，表 給出邊界值分析測(cè)試應(yīng)當(dāng)產(chǎn)生的 4 3+1=13 個(gè)測(cè)試用例。由于此一元二次方程求解程序的異常處理不是很重要，因此只對(duì)合理等價(jià)類(lèi)設(shè)計(jì)測(cè)試用例進(jìn)行測(cè)試即可。 表 等價(jià)類(lèi)劃分測(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 一元二次方程無(wú)解！ Test6 0 0 0 一元二次方程有無(wú)窮多解！ Test7 5 0 5 一元二次方程有兩個(gè)純虛數(shù)解！ ③ 基于判定表方法設(shè)計(jì)測(cè)試用例 設(shè)計(jì)判定表，可以把條件解釋為輸入，把動(dòng)作解釋為輸出，再根據(jù)判定表設(shè) 第四章 軟件測(cè)試用例 41 計(jì)測(cè)試用例。 表 一元二次方程問(wè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： 一元二次方程無(wú)解！ √ A2： 一元二次方程有一個(gè)實(shí)數(shù)解！ √ A3： 一元二次方程有兩個(gè)相等的實(shí)數(shù)解！ √ A4： 一元二次方程有兩個(gè)不等的實(shí)數(shù)解！ √ A5： 一元二次方程有兩個(gè)不等的復(fù)數(shù)解！ √ A6： 一元二次方程有無(wú)窮