面向?qū)ο筌浖臏y試

軟件測試方法和技術(shù)

面向?qū)ο筌浖臏y試

面向?qū)ο筌浖臏y試共26頁，您現(xiàn)在瀏覽的是第1頁!回顧驗收測試的過程和主要內(nèi)容產(chǎn)品規(guī)格說明書的驗證用戶界面和可用性測試兼容性測試可安裝性和可恢復(fù)性測試文檔測試驗收測試報告和用戶驗收測試面向?qū)ο筌浖臏y試共26頁，您現(xiàn)在瀏覽的是第2頁!面向?qū)ο筌浖臏y試

1面向?qū)ο筌浖奶攸c2面向?qū)ο鬁y試的層次與數(shù)據(jù)流3面向?qū)ο蟮膯卧獪y試4面向?qū)ο蟮募蓽y試面向?qū)ο筌浖臏y試共26頁，您現(xiàn)在瀏覽的是第3頁!面向?qū)ο?object-oriented)

面向?qū)ο?object-oriented)=對象+分類+繼承+通信面向?qū)ο筌浖臏y試共26頁，您現(xiàn)在瀏覽的是第4頁!面向?qū)ο?object-oriented)對象的封裝和抽象

繼承性與多態(tài)性

繼承與多態(tài)面向?qū)ο筌浖臏y試共26頁，您現(xiàn)在瀏覽的是第5頁!類與子類的測試假設(shè)類D是類C的子類，類C已進行了充分的測試面向?qū)ο筌浖臏y試共26頁，您現(xiàn)在瀏覽的是第6頁!分層與增量

D的接口中添加一個或多個新的操作，并且有可能是D中的一個新方法實現(xiàn)一個新操作。新操作引入了新的功能和新的代碼，這些都需要測試。在D中改變那些在C中聲明的操作規(guī)范，需要為操作添加新的基于規(guī)范的測試用例。附加的測試用例提供了新的輸入，這些輸入符合任何削弱了的前置條件，并且對由任何加強了的后置條件導(dǎo)致的新的期望結(jié)果進行檢查。在D中覆蓋那些在C中實現(xiàn)了某個操作并且被D繼承了的方法，可以復(fù)用于該方法的所有繼承來的基于規(guī)范的測試用例。在D中添加一個或多個新的實例變量來實現(xiàn)更多的狀態(tài)和/或?qū)傩?。添加新的變量最有可能與新的操作和/或重載方法中代碼有關(guān)，而且對測試的處理也與它們有關(guān)。在D中改變類常量。類常量累計成每個測試用例的附加的后置條件。分層與增量：測試用例選擇時，需要注意的事項：面向?qū)ο筌浖臏y試共26頁，您現(xiàn)在瀏覽的是第7頁!面向?qū)ο髮哟谓Y(jié)構(gòu)測試重點對認定的結(jié)構(gòu)的測試

認定的結(jié)構(gòu)指的是多種對象的組織方式，用來反映問題空間中的復(fù)雜實例和復(fù)雜關(guān)系。認定的分類結(jié)構(gòu)測試要點：對于結(jié)構(gòu)中的一種對象，尤其是處于高層的對象，是否在問題空間中含有不同于下一層對象的特殊可能性，即是否能派生出下一層對象。對于結(jié)構(gòu)中的一種對象，尤其是處于同一低層的對象，是否能抽象出在現(xiàn)實中有意義的更一般的上層對象。對所有認定的對象，是否能在問題空間內(nèi)向上層抽象出在現(xiàn)實中有意義的對象。高層的對象的特性是否完全體現(xiàn)下層的共性，低層的對象是否有高層特性基礎(chǔ)上的特殊性。面向?qū)ο筌浖臏y試共26頁，您現(xiàn)在瀏覽的是第8頁!3面向?qū)ο蟮膯卧獪y試類測試

類測試的方法通過代碼檢查或執(zhí)行測試用例能有效地測試一個類的代碼。面向?qū)ο筌浖臏y試共26頁，您現(xiàn)在瀏覽的是第9頁!面向?qū)ο蟮膯卧獪y試構(gòu)建測試用例

