面向?qū)ο筌浖y(cè)試-STMT

1、Zhu.KKerry ZhuZhu.K軟件測(cè)試方法和技術(shù)軟件測(cè)試方法和技術(shù)第第2版版第第8章章 面向?qū)ο筌浖臏y(cè)試面向?qū)ο筌浖臏y(cè)試 第七章回顧Zhu.K驗(yàn)收測(cè)試過程驗(yàn)收測(cè)試過程產(chǎn)品規(guī)格說(shuō)明書的驗(yàn)證產(chǎn)品規(guī)格說(shuō)明書的驗(yàn)證用戶界面和可用性測(cè)試用戶界面和可用性測(cè)試兼容性測(cè)試兼容性測(cè)試可安裝性和可恢復(fù)性測(cè)試可安裝性和可恢復(fù)性測(cè)試文檔測(cè)試文檔測(cè)試第八章：面向?qū)ο筌浖臏y(cè)試 Zhu.K8.1面向?qū)ο筌浖y(cè)試概述 8.2面向?qū)ο蟮膯卧獪y(cè)試 8.3面向?qū)ο蟮募蓽y(cè)試 8.4 基于客戶角度的Java 測(cè)試8.5基于程序角度的Java測(cè)試8.18.1概述概述 Zhu.K 我們生活在一個(gè)對(duì)象的世界里我們生活在一個(gè)對(duì)

2、象的世界里，每個(gè)對(duì)象有一定的屬性屬性，把屬性相同的對(duì)象進(jìn)行歸納就形成類類，如家具就可以看作類，其主要的屬性有價(jià)格、尺寸、重量、位置和顏色等，無(wú)論我們談?wù)撟雷?、椅子還是沙發(fā)、衣櫥，這些屬性總是可用的，因?yàn)樗鼈兌际羌揖叨^承了為類定義的所有屬性。實(shí)際上，計(jì)算機(jī)軟件所創(chuàng)建的面向?qū)ο笏枷胪瑯觼?lái)源于生活。 除了屬性之外，每個(gè)對(duì)象可以被一系列不同的方式操縱操縱，它可以被買賣、移動(dòng)、修改(如漆上不同的顏色)。這些操作或方法將改變對(duì)象的一個(gè)或多個(gè)屬性。這樣所有對(duì)類的合法操作可以和對(duì)象的這樣所有對(duì)類的合法操作可以和對(duì)象的定義聯(lián)系在一起，并且被類的所有實(shí)例繼承。定義聯(lián)系在一起，并且被類的所有實(shí)例繼承。面向?qū)ο竺嫦?/p>

3、對(duì)象(object-oriented) Zhu.K面向?qū)ο竺嫦驅(qū)ο?object-oriented) = 對(duì)象對(duì)象 + 分類分類 + 繼承繼承 + 通信通信類與子類的測(cè)試類與子類的測(cè)試Zhu.K假設(shè)類假設(shè)類D是類是類C的子類，類的子類，類C已進(jìn)行了充分的測(cè)已進(jìn)行了充分的測(cè)試試分層與增量分層與增量 Zhu.K派生類D是C的子類，那么所有的用于C的基于規(guī)范的測(cè)試用例也都適用于D。引入術(shù)語(yǔ)“繼承的測(cè)試用例繼承的測(cè)試用例”來(lái)代表從父類測(cè)試用例中選取出來(lái)的、用于子類的測(cè)試用例。可以通過增量變化分析來(lái)確定繼承的測(cè)試用例中哪些在測(cè)試子類時(shí)必須執(zhí)行、哪些可以不執(zhí)行。 合理的分析，有利于找合理的分析，有利于找出

