第十二章 面向?qū)ο髮崿F(xiàn)

1、第12章 面向?qū)ο髮崿F(xiàn)第十二章第十二章 面向?qū)ο髮崿F(xiàn)面向?qū)ο髮崿F(xiàn)12.1 程序設(shè)計語言12.2 程序設(shè)計風格12.3 測試策略12.4 設(shè)計測試用例概述概述 所謂面向?qū)ο髮崿F(xiàn)，主要包括下述兩項工作： 把面向?qū)ο笤O(shè)計結(jié)果翻譯成用某種程序設(shè)計語言書寫的面向?qū)ο蟪绦?測試并調(diào)試面向?qū)ο蟪绦?面向?qū)ο蟪绦虻馁|(zhì)量基本上由面向?qū)ο笤O(shè)計的質(zhì)量決定，但是，所采用的編程語言的特點和程序設(shè)計風格也將對程序的可靠性、可重用性和可維護性產(chǎn)生深遠影響。 目前，測試仍然是保證軟件可靠性的主要措施，對于面向?qū)ο蟮能浖碚f，情況也是如此： 面向?qū)ο鬁y試的目標，也是用盡可能低的測試成本發(fā)現(xiàn)盡可能多的軟件錯誤。 但是，面向?qū)ο蟪?/p>

2、序中特有的封裝、繼承和多態(tài)等機制，也給面向?qū)ο鬁y試帶來一些新特點。12.1 12.1 程序設(shè)計語言程序設(shè)計語言12.1 12.1 程序設(shè)計語言程序設(shè)計語言12.1.1 面向?qū)ο笳Z言的優(yōu)點 一致的表示方法 可重用性 可維護性12.1.2 面向?qū)ο笳Z言的技術(shù)特點 支持類與對象概念的機制 實現(xiàn)聚集結(jié)構(gòu)的機制 實現(xiàn)泛化結(jié)構(gòu)的機制 實現(xiàn)屬性和服務(wù)的機制 類型檢查機制 類庫 效率 持久保持對象的機制 參數(shù)化類的機制 開發(fā)環(huán)境12.2 12.2 程序設(shè)計風格程序設(shè)計風格12.1.3 選擇面向?qū)ο笳Z言的實際因素 將來能否占主導地位 可重用性 類庫和開發(fā)環(huán)境 售后服務(wù) 對運行環(huán)境的需求 集成已有軟件的難易程度1

3、. 提高可重用性為提高軟件的可重用性，應(yīng)該遵守下述準則： 提高方法的內(nèi)聚 減少方法的規(guī)模 保持方法的一致性 把策略與實現(xiàn)分開 全面覆蓋輸入條件的各種可能組合 盡量不使用全局信息 充分利用繼承機制通過調(diào)用公用方法實現(xiàn)代碼重用12.1 12.1 程序設(shè)計風格程序設(shè)計風格2. 提高可擴充性 提高可重用性的準則同樣也能提高程序的可擴充性。 此外，下述的面向?qū)ο蟪绦蛟O(shè)計準則也有助于提高程序的可擴充性： 封裝類的實現(xiàn)細節(jié) 不要用一個方法遍歷多條聯(lián)鏈 避免使用多分支語句 精心選擇和定義公有方法通過因子分解實現(xiàn)代碼重用3.提高健壯性 健壯性：在硬件故障、輸入的數(shù)據(jù)無效或操作錯誤等意外環(huán)境下，系統(tǒng)能做出適當響應(yīng)

4、的程度。 通常需要在健壯性和效率之間做出適當?shù)恼壑浴樘岣呓研詰?yīng)該遵守下述準則：預(yù)防用戶的錯誤操作 檢查參數(shù)的合法性不要預(yù)先設(shè)定數(shù)據(jù)結(jié)構(gòu)的限制條件先測試后優(yōu)化12.3 12.3 面向?qū)ο蟮臏y試策略面向?qū)ο蟮臏y試策略 測試軟件的基本策略是，從“小型測試”開始，逐步過渡到“大型測試”，即從單元測試開始，逐步進入集成測試，最后進行確認測試和系統(tǒng)測試。 1. 面向?qū)ο蟮膯卧獪y試對于面向?qū)ο蟮能浖碚f，單元測試的含義發(fā)生了很大變化 現(xiàn)在，最小的可測試單元是封裝起來的類和對象。 一個類通常包含一組不同的操作，而一個特定的操作也可能存在于一組不同的類中。 因此，測試面向?qū)ο蟮能浖r，不能再孤立地測試單個操

