【正文】 方便地實現(xiàn)功能的復(fù)用和擴充。 e) 定義的服務(wù)是否有重復(fù)，是否定義了能夠得到的服務(wù)。 ? 對服務(wù)和消息連接的測試應(yīng)考慮以下幾方面： 17 軟件工程 a) 類和結(jié)構(gòu)在問題領(lǐng)域中的實例具有不同的狀態(tài)，是否為狀態(tài)轉(zhuǎn)換定義了相應(yīng)的服務(wù)。 g) 定義的實例連接是否符合實際。 c) 定義的屬性在問題領(lǐng)域中是否與這種實例關(guān)系密切。 4. 對定義的屬性和實例連接的測試 ? 屬性描述類或結(jié)構(gòu)中實例（對象）的特性。 ? 對主題的測試應(yīng)該考慮以下方面： a) 貫徹 Gee Miller 的“ 7+2”原則，如果主題個數(shù)超過 7 個，就要求對有較密切屬性和服務(wù)的主題進行歸并。 b) 整體類的局部類是否在問題領(lǐng)域中有實際應(yīng)用。 b) 對于結(jié)構(gòu)中的一個類，尤其是處于同一低層的類，看是否能抽象出在現(xiàn)實世界中有意義的更一般的上層的類。 f) 認定的類的名稱應(yīng)該盡量準確，適用。只有一個屬性的類通常應(yīng)看成其他類的屬性，而不是抽象 10 軟件工程 為獨立的類。因此， OOA測試的重點在其完整性和冗余性。這種傳統(tǒng)的功能分解分析法的著眼點在于 一個系統(tǒng)需要什么樣的信息處理方法和過程，以過程的抽象來對待系統(tǒng)的需要 。 6 軟件工程 開發(fā)前期的面向?qū)ο鬁y試 ? 面向?qū)ο蟮南到y(tǒng)開發(fā)經(jīng)歷 ? 面向?qū)ο蠓治觯?OOA） ? 面向?qū)ο笤O(shè)計（ OOD） ? 面向?qū)ο缶幊蹋?OOP） ? 等三個階段。面向?qū)ο髥卧獪y試是進行面向?qū)ο蠹蓽y試的基礎(chǔ)。 ? 針對這種開發(fā)模型，結(jié)合傳統(tǒng)測試步驟的劃分，本著在整個開發(fā)過程中不斷測試的原則，應(yīng)將開發(fā)階段的測試與編碼完成后的單元測試、集成測試、系統(tǒng)測試用一個測試模型描述。 2) 由對象到子系統(tǒng)的集成通常是松散耦合的，沒有一個明顯的“頂層”。 3) 如果對象被復(fù)用，測試者無權(quán)進入構(gòu)件內(nèi)部來分析其代碼。 3 軟件工程 面向?qū)ο鬁y試模型 OO System Test OO Integration Test OO Unit Test OOA Test OOD Test OOP Test OOA OOD OOP 4 軟件工程 ? OOA Test和 OOD Test 是對分析結(jié)果和設(shè)計結(jié)果的測試，主要是對分析設(shè)計產(chǎn)生的文本進行，是軟件開發(fā)前期的關(guān)鍵性測試。 5 軟件工程 ? 面向?qū)ο蠹蓽y試主要對系統(tǒng)內(nèi)部的相互服務(wù)進行測試，如成員函數(shù)間的相互作用，類間的消息傳遞等。在這個時期的測試工作主要是靜態(tài)測試。 ? 面向?qū)ο蠓治觯?OOA）是“把 E－ R圖和語義網(wǎng)絡(luò)模型，即信息模型中的概念，與面向?qū)ο蟪绦蛟O(shè)計語言中的重要概念結(jié)合在一起而形成的分析方法”，最后 得到問題領(lǐng)域的可視的形式描述 。 ? 根據(jù) Coad和 Yourdon方法所提出的 OOA實現(xiàn)步驟，對 OOA階段的測試劃分為以下五個方面： ?對認定的 類 的測試 ?對認定的 結(jié)構(gòu) 的測試 ?對認定的 主題 的測試 9 軟件工程 ? 對定義的 屬性 和 實例連接 的測試 ? 對定義的 服務(wù) 和 消息連接 的測試 1. 對認定的類的測試 ? OOA中認定的類是對問題領(lǐng)域中的 結(jié)構(gòu) ， 其他相關(guān)系統(tǒng) ， 設(shè)備 ， 被記憶的事件 ， 系統(tǒng)涉及的人員 等實際對象的抽象。 c) 認定為同一個類的對象是否有共同的，區(qū)別于其他類對象的共同屬性。 2. 對認定的結(jié)構(gòu)的測試 11 軟件工程 ? 在 Coad和 Yourdon方法中，認定的結(jié)構(gòu)分為兩種： 泛化結(jié)構(gòu) 和 復(fù)合結(jié)構(gòu) 。 12 軟件工程 c) 高層的類的屬性和服務(wù)是否完全體現(xiàn)下層的共性。 c) 整體類中是否遺漏了在問題領(lǐng)域中有用的局部類。 14 軟件工程 b) 主題所反映的一組類和結(jié)構(gòu)是否具有相同和相近的屬性和服務(wù)。而實例連接則反映實例集合之間的映射關(guān)系。 d) 定義的屬性是否能夠不依賴于其他屬性被獨立理解。 h) 在問題領(lǐng)域中實例連接的定義是否完整，特別需要注意一對多和多對多的實例連接。 b) 類或結(jié)構(gòu)所需要的服務(wù)是否都定義了相應(yīng)的消息連接。 18 軟件工程 面向?qū)ο笤O(shè)計的測試 ? 面向?qū)ο笤O(shè)計（ OOD）從“建模的觀點”出發(fā)，基于 OOA模型歸納出類，并建立類的層次結(jié)構(gòu)或進一步構(gòu)造成類庫，實現(xiàn)分析結(jié)果對問題領(lǐng)域的抽象。 19 軟件工程 ? OOD的測試可從如下三方面考慮： ? 對認定的類的測試 ? 對構(gòu)造的類層次結(jié)構(gòu)的測試 ? 對類庫的支持的測試 1. 對認定的類的測試 ? 認定的類的測試應(yīng)考慮以下幾個方面： a) 是否涵蓋了 OOA中所有認定的對象。 20 軟件工程 e) 是否盡可能少地依賴其他類。為此應(yīng)做如下幾個方面的檢查： 21 軟件工程 a) 類層次結(jié)構(gòu)中是否涵蓋了所有定義的類。 e) 子類之間的共同特性是否完全在父類中得以體現(xiàn)。 b) 類中方法（ C++稱為類的成員函數(shù)）的功能是否比較單一，相應(yīng)的代碼行是否較少（建議不超過 100行）。 ? 繼承 提高了代碼的復(fù)用率，同時也提高了錯誤傳播的概率。這種面向?qū)ο蟪绦蝻L格，可將出現(xiàn)的錯誤精確定位在某一個具體的對象。 ? 值得注意，有時強制的類型轉(zhuǎn)換會破壞數(shù)據(jù)的封裝特性。 char *s = visible。 27 軟件工程 2. 類是否實現(xiàn)了要求的功能 ? 類的功能都是通過類的成員函數(shù)實現(xiàn)的。因此需要進行面向?qū)ο蟮募蓽y試。 開發(fā)后期的面向?qū)ο鬁y試 面向?qū)ο蟮膯卧獪y試（ Unit Test） 30 軟件工程 ? 面向?qū)ο蟮膯卧獪y試則是針對面向?qū)ο蟪绦虻幕締卧?－ 對象類。 b) 如果操作（成員函數(shù)）對某一復(fù)雜度的輸入能夠正確執(zhí)行，則對更高復(fù)雜度的輸入也應(yīng)能正確執(zhí)行。例如： 32 軟件工程 ? if ( 1 == write(fid, buffer, amount) ) error_out()。 ? 程序中將 if ( strncmp(str1, str2, strlen(str1)) ) 誤寫成了 if ( strncmp(str1, str2, strlen(str2)) )。尤其是繼承特性和多態(tài)特性， Brian Marick 提出 了兩點： 1) 繼承的成員函數(shù)可能需要重新測試 ? 對父類中已經(jīng)測試過的成員函數(shù)，兩種情況需要在子類中重新測試： a) 繼承的成員函數(shù)在子類中做了改動； b) 成員函數(shù)調(diào)用了改動過的成員函數(shù)。對此，應(yīng)該對 Derived::Redefined() 重新設(shè)計測試用例。 else message (more)。 if ( value == 88 ) message(luck)。 ? 在測試對象時，完全的覆蓋測試應(yīng)當包括： ? 隔離對象中所有 操作 ，進行獨立測試。 2. 對象類測試 38 軟件工程 ? 對象類 ， 作為在語法上獨立的構(gòu)件 ， 應(yīng)當允許在不同應(yīng)用中使用 。 2) 對于一個單獨的操作 ， 可通過該操作的 前置條件 選擇測試用例 ， 產(chǎn)生輸出 ， 讓測試者能夠判斷 后置條件 是否能夠得到滿足 。但這不夠，還必須測試這些操作的相互作用，才能認為測試是充分的。 2) 對于多數(shù)對象類，主要檢驗在類聲明的 public 域 中的那些操作。將 使用對象相同屬性 的測試歸入同一個等價劃分集合中。 3) 完全的單元應(yīng)當保證類的執(zhí)行必須 覆蓋它的一個有代表性的狀態(tài)集合 。此時不存在自底向上和自頂向下的集成。 ? 面向?qū)ο笙到y(tǒng)的集成測試有 3 種可用的方法：