4、更有價(jià)值的測(cè)試用例。出更有價(jià)值的測(cè)試用例。分層與增量分層與增量 -測(cè)試用例選擇測(cè)試用例選擇D的接口中添加新的操作添加新的操作，并且有可能是D中的一個(gè)新方法實(shí)現(xiàn)的新操作。新操作引入了新的功能/代碼，這些都需要測(cè)試。 p在D中改變改變那些在C中聲明的操作規(guī)范，需要為操作添加新的基于規(guī)范的測(cè)試用例。附加的測(cè)試用例提供了符合其前置條件的新輸入，并且對(duì)由任何加強(qiáng)了的后置條件導(dǎo)致的新的期望結(jié)果進(jìn)行檢查 。p在D中覆蓋那些在C中實(shí)現(xiàn)了某個(gè)操作并且被D繼承了的方法，可以復(fù)用于該方法的所有繼承來(lái)的基于規(guī)范的測(cè)試用例 。p在D中添加新的實(shí)例變量實(shí)例變量來(lái)實(shí)現(xiàn)更多的狀態(tài)和/或?qū)傩?，最有可能與新的操作和/或重載方法中

5、代碼有關(guān)，而且關(guān)系到對(duì)測(cè)試的處理。p在D中改變類常量類常量。類常量累計(jì)成每個(gè)測(cè)試用例的附加的后置條件。Zhu.K面向?qū)ο髮哟谓Y(jié)構(gòu)測(cè)試重點(diǎn)面向?qū)ο髮哟谓Y(jié)構(gòu)測(cè)試重點(diǎn)Zhu.K對(duì)認(rèn)定的對(duì)象的測(cè)試對(duì)認(rèn)定的對(duì)象的測(cè)試 OOA（面向?qū)ο蠓治觯┲姓J(rèn)定的對(duì)象是對(duì)問題空間中的結(jié)構(gòu)、其他系統(tǒng)、設(shè)備、被記憶的事件、系統(tǒng)涉及的人員等實(shí)際實(shí)例的抽象。對(duì)它的測(cè)試可以從如下方面考慮：p認(rèn)定的對(duì)象是否全面認(rèn)定的對(duì)象是否全面，其名稱應(yīng)該盡量準(zhǔn)確、適用，是否問題空間中所涉及到的實(shí)例都反映在認(rèn)定的抽象對(duì)象中。p認(rèn)定的對(duì)象是否具有多個(gè)屬性認(rèn)定的對(duì)象是否具有多個(gè)屬性。只有一個(gè)屬性的對(duì)象通常應(yīng)看作其他對(duì)象的屬性而不是抽象為獨(dú)立的對(duì)象p對(duì)

6、認(rèn)定為同一對(duì)象的實(shí)例是否有共同的、區(qū)別于其他實(shí)例的共同屬共同屬性，是否提供或需要相同的服務(wù)性，是否提供或需要相同的服務(wù)，如果服務(wù)隨著不同的實(shí)例而變化，認(rèn)定的對(duì)象就需要分解或利用繼承性來(lái)分類表示。p如果系統(tǒng)沒有必要始終保持對(duì)象代表的實(shí)例信息實(shí)例信息，提供或者得到關(guān)于它的服務(wù)，認(rèn)定的對(duì)象也無(wú)必要。面向?qū)ο髮哟谓Y(jié)構(gòu)測(cè)試重點(diǎn)面向?qū)ο髮哟谓Y(jié)構(gòu)測(cè)試重點(diǎn)Zhu.K對(duì)認(rèn)定的結(jié)構(gòu)的測(cè)試對(duì)認(rèn)定的結(jié)構(gòu)的測(cè)試 認(rèn)定的結(jié)構(gòu)指的是多種對(duì)象的組織方式，用來(lái)反映問題空間中的復(fù)雜實(shí)例和復(fù)雜關(guān)系。認(rèn)定的分類結(jié)構(gòu)測(cè)試要點(diǎn)：p處于高層的對(duì)象，是否在問題空間中含有不同于下一層對(duì)象的特殊可能性，即是否能派生出下一層對(duì)象。p處于同一低層的