首先要看怎樣從類說明中確定測試用例，然后根據(jù)類實現(xiàn)引進的邊界值來擴充附加的測試用例。根據(jù)前置條件和后置條件來構(gòu)建測試用例的總體思想是：為所有可能出現(xiàn)的組合情況確定測試用例需求。在這些可能出現(xiàn)組合情況下，可以滿足前置條件，也能夠達到后置條件。接下來創(chuàng)建測試用例來表達這些需求，根據(jù)這些需求還可以創(chuàng)建擁有特定輸入值（包括常見值和邊界值）的測試用例，并確定它們的正確輸出。最后，還可以增加測試用例來闡述違反前置條件所發(fā)生的情況。面向?qū)ο筌浖臏y試共26頁，您現(xiàn)在瀏覽的是第10頁!面向?qū)ο蟮膯卧獪y試構(gòu)建測試的驅(qū)動程序

測試驅(qū)動程序是一個運行測試用例并收集運行結(jié)果的程序。測試驅(qū)動程序的設(shè)計應(yīng)該相對簡單，因為我們很少有時間和資源來對驅(qū)動程序軟件進行基于執(zhí)行的測試（否則會進入一個程序測試遞歸的、無窮的之路），而是依賴代碼檢查來檢測測試驅(qū)動程序。所以，測試驅(qū)動程序必須是嚴謹?shù)摹⒔Y(jié)構(gòu)清晰、簡單，易于維護，并且對所測試的類說明變化具有很強的適應(yīng)能力。理想情況下，在創(chuàng)建新的測試驅(qū)動程序時，應(yīng)該能夠復(fù)用已存在的驅(qū)動程序的代碼。面向?qū)ο筌浖臏y試共26頁，您現(xiàn)在瀏覽的是第11頁!4面向?qū)ο蟮募蓽y試對象交互匯集類測試有些類在它們的說明中使用對象，但是實際上從不和這些對象中的任何一個進行協(xié)作，也就是說，它們從來不請求這些對象的任何服務(wù)。相反，它們會表現(xiàn)出以下的一個或多個行為：存放這些對象的引用（或指針），程序中常表現(xiàn)為對象之間一對多的關(guān)系創(chuàng)建這些對象的實例刪除這些對象的實例協(xié)作類測試該類的一個或多個操作中使用其它的對象并將其作為它們的實現(xiàn)中不可缺少的一部分。當(dāng)類接口中的一個操作的某個后置條件引用了一具對象的實例狀態(tài)，并且（或者）說明那個對象的某個屬性被使用或修改了，那么這個類就是一個協(xié)作類。面向?qū)ο筌浖臏y試共26頁，您現(xiàn)在瀏覽的是第12頁!4面向?qū)ο蟮募蓽y試分布式對象測試

如今很少有設(shè)計單個進程在單個處理機上執(zhí)行的系統(tǒng)，為了獲得靈活性和伸展性，許多系統(tǒng)都被設(shè)計成多個充分獨立的部件，每個部件可以存在于一個獨立的進程中，而整個系統(tǒng)的運行會根據(jù)需要啟動多個進程。如果這些進程不是分布在一臺機器上，而是分布在多臺機器上，借助于計算機通訊或網(wǎng)絡(luò)實現(xiàn)它們相互之間的協(xié)作，從而構(gòu)成一個分布式的系統(tǒng)，客戶機/服務(wù)器模型是一種簡單的分布式系統(tǒng)，在這種模型中，客戶機和服務(wù)器部件被設(shè)計成存在于獨立的進程中，服務(wù)器提供數(shù)據(jù)計算、處理、存儲等管理工作，客戶端接受用戶的輸入、請求、顯示結(jié)果等工作，兩者分工不同。隨著，計算機技術(shù)的發(fā)展，可以構(gòu)造一個分布式的服務(wù)器集群，通過并行技術(shù)實現(xiàn)復(fù)雜的或巨量的計算；也可以構(gòu)造沒有服務(wù)器的、分布式的、由客戶端構(gòu)成的對等網(wǎng)絡(luò)(P2P)系統(tǒng)。面向?qū)ο筌浖臏y試共26頁，您現(xiàn)在瀏覽的是第13頁!4面向?qū)ο蟮募蓽y試分布式對象測試中需要注意的情況

