【正文】 件在能力達(dá)到極限時(shí)能夠運(yùn)行，那么在正常情況下一般也就不會(huì)有什么問題。 第二章 軟件測(cè)試基本技術(shù) 27 那么邊界問題在哪兒呢？ 在大多數(shù)開發(fā)語(yǔ)言腳本中，應(yīng)當(dāng)以聲明的范圍定義數(shù)組，在本例中定義語(yǔ)句是 dim data（ 10） as interger，第一個(gè)創(chuàng)建的元素是 data（ 0），而不是 data（ 1）。它們?cè)诋a(chǎn)品說(shuō)明書中有定義，或者在使用軟件的過(guò)程中確定。 表 部分 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。例如，如果測(cè)試的文本框只接受用戶輸入字符 A～ Z和 a～ z，就應(yīng)該在非法區(qū)間中包含 ASCII 表中這些字符前后的值 、 [ 、 和 { 。④ 根據(jù)規(guī)格說(shuō)明的每個(gè)輸出條件，應(yīng)用前面的原則②。靜態(tài)方法通過(guò)程序靜態(tài)特性的分析，找出欠缺和可疑之處，例如不匹配的參數(shù)、不適當(dāng)?shù)难h(huán)嵌套和分支嵌套、不允許的遞歸、未使用過(guò)的變量、空指針的引用和可疑的計(jì)算等。 自動(dòng)化測(cè)試 自動(dòng)化測(cè)試概念 自動(dòng)化測(cè)試是把以人為驅(qū)動(dòng)的測(cè)試行為轉(zhuǎn)化為機(jī)器執(zhí)行的一種過(guò)程。 (2)項(xiàng)目周期足夠長(zhǎng) 自動(dòng)化測(cè)試需求的確定、自動(dòng)化測(cè)試框架的設(shè)計(jì)、測(cè)試腳本的編寫與調(diào)試均需要相當(dāng)長(zhǎng)的時(shí)間來(lái)完成，這樣的過(guò)程本身就是一個(gè)測(cè)試軟件的開發(fā)過(guò)程，需要較長(zhǎng)的時(shí)間來(lái)完成。 (2)自動(dòng)化測(cè)試框架的搭建 所謂自動(dòng)化測(cè)試框架便是像軟件架構(gòu)一般，定義了在使用該套腳本時(shí)需要調(diào)用哪些文件、結(jié)構(gòu)，調(diào)用的過(guò)程，以及文件結(jié)構(gòu)如何劃分。當(dāng)測(cè)試工具沒有需要的方法時(shí)，而該方法又會(huì)被經(jīng)常使用，我們便需要自己編寫該方法，以方便腳本的調(diào)用。這些模型將測(cè)試活動(dòng)進(jìn)行了抽象，并與開發(fā)活動(dòng)有機(jī)的進(jìn)行了結(jié)合，是測(cè)試過(guò)程管理的重要參考依據(jù)。 單元測(cè)試需要從程序的內(nèi)部結(jié)構(gòu)出發(fā)設(shè)計(jì)測(cè)試用例。 (3) 路徑測(cè)試 第三章 軟件測(cè)試的過(guò)程 31 路經(jīng)測(cè)試主要針對(duì)：選擇適當(dāng)?shù)臏y(cè)試用例，對(duì)模塊中重要的執(zhí)行路徑進(jìn)行測(cè)試。它接收數(shù)據(jù)，將相關(guān)數(shù)據(jù)傳送給被測(cè)模塊，啟動(dòng)被測(cè)模塊，并打印出相應(yīng)的結(jié)果。目的在于檢驗(yàn)與軟件設(shè)計(jì)相關(guān)的程序結(jié)構(gòu)問題。 2. 增殖式集成方式 第三章 軟件測(cè)試的過(guò)程 33 這種集成方式又稱漸增式集成。 因?yàn)槟K是自底向上進(jìn)行組裝，對(duì)于一個(gè)給定層次的模塊，它的子模塊（包括子模塊的所有下屬模塊）已經(jīng)組裝并測(cè)試完成，所以不再需要樁模塊。 自底向上 自頂向下的增殖測(cè)試，首先對(duì)含讀操作的子系統(tǒng)自底向上直至根結(jié)點(diǎn)模塊進(jìn)行組裝和測(cè)試 。對(duì)軟件功能和性能要求在軟件需求規(guī)格說(shuō)明書中已經(jīng)明確規(guī)定。這 第三章 軟件測(cè)試的過(guò)程 35 說(shuō)明軟件的這部分功能或性能特征與需求規(guī)格說(shuō)明不一致，因此要為它提交一 份問題報(bào)告。由用戶參加設(shè)計(jì)測(cè)試用例，使用生產(chǎn)中的實(shí)際數(shù)據(jù)進(jìn)行測(cè)試。 第四章 軟件測(cè)試用例 35 第四章 軟件測(cè)試用例 目的 1．掌握黑盒測(cè)試方法在軟件測(cè)試 中的應(yīng)用； 2．掌握白盒測(cè)試方法在軟件測(cè)試中的應(yīng)用。此一元二次方程根據(jù)輸入變量 a、 b、 c 的值，決定其解的情況。 如圖 所示的程序圖從入口結(jié)點(diǎn) A 到出口結(jié)點(diǎn) G 之間共有 ５ 條獨(dú)立路徑，程序圖中的結(jié)點(diǎn) A、 B、 D、 C 為判定結(jié)點(diǎn)。 表 等價(jià)類劃分測(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è)試用例。一元二次方程求解程序輸入 3 個(gè)變量 的值，表 給出邊界值分析測(cè)試應(yīng)當(dāng)產(chǎn)生的 4 3+1=13 個(gè)測(cè)試用例。 由于具有程序的源代碼，因此可以采 用白盒測(cè)試技術(shù)對(duì)程序進(jìn)行邏輯覆蓋測(cè)試。 （ 2）流程圖（如圖 ）及程序代碼 (見附錄 A) 軟件測(cè)試方法與 測(cè)試過(guò)程的分析與研究 36 第四章 軟件測(cè)試用例 37 輸 入 a 、 b 、 cd = b 178。自動(dòng)回歸測(cè)試將大幅降低系統(tǒng)測(cè)試、維護(hù)升級(jí)等階段的成本。 系統(tǒng)測(cè)試的目的在于通過(guò)與系統(tǒng)的需求定 義作比較 , 發(fā)現(xiàn)軟件與系統(tǒng)的定義不符合或與之矛盾的地方。還需要制定一組測(cè)試步驟，描述具體的測(cè)試用例。 關(guān)鍵模塊問題，在組裝測(cè)試時(shí)，應(yīng)當(dāng)確定關(guān)鍵模塊，對(duì)這些關(guān)鍵模塊及早進(jìn)行測(cè)試。 (3) 混合增殖式測(cè)試。自頂向下的增殖方式在測(cè)試過(guò)程中較早地驗(yàn)證了主要的控制和判斷 點(diǎn)。 通常，把模塊集成成為系統(tǒng)的方式有兩種，一次性集成方式，增殖式集成方式。必須對(duì)其中的每個(gè)小程序先進(jìn)行單元測(cè)試要做的工作，對(duì)關(guān)鍵模塊還要做性能測(cè)試。 (5) 邊界測(cè)試 邊界測(cè)試主要包括：注意數(shù)據(jù)流、控制流中剛好等于、大于或小于確定的比較值時(shí)出錯(cuò)的可能性。測(cè)試項(xiàng)目包括：調(diào)用本模塊的輸入?yún)?shù)是否正確；本模塊調(diào)用子模塊時(shí)輸入給子模塊的參數(shù)是否正確；全局量的定義在各模塊中是否一致。 針對(duì)這些模型與軟件的特點(diǎn)我們采用 IEEE 定義軟件測(cè)試過(guò)程分為：?jiǎn)卧獪y(cè)試，集成測(cè)試，確認(rèn)測(cè)試，系統(tǒng)測(cè)試，驗(yàn)收測(cè)試。 第三章 軟件測(cè)試的過(guò)程 27 第三章 軟件測(cè)試的過(guò)程 軟件測(cè)試過(guò)程概述 軟件測(cè)試過(guò)程是一種抽象的模型，用于定義軟件測(cè)試的流程和方法。當(dāng)這些對(duì)象的屬性因?yàn)樾枨蟮淖兏淖儠r(shí)，只需要修改該對(duì)象屬性即可，而無(wú)需修改所有相關(guān)的測(cè)試腳本。比如性能測(cè)試、配臵測(cè)試、大數(shù)據(jù)量輸入測(cè)試等。通常需要同時(shí)滿足以下條件： (1)軟件需求變動(dòng)不頻繁 測(cè)試腳本的穩(wěn)定性決定了自動(dòng)化測(cè)試的維護(hù)成本。 軟件測(cè)試方法與 測(cè)試過(guò)程的分析與研究 30 (2)流圖分析是通過(guò)分析程序流程圖的代碼結(jié)構(gòu)，來(lái)檢查程序的語(yǔ)法錯(cuò)誤信息、語(yǔ)句中標(biāo)識(shí)符引用狀況、子程序和函數(shù)調(diào)用狀況及無(wú)法執(zhí)行到的代碼段。黑盒測(cè)試還有非功能測(cè)試等諸多方法，在這里我就不作一一介紹了。邊界值分析法不僅重視輸入條件邊界，而且也適用于輸出域測(cè)試用例。大寫字母 A～Z 對(duì)應(yīng) 65～ 90。 ASCII 表就是這樣的例子。如果這位程序員以后忘記了，或者其他程序員不知道這個(gè)數(shù)據(jù)數(shù)組是如何初始化的，那么他就可能會(huì)用 到數(shù)組的第1 個(gè)元素 data（ 0），以為它的值是 – 1。 rem create a 10 element integer array rem initialize each element to– 1 dim data（ 10） as integer dim i as integer for i=1 to 10 data（ i） = – 1 next i end 這段代碼的意圖是創(chuàng)建包含 10個(gè)元素的數(shù)組，并為數(shù)組中的每一個(gè)元素賦初值 – 1。問題恰恰出現(xiàn)在容易被疏忽的邊界附近。科學(xué)有時(shí)也是一門藝術(shù)。如果它們能夠構(gòu)成三角形的 3條邊，必須滿足： A0， B0， C0，且 A+BC， B+CA， A+CB。這是一種直覺，一個(gè)是普通加法，而另一個(gè)似乎有些特殊，這個(gè)直覺是對(duì)的。 表 等價(jià)類表示例表 輸入條件 有效等價(jià)類 無(wú)效等價(jià)類 輸入條件 有效等價(jià)類 無(wú)效等價(jià)類 … … … … … … (2) 確定測(cè)試用例 根據(jù)已列出的等價(jià)類表，按以下步驟確定測(cè)試用例： ○ 1 為每個(gè)等價(jià)類規(guī)定一個(gè)惟一的編號(hào)。這樣的測(cè)試才能確保軟件具有更高的可靠性。并合理地假定：測(cè)試某等價(jià)類的代表值就等于對(duì)這一類其他值的測(cè)試。 黑盒測(cè)試方法的介紹 1. 黑盒測(cè)試之等價(jià)類 劃分 法 等價(jià)類劃分是一種典型的黑盒測(cè)試方法，用這一方法設(shè)計(jì)測(cè)試用例完全不考慮程序的內(nèi)部結(jié)構(gòu)，只根據(jù)對(duì)程序的要 求和說(shuō)明，即需求規(guī)格說(shuō)明書。在測(cè)試中，把程序看作一個(gè)不能打開的黑盒子，在完全不考慮程序內(nèi)部結(jié)構(gòu)和內(nèi)部特性的情況下，在程序接口進(jìn)行測(cè)試，它只檢查程序功能是否按照需求規(guī)格 說(shuō)明書的規(guī)定正常使用，程序是否能適當(dāng)?shù)亟邮蛰斎霐?shù)據(jù)而產(chǎn)生正確的輸出信息。 } 若允許循環(huán)的最大次數(shù)為 6， k 取值分別為： 0：跳過(guò)循環(huán) 1， 2：只執(zhí)行 1， 2 次循環(huán) 4：執(zhí)行 4 次循環(huán) 5， 6， 7：執(zhí)行 n1， n， n+1 次循環(huán) （ 2 如果把簡(jiǎn)單循環(huán)的測(cè)試方法直接應(yīng)用到嵌套循環(huán)，可能的測(cè)試數(shù)就會(huì)隨嵌套 層數(shù)的增加按幾何級(jí)數(shù)增長(zhǎng)，這會(huì)導(dǎo)致不切實(shí)際的測(cè)試數(shù)目。 〃 跳過(guò)循環(huán)。 a≠ 2, x1。它的含義是，選取足夠多的測(cè)試數(shù)據(jù)，使得判定表達(dá)式中的每個(gè)條件都取到各種可 能的值，而且每個(gè)判定表達(dá)式也都取到各種可能的結(jié)果。 【例】為下列代碼設(shè)計(jì)測(cè)試用例： if a1 and b=0 then x=x/a if a=2 or x1 then x=x+1 第二章 軟件測(cè)試基本技術(shù) 15 圖 被測(cè)試代碼段的流程圖和被測(cè)試代碼段的程序圖 （ 1）語(yǔ)句覆蓋 為了暴露程序中 的錯(cuò)誤，至少每個(gè)語(yǔ)句應(yīng)該執(zhí)行一次。 （ 3） 導(dǎo)出測(cè)試用例，列出路徑： Path1： 2342728 Path2： 2378262728 Path3： 237111225262728 Path4： 2371115162425262728 Path5： 23711151920232425262728 Path6： 23711151922232425262728 （ 4） 設(shè)計(jì)測(cè)試用例 根據(jù)第 3 步中給出的路徑 ，下面設(shè)計(jì)測(cè)試用例列在表 中 。 /*1*/． void ReadPara( CString temp) /*2*/． { /*3*/． if ( temp = = =) /*4*/． (0)。 1436257 812 , 367 84 , 591011（ a ） 程序流程圖（ b ） 程序圖結(jié)點(diǎn)邊區(qū)域109 軟件測(cè)試方法與 測(cè)試過(guò)程的分析與研究 10 圖 控制流程圖和控制流圖 第二步：計(jì)算圈復(fù)雜度 圈復(fù)雜度是一種為程序邏輯復(fù)雜性提供定量測(cè)度的軟件度 量，將該度量用于計(jì)算程序的基本的獨(dú)立路徑數(shù)目，為確保所有語(yǔ)句至少執(zhí)行一次的測(cè)試數(shù)量的上界。 第二章 軟件測(cè)試基本技術(shù) 9 邊和結(jié)點(diǎn)圈定的區(qū)域叫做區(qū)域，當(dāng)對(duì)區(qū)域計(jì)數(shù)時(shí)，圖形外的區(qū)域也應(yīng)記為一個(gè)區(qū)域。從程序的環(huán)路復(fù)雜性可導(dǎo)出程序基本路徑集合中的獨(dú)立路徑條數(shù)，這是確定程序中每個(gè)可執(zhí)行語(yǔ)句至少執(zhí)行一次所必須的測(cè)試用例數(shù)目的上界。在選購(gòu)白盒測(cè)試工具時(shí)，應(yīng)當(dāng)考慮該款測(cè)試工具的可視化是否良好，例如：測(cè)試過(guò)程中是否可以顯示覆蓋率的函數(shù)分布圖和上升趨勢(shì)圖，是否使用不同的顏色區(qū)分已執(zhí)行和未執(zhí)行的代碼段顯示分配內(nèi)存情況實(shí)時(shí)圖表等，這些對(duì)于測(cè)試效率和測(cè)試質(zhì)量的提高是具有很大的作用的。 白盒測(cè)試的工具 白盒測(cè)試目前主要用在具有高可靠性要求的軟件領(lǐng)域，例如：軍工軟件、航天航空軟件、工業(yè)控制軟件等等。 白盒法全面了解程序內(nèi)部邏輯結(jié)構(gòu)、對(duì)所有邏輯路徑進(jìn)行測(cè)試。黑盒測(cè)試一般可分為功能測(cè)試和非功能測(cè)試兩大類；功能測(cè)試主要包括等價(jià)類劃分、邊值分析、因果圖法、錯(cuò)誤推測(cè)、功能圖法等，主要用于軟件確認(rèn)測(cè)試；非功能測(cè)試主要包括使用性能測(cè)試、性能測(cè)試、強(qiáng)度測(cè)試、兼容性測(cè)試、配臵測(cè)試、安全測(cè)試等。第一，要根據(jù)程序的重要性和一旦發(fā)生故障將造成的損失來(lái)確定它的測(cè)試等級(jí)；第二，要認(rèn)真研究測(cè)試策略，以便能使用盡可能少的測(cè)試用例，發(fā)現(xiàn)盡可能多的程序錯(cuò)誤。第一，窮舉路徑測(cè)試決不能查出程序違反了設(shè)計(jì)規(guī)范，即程序本身是個(gè)錯(cuò)誤的程序。 軟件測(cè)試方法與 測(cè)試過(guò)程的分析與研究 4 此外，按照測(cè)試目的劃分還包括強(qiáng)度測(cè)試、壓力測(cè)試、用戶界面測(cè)試、安全測(cè)試、可靠性測(cè)試、安裝 \反安裝測(cè)試、文檔測(cè)試、恢復(fù)測(cè)試和兼容性測(cè)試。 軟件測(cè)試框圖說(shuō)明 圖 1— 1 軟件測(cè)試框圖 軟件測(cè)試原則和分類 軟件測(cè)試的基本原則 為了進(jìn)行有效的測(cè)試，測(cè)試工程師必須掌握軟件測(cè)試的基本原則， 軟件修復(fù) 事故 缺陷 缺陷 缺陷 錯(cuò)誤 錯(cuò)誤 錯(cuò)誤 錯(cuò)誤 需求規(guī)格說(shuō)明 設(shè)計(jì) 編碼 測(cè)試 缺陷分類 缺陷隔離 缺陷解決 第一章 緒論 3 測(cè)試的幾大原則： ； 測(cè)試自己的程序； ； 確的態(tài)度； ，物以類聚