7、對(duì)象，是否能抽象出在現(xiàn)實(shí)中有意義的更一般的上層對(duì)象。p對(duì)所有認(rèn)定的對(duì)象，是否能在問題空間內(nèi)向上層抽象出在現(xiàn)實(shí)中有意義的對(duì)象。p高層的對(duì)象的特性是否完全體現(xiàn)下層的共性，低層的對(duì)象是否有高層特性基礎(chǔ)上的特殊性。面向?qū)ο髮哟谓Y(jié)構(gòu)測(cè)試重點(diǎn)面向?qū)ο髮哟谓Y(jié)構(gòu)測(cè)試重點(diǎn)Zhu.K對(duì)構(gòu)造的類層次結(jié)構(gòu)的測(cè)試對(duì)構(gòu)造的類層次結(jié)構(gòu)的測(cè)試 為了能充分發(fā)揮面向?qū)ο罄^承共享特性，OOD（面向?qū)ο笤O(shè)計(jì)）的類層次結(jié)構(gòu)通?；贠OA中產(chǎn)生的分類結(jié)構(gòu)的原則來(lái)組織，著重體現(xiàn)父類和子類間的一般性和特殊性。在當(dāng)前的問題空間，對(duì)類層次結(jié)構(gòu)的主要要求是能在解空間構(gòu)造實(shí)現(xiàn)全部功能的結(jié)構(gòu)框架。為此測(cè)試要注意如下幾個(gè)方面：p類層次結(jié)構(gòu)是否涵蓋了所有

8、定義的類；p是否能體現(xiàn)OOA中所定義的實(shí)例關(guān)聯(lián)、消息關(guān)聯(lián)；p子類是否具有父類沒有的新特性；p子類間的共同特性是否完全在父類中得以體現(xiàn)。 8.28.2面向?qū)ο蟮膯卧獪y(cè)試面向?qū)ο蟮膯卧獪y(cè)試Zhu.K類測(cè)試的方法類測(cè)試的方法通過代碼檢查或執(zhí)行測(cè)試用例能有效地測(cè)試一個(gè)類的代碼。 面向?qū)ο蟮膯卧獪y(cè)試面向?qū)ο蟮膯卧獪y(cè)試Zhu.K類測(cè)試的組成部分類測(cè)試的組成部分 作為每個(gè)類，決定是將其作為一個(gè)單元進(jìn)行獨(dú)立測(cè)試，還是以某種方式將其作為系統(tǒng)某個(gè)較大部分的一個(gè)組件進(jìn)行獨(dú)立測(cè)試，需要基于以下因素進(jìn)行決策：p 這個(gè)類在系統(tǒng)中的作用，尤其是與之相關(guān)聯(lián)的風(fēng)險(xiǎn)程度。p 這個(gè)類的復(fù)雜性（根據(jù)狀態(tài)個(gè)數(shù)、操作個(gè)數(shù)以及關(guān)聯(lián)其他類的

9、程度等進(jìn)行衡量）p 開發(fā)這個(gè)類測(cè)試驅(qū)動(dòng)程序所需的工作量。Zhu.K面向?qū)ο蟮膯卧獪y(cè)試面向?qū)ο蟮膯卧獪y(cè)試構(gòu)建測(cè)試用例構(gòu)建測(cè)試用例 從類說(shuō)明中確定測(cè)試用例根據(jù)類實(shí)現(xiàn)引進(jìn)的邊界值來(lái)擴(kuò)充附加的測(cè)試用例。 根據(jù)前置根據(jù)前置/后置條件來(lái)構(gòu)建測(cè)試用例的總體思想是：后置條件來(lái)構(gòu)建測(cè)試用例的總體思想是： 為所有可能出現(xiàn)的組合情況確定測(cè)試用例需求。 創(chuàng)建測(cè)試用例來(lái)表達(dá)這些需求、包括特定輸入值（包括常見值和邊界值），并確定它們的正確輸出。 增加測(cè)試用例來(lái)闡述違反前置條件所發(fā)生的情況。 Zhu.K面向?qū)ο蟮膯卧獪y(cè)試面向?qū)ο蟮膯卧獪y(cè)試類測(cè)試系列的充分性三個(gè)常用標(biāo)準(zhǔn)是類測(cè)試系列的充分性三個(gè)常用標(biāo)準(zhǔn)是p 基于狀態(tài)的覆蓋率基