局部故障：超時：結(jié)構(gòu)的動態(tài)性：線程：同步：面向?qū)ο筌浖臏y試共26頁，您現(xiàn)在瀏覽的是第14頁!1面向?qū)ο筌浖奶攸c

我們生活在一個對象的世界里，每個對象有一定的屬性，把屬性相同的對象進行歸納就形成類，如家具就可以看作類，其主要的屬性有價格、尺寸、重量、位置和顏色等，無論我們談?wù)撟雷?、椅子還是沙發(fā)、衣櫥，這些屬性總是可用的，因為它們都是家具而繼承了為類定義的所有屬性。實際上，計算機軟件所創(chuàng)建的面向?qū)ο笏枷胪瑯觼碓从谏?。除了屬性之外，每個對象可以被一系列不同的方式操縱，它可以被買賣、移動、修改(如漆上不同的顏色)。這些操作或方法將改變對象的一個或多個屬性。這樣所有對類的合法操作可以和對象的定義聯(lián)系在一起，并且被類的所有實例繼承。面向?qū)ο筌浖臏y試共26頁，您現(xiàn)在瀏覽的是第15頁!面向?qū)ο?object-oriented)可重用性。從一開始對象的產(chǎn)生就是為了重復(fù)利用，完成的對象將在今后的程序開發(fā)中被部分或全部地重復(fù)利用?？煽啃浴Ｓ捎诿嫦?qū)ο蟮膽?yīng)用程序包含了通過測試的標準部分，因此更加可靠。由于大量代碼來源于成熟可靠的類庫，因而新開發(fā)程序的新增代碼明顯減少，這是程序可靠性提高的一個重要原因。連續(xù)性。具有面向?qū)ο筇攸c的C＋＋與C語言有很大的兼容性，C程序員可以比較容易地過渡到C＋＋語言開發(fā)工作。面向?qū)ο筌浖臏y試共26頁，您現(xiàn)在瀏覽的是第16頁!2面向?qū)ο鬁y試的層次與數(shù)據(jù)流面向?qū)ο筌浖y試的層次與數(shù)據(jù)流，是面向?qū)ο筌浖膯卧獪y試與集成測試的基礎(chǔ)。

面向?qū)ο筌浖臏y試共26頁，您現(xiàn)在瀏覽的是第17頁!分層與增量

類C和其派生類D間的增量變化能夠用來幫助確定需要在D中測試什么。由于D是C的子類，那么所有的用于C的基于規(guī)范的測試用例也都適用于D。引入術(shù)語“繼承的測試用例”來代表從父類測試用例中選取出來的、用于子類的測試用例。可以通過簡單的分析來確定繼承的測試用例中哪些適用于測試子類、哪些在測試子類時不必執(zhí)行。

合理的分析，有利于找出更有價值的測試用例。面向?qū)ο筌浖臏y試共26頁，您現(xiàn)在瀏覽的是第18頁!面向?qū)ο髮哟谓Y(jié)構(gòu)測試重點對認定的對象的測試OOA（面向?qū)ο蠓治觯┲姓J定的對象是對問題空間中的結(jié)構(gòu)、其他系統(tǒng)、設(shè)備、被記憶的事件、系統(tǒng)涉及的人員等實際實例的抽象。對它的測試可以從如下方面考慮：認定的對象是否全面，其名稱應(yīng)該盡量準確、適用，是否問題空間中所涉及到的實例都反映在認定的抽象對象中。認定的對象是否具有多個屬性。只有一個屬性的對象通常應(yīng)看作其他對象的屬性而不是抽象為獨立的對象對認定為同一對象的實例是否有共同的、區(qū)別于其他實例的共同屬性，是否提供或需要相同的服務(wù)，如果服務(wù)隨著不同的實例而變化，認定的對象就需要分解或利用繼承性來分類表示。如果系統(tǒng)沒有必要始終保持對象代表的實例信息，提供或者得到關(guān)于它的服務(wù)，認定的對象也無必要。面向?qū)ο筌浖臏y試共26頁，您現(xiàn)在瀏覽的是第19頁!面向?qū)ο髮哟谓Y(jié)構(gòu)測試重點對構(gòu)造的類層次結(jié)構(gòu)的測試