5、作，而應(yīng)該把操作作為類的一部分來測試。12.3 12.3 面向?qū)ο蟮臏y試策略面向?qū)ο蟮臏y試策略2. 面向?qū)ο蟮募蓽y試 因為在面向?qū)ο蟮能浖胁淮嬖趯哟蔚目刂平Y(jié)構(gòu)，傳統(tǒng)的自頂向下和自底向上的集成策略就沒有意義了。 此外，由于構(gòu)成類成分彼此間存在或直接的交互，因此一次集成一個操作到類中（傳統(tǒng)的漸增式集成方法），通常是不可能的。面向?qū)ο筌浖募蓽y試主要有下述兩種策略： 基于線程的測試 基于使用的測試12.3 12.3 面向?qū)ο蟮臏y試策略面向?qū)ο蟮臏y試策略3. 面向?qū)ο蟮拇_認測試 在確認測試或系統(tǒng)測試層次，不再考慮類之間互相連接的細節(jié)。 和傳統(tǒng)的確認測試一樣，面向?qū)ο筌浖拇_認測試也集中檢查用戶可

6、見的動作和用戶可識別的輸出。 為了導出確認測試用例，測試人員應(yīng)該認真研究動態(tài)模型和描述系統(tǒng)行為的腳本，以確定最可能發(fā)現(xiàn)用戶交互需求錯誤的情景。12.4 12.4 設(shè)計測試用例設(shè)計測試用例 與傳統(tǒng)軟件測試（由軟件的輸入處理輸出視圖或?qū)崿F(xiàn)模塊的算法驅(qū)動測試用例的設(shè)計）不同，面向?qū)ο鬁y試關(guān)注于設(shè)計適當?shù)牟僮餍蛄幸詸z查類的狀態(tài)。4.1 測試類的技術(shù) 設(shè)計測試用例以測試、單個類的技術(shù)，主要有隨機測試、劃分測試和基于故障的測試等3種。1. 隨機測試讓類實例隨機地執(zhí)行一些類內(nèi)定義的操作，以測試類狀態(tài)。如果應(yīng)用系統(tǒng)的性質(zhì)對操作的應(yīng)用施加了一些限制，則可在最小操作序列的基礎(chǔ)上隨機增加一些操作，作為測試該類的測試

7、用例。12.4 12.4 設(shè)計測試用例設(shè)計測試用例2. 劃分測試與測試傳統(tǒng)軟件時采用等價劃分方法類似，測試類時采用劃分測試方法也可以減少所需要的測試用例的數(shù)量。首先，把輸入和輸出分類，然后設(shè)計測試用例以測試劃分出的每個類別。劃分類別的方法主要有下述3種： 基于狀態(tài)劃分這種方法根據(jù)類操作改變類狀態(tài)的能力來劃分類操作，然后設(shè)計測試用例，分別測試改變狀態(tài)的操作和不改變狀態(tài)的操作。 基于屬性劃分這種方法根據(jù)類操作使用某個關(guān)鍵屬性的情況來劃分類操作。通常，把類操作劃分成使用屬性、修改屬性、不使用也不修改屬性等3類，然后設(shè)計測試用例，分別測試每類操作。 基于功能劃分這種方法根據(jù)類操作完成的功能來劃分類操作

8、，然后為每個類別的操作設(shè)計測試序列。12.4 12.4 設(shè)計測試用例設(shè)計測試用例3. 基于故障的測試這種方法與傳統(tǒng)的錯誤推測法類似，也是首先推測軟件中可能有的錯誤，然后設(shè)計出最可能發(fā)現(xiàn)這些錯誤的測試用例 為了推測出軟件中可能有的錯誤，應(yīng)該仔細研究分析模型和設(shè)計模型，而且在很大程度上要依靠測試人員的經(jīng)驗和直覺。 如果推測得比較準確，則使用基于故障的測試方法能夠用相當?shù)偷墓ぷ髁堪l(fā)現(xiàn)大量錯誤；反之，如果推測不準，這種方法的效果并不比隨機測試技術(shù)的效果好。4.2 集成測試技術(shù)開始集成面向?qū)ο蟮能浖螅瑴y試用例的設(shè)計變得更加復雜。在這個測試階段，必須對類間協(xié)作進行測試。和測試單個類相似，測試類協(xié)作可以

9、使用隨機測試方法和劃分測試方法，以及基于情景的測試和行為測試來完成。12.4 12.4 設(shè)計測試用例設(shè)計測試用例1. 多類測試 對每個客戶類，使用類操作符列表來生成一系列隨機測試序列。這些操作符向服務(wù)類實例發(fā)送消息。 對所生成的每個消息， 確定協(xié)作類和在服務(wù)器對象中的對應(yīng)操作符。 對服務(wù)器對象中的每個操作符（已經(jīng)被來自客戶對象的消息調(diào)用），確定傳遞的消息。 對每個消息，確定下一層被調(diào)用的操作符，并把這些操作符結(jié)合進測試序列中。銀行系統(tǒng)的類-協(xié)作圖12.4 12.4 設(shè)計測試用例設(shè)計測試用例12.4 12.4 設(shè)計測試用例設(shè)計測試用例2. 從動態(tài)模型導出測試用例 類的狀態(tài)圖有助于導出測試該類（及與其協(xié)作的那些類