10、于狀態(tài)的覆蓋率，測(cè)試覆蓋了多少個(gè)狀態(tài)轉(zhuǎn)換為依據(jù) 。p 基于約束的覆蓋率基于約束的覆蓋率，有多少對(duì)前置/后置條件被覆蓋來(lái)表示充分性。 p 基于代碼的覆蓋率基于代碼的覆蓋率。當(dāng)所有的測(cè)試用例都執(zhí)行結(jié)束時(shí)，確定實(shí)現(xiàn)一個(gè)類的每一行代碼或代碼通過的每一條路徑至少執(zhí)行了一次Zhu.K面向?qū)ο蟮膯卧獪y(cè)試面向?qū)ο蟮膯卧獪y(cè)試 測(cè)試驅(qū)動(dòng)程序是一個(gè)運(yùn)行測(cè)試用例并收集運(yùn)行結(jié)果的測(cè)試驅(qū)動(dòng)程序是一個(gè)運(yùn)行測(cè)試用例并收集運(yùn)行結(jié)果的程序，必須是嚴(yán)謹(jǐn)?shù)?、結(jié)構(gòu)清晰、簡(jiǎn)單，易于維護(hù)，程序，必須是嚴(yán)謹(jǐn)?shù)?、結(jié)構(gòu)清晰、簡(jiǎn)單，易于維護(hù)，并且對(duì)所測(cè)試的類說(shuō)明變化具有很強(qiáng)的適應(yīng)能力，應(yīng)該能夠復(fù)用已存在的驅(qū)動(dòng)程序的代碼。因?yàn)槲覀兒苌儆袝r(shí)間和資源來(lái)

11、對(duì)驅(qū)動(dòng)程序軟件進(jìn)行基于執(zhí)行的測(cè)試（否則會(huì)進(jìn)入一個(gè)程序測(cè)試遞歸的、無(wú)窮的之路），而是依賴代碼檢查來(lái)檢測(cè)測(cè)試驅(qū)動(dòng)程序。8.3 面向?qū)ο蟮募蓽y(cè)試面向?qū)ο蟮募蓽y(cè)試Zhu.K主要是兩個(gè)方面：p 類的線性測(cè)試，交互測(cè)試。p 類的獨(dú)立性測(cè)試（跨平臺(tái)）方面測(cè)試。 面向?qū)ο蟮某绦蚴怯扇舾蓪?duì)象組成的，這些對(duì)象互相協(xié)作以解決某些問題。對(duì)象的協(xié)作方式對(duì)象的協(xié)作方式?jīng)Q定了程序能做什么，從而決定了這個(gè)程序執(zhí)行的正確性。因此，一個(gè)程序中對(duì)象的正確協(xié)作-即交互交互-對(duì)于程序的正確性是非常關(guān)鍵的。 Zhu.K8.3 面向?qū)ο蟮募蓽y(cè)試面向?qū)ο蟮募蓽y(cè)試-對(duì)象交互對(duì)象交互 匯集類測(cè)試匯集類測(cè)試有些類在它們的說(shuō)明中使用對(duì)象，但

12、是實(shí)際上從不和這些對(duì)象中的任何一個(gè)進(jìn)行協(xié)作，即從來(lái)不請(qǐng)求這些對(duì)象的任何服務(wù)。相反，它們會(huì)表現(xiàn)出以下的一個(gè)或多個(gè)行為：p存放這些對(duì)象的引用（或指針）對(duì)象之間一對(duì)多的關(guān)系p創(chuàng)建、刪除這些對(duì)象的實(shí)例協(xié)作類測(cè)試協(xié)作類測(cè)試該類的一個(gè)或多個(gè)操作中使用其它的對(duì)象并將其作為它們的實(shí)現(xiàn)中不可缺少的一部分。當(dāng)類接口中的一個(gè)操作的某個(gè)后置條件引用了一具對(duì)象的實(shí)例狀態(tài)，并且（或者）說(shuō)明那個(gè)對(duì)象的某個(gè)屬性被使用或修改了，那么這個(gè)類就是一個(gè)協(xié)作類 。8.3面向?qū)ο蟮募蓽y(cè)試面向?qū)ο蟮募蓽y(cè)試分布式對(duì)象測(cè)試分布式對(duì)象測(cè)試 Zhu.K為了獲得靈活性和伸展性，許多系統(tǒng)都被設(shè)計(jì)成多個(gè)充分獨(dú)立的部件，每個(gè)部件可以存在于一個(gè)獨(dú)立的進(jìn)