為了能充分發(fā)揮面向?qū)ο罄^承共享特性，OOD（面向?qū)ο笤O(shè)計）的類層次結(jié)構(gòu)通?；贠OA中產(chǎn)生的分類結(jié)構(gòu)的原則來組織，著重體現(xiàn)父類和子類間的一般性和特殊性。在當(dāng)前的問題空間，對類層次結(jié)構(gòu)的主要要求是能在解空間構(gòu)造實現(xiàn)全部功能的結(jié)構(gòu)框架。為此測試要注意如下幾個方面：類層次結(jié)構(gòu)是否涵蓋了所有定義的類；是否能體現(xiàn)OOA中所定義的實例關(guān)聯(lián)、消息關(guān)聯(lián)；子類是否具有父類沒有的新特性；子類間的共同特性是否完全在父類中得以體現(xiàn)。面向?qū)ο筌浖臏y試共26頁，您現(xiàn)在瀏覽的是第20頁!面向?qū)ο蟮膯卧獪y試類測試的組成部分

作為每個類，決定是將其作為一個單元進行獨立測試，還是以某種方式將其作為系統(tǒng)某個較大部分的一個組件進行獨立測試，需要基于以下因素進行決策：這個類在系統(tǒng)中的作用，尤其是與之相關(guān)聯(lián)的風(fēng)險程度。這個類的復(fù)雜性（根據(jù)狀態(tài)個數(shù)、操作個數(shù)以及關(guān)聯(lián)其他類的程度等進行衡量）開發(fā)這個類測試驅(qū)動程序所需的工作量。在進行類測試時，一般要考慮以下幾個方面：

測試人員測試內(nèi)容測試時間測試過程測試程度

面向?qū)ο筌浖臏y試共26頁，您現(xiàn)在瀏覽的是第21頁!面向?qū)ο蟮膯卧獪y試類測試系列的充分性

充分性的三個常用標準是：基于狀態(tài)的覆蓋率、基于限制的覆蓋率、基于代碼的覆蓋率?；跔顟B(tài)的覆蓋率，以測試覆蓋了多少個狀態(tài)轉(zhuǎn)換為依據(jù)?；诩s束的覆蓋率，與基于狀態(tài)轉(zhuǎn)換的充分性類似，還可以根據(jù)有多少對前置條件和后置條件被覆蓋來表示充分性。基于代碼的覆蓋率。當(dāng)所有的測試用例都執(zhí)行結(jié)束時，確定實現(xiàn)一個類的每一行代碼或代碼通過的每一條路徑至少執(zhí)行了一次，這是一種很好的思想。面向?qū)ο筌浖臏y試共26頁，您現(xiàn)在瀏覽的是第22頁!4面向?qū)ο蟮募蓽y試面向?qū)ο蟮募蓽y試主要是兩個方面：類的線性測試，交互測試。類的獨立性測試（跨平臺）方面測試。面向?qū)ο蟮某绦蚴怯扇舾蓪ο蠼M成的，這些對象互相協(xié)作以解決某些問題。對象的協(xié)作方式?jīng)Q定了程序能做什么，從而決定了這個程序執(zhí)行的正確性。因此，一個程序中對象的正確協(xié)作----即交互----對于程序的正確性是非常關(guān)鍵的。面向?qū)ο筌浖臏y試共26頁，您現(xiàn)在瀏覽的是第23頁!4面向?qū)ο蟮募蓽y試面向?qū)ο蠹蓽y試的常用方法

抽樣測試正交陣列測試例如，假設(shè)有3個因素----即A、B、C，每個因素有3個級別----即1、2、和3，那么這些值就有27種可能的組合情況----A的3種組合情況×C的3種組合情況。面向?qū)ο筌浖臏y試共26頁，您現(xiàn)在瀏覽的是第24頁!4面向?qū)ο蟮募蓽y試分布式對象的概念和特點

線程是一個操作系