13、程中，而整個(gè)系統(tǒng)的運(yùn)行會(huì)根據(jù)需要啟動(dòng)多個(gè)進(jìn)程多個(gè)進(jìn)程。借助于計(jì)算機(jī)通訊或網(wǎng)絡(luò)實(shí)現(xiàn)它們相互之間的協(xié)作，從而構(gòu)成一個(gè)分布式的系統(tǒng)。客戶機(jī)/服務(wù)器模型是一種簡(jiǎn)單的分布式系統(tǒng)，服務(wù)器提供數(shù)據(jù)計(jì)算、處理、存儲(chǔ)等管理工作，客戶端接受用戶的輸入、請(qǐng)求、顯示結(jié)果等工作，兩者分工不同。分布式的服務(wù)器集群，通過并行技術(shù)實(shí)現(xiàn)復(fù)雜的或巨量的計(jì)算；也可以構(gòu)造沒有服務(wù)器的、分布式的、由客戶端構(gòu)成的對(duì)等網(wǎng)絡(luò) (P2P) 系統(tǒng)。8.3 面向?qū)ο蟮募蓽y(cè)試面向?qū)ο蟮募蓽y(cè)試 -分布式對(duì)象的概念和特點(diǎn)分布式對(duì)象的概念和特點(diǎn) Zhu.K 線程線程是一個(gè)操作系統(tǒng)進(jìn)程內(nèi)能夠獨(dú)立運(yùn)行的內(nèi)容，擁有自己的計(jì)數(shù)器和本地?cái)?shù)據(jù)。線程是能夠被調(diào)度執(zhí)

14、行的最小單位。面向?qū)ο笳Z(yǔ)言通過隱藏接口的屬性或在某些情況下使線程對(duì)對(duì)象做出反應(yīng)，以此提供一些簡(jiǎn)單的同步手段。 在測(cè)試過程中，我們不能因?yàn)樵谝粋€(gè)特定執(zhí)行中沒有發(fā)生錯(cuò)誤就肯定缺陷被消除了，而是引導(dǎo)我們必須使用下列技術(shù)之一：p在類的層次上進(jìn)行更徹底的測(cè)試。在類的層次上進(jìn)行更徹底的測(cè)試。 p在記錄事件發(fā)生順序的同時(shí)，執(zhí)行大量的測(cè)試用例。在記錄事件發(fā)生順序的同時(shí)，執(zhí)行大量的測(cè)試用例。 p指定標(biāo)準(zhǔn)的測(cè)試環(huán)境指定標(biāo)準(zhǔn)的測(cè)試環(huán)境： 8.3 面向?qū)ο蟮募蓽y(cè)試面向?qū)ο蟮募蓽y(cè)試Zhu.K分布式對(duì)象測(cè)試中需要注意的情況分布式對(duì)象測(cè)試中需要注意的情況 p 局部故障局部故障p 超時(shí)超時(shí)p 結(jié)構(gòu)的動(dòng)態(tài)性結(jié)構(gòu)的動(dòng)態(tài)性p

15、線程線程p 同步同步8.4 基于客戶角度的基于客戶角度的Java 測(cè)試測(cè)試Zhu.Kp 空指針保護(hù)案例分析空指針保護(hù)案例分析8.4 基于客戶角度的基于客戶角度的Java 測(cè)試測(cè)試Zhu.Kp格式化數(shù)字錯(cuò)誤案例分析格式化數(shù)字錯(cuò)誤案例分析8.4 基于客戶角度的基于客戶角度的Java 測(cè)試測(cè)試Zhu.Kp字符串或數(shù)組越界案例分析字符串或數(shù)組越界案例分析8.4 基于客戶角度的基于客戶角度的Java 測(cè)試測(cè)試Zhu.Kp指定的頁(yè)面找不到的錯(cuò)指定的頁(yè)面找不到的錯(cuò)Error404或或Error 500案例分析案例分析p沒有合理的關(guān)閉資源導(dǎo)致系統(tǒng)性能下降或最終崩潰沒有合理的關(guān)閉資源導(dǎo)致系統(tǒng)性能下降或最終崩潰

16、p不當(dāng)使用不當(dāng)使用synchronized導(dǎo)致系統(tǒng)性能下降或最終崩潰導(dǎo)致系統(tǒng)性能下降或最終崩潰 p調(diào)用不當(dāng)方法導(dǎo)致結(jié)果出錯(cuò)調(diào)用不當(dāng)方法導(dǎo)致結(jié)果出錯(cuò) 8.5 基于程序角度的基于程序角度的Java測(cè)試測(cè)試Zhu.Kp Action層的單元測(cè)試層的單元測(cè)試 (mork StrutsTestCase)p Biz邏輯事務(wù)層的單元測(cè)試邏輯事務(wù)層的單元測(cè)試 (DbUnit)p Servlet的單元測(cè)試的單元測(cè)試 (httpUnit)p 流行框架流行框架Struts+Spring+Hibernate的測(cè)試的測(cè)試8.5 基于程序角度的基于程序角度的Java測(cè)試測(cè)試Zhu.Kp Action層的單元測(cè)試層的單元測(cè)

17、試 (mork StrutsTestCase)mork就是模型，模擬我們測(cè)試時(shí)需要的對(duì)象及測(cè)試數(shù)據(jù)。 StrutsTestCase 是Junit TestCase類的擴(kuò)展，提供基于Struts框架的代碼測(cè)試。 用用MockStrutsTestCase測(cè)試舉例測(cè)試舉例 8.5 基于程序角度的基于程序角度的Java測(cè)試測(cè)試Zhu.Kp Biz邏輯事務(wù)層的單元測(cè)試邏輯事務(wù)層的單元測(cè)試 (DbUnit)DbUnit是為數(shù)據(jù)庫(kù)驅(qū)動(dòng)的項(xiàng)目提供的一個(gè)對(duì)JUnit 的擴(kuò)展 為什么使用為什么使用DbUnit? 為依賴于其他外部系統(tǒng)（如數(shù)據(jù)庫(kù)或其他接口）的代碼編寫單元測(cè)試是一件很困難的工作。在這種情況下，有效的單

18、元必須隔離測(cè)試對(duì)象和外部依賴，以便管理測(cè)試對(duì)象的狀態(tài)和行為。 使用mock object對(duì)象，是隔離外部依賴的一個(gè)有效方法。如果我們的測(cè)試對(duì)象是依賴于DAO的代碼，mock object技術(shù)很方便。但如果測(cè)試對(duì)象變成了DAO本身，又如何進(jìn)行單元測(cè)試呢？ 開源的DbUnit項(xiàng)目，為以上的問題提供了一個(gè)相當(dāng)優(yōu)雅的解決方案。使用DbUnit，開發(fā)人員可以控制測(cè)試數(shù)據(jù)庫(kù)的狀態(tài)。進(jìn)行一個(gè)DAO單元測(cè)試之前，DbUnit為數(shù)據(jù)庫(kù)準(zhǔn)備好初始化數(shù)據(jù)；而在測(cè)試結(jié)束時(shí)，DbUnit會(huì)把數(shù)據(jù)庫(kù)狀態(tài)恢復(fù)到測(cè)試前的狀態(tài)。 8.5 基于程序角度的基于程序角度的Java測(cè)試測(cè)試Zhu.KpServlet的單元測(cè)試的單元測(cè)試 (httpUnit) 有時(shí)候（比如開發(fā)復(fù)雜的Servlets的時(shí)候），需要對(duì)Servlet本身的代碼塊進(jìn)行測(cè)試，這時(shí)候可以選擇HttpUnit，它可以提供一個(gè)模擬的Servlet容器，讓Servlet代碼不需要發(fā)布