3.3 認定的主題是否是對象和結構更高層的抽象，是否便于理解OOA結果的概貌(尤其是對非技術人員的OOA 結果讀者)。
3.4 主題間的消息聯系(抽象)是否代表了主題所反映的對象和結構之間的所有關聯。
4 對定義的屬性和實例關聯的測試
屬性是用來描述對象或結構所反映的實例的特性。而實例關聯是反映實例集合間的映射關系。對屬性和實例關聯的測試從如下方面考慮：
4.1 定義的屬性是否對相應的對象和分類結構的每個現實實例都適用。
4.2 定義的屬性在現實世界是否與這種實例關系密切。
4.3 定義的屬性在問題空間是否與這種實例關系密切。
4.4 定義的屬性是否能夠不依賴于其他屬性被獨立理解。
4.5 定義的屬性在分類結構中的位置是否恰當，低層對象的共有屬性是否在上層對象屬性體現。
4.6 在問題空間中每個對象的屬性是否定義完整。
4.7 定義的實例關聯是否符合現實。
4.8 在問題空間中實例關聯是否定義完整，特別需要注意1-多和多-多的實例關聯。
5 對定義的服務和消息關聯的測試
定義的服務，就是定義的每一種對象和結構在問題空間所要求的行為。由于問題空中實例間必要的通信，在OOA 中相應需要定義消息關聯(詳細內容參見[3])。對定義的服務和消息關聯的測試從如下方面進行：
5.1 對象和結構在問題空間的不同狀態是否定義了相應的服務。
5.2 對象或結構所需要的服務是否都定義了相應的消息關聯。
5.3 定義的消息關聯所指引的服務提供是否正確。
5.4 沿著消息關聯執行的線程是否合理，是否符合現實過程。
5.5 定義的服務是否重復，是否定義了能夠得到的服務。
三、面向對象設計的測試(OOD Test)
通常的結構化的設計方法，用的"是面向作業的設計方法，它把系統分解以后，提出一組作業，這些作業是以過程實現系統的基礎構造，把問題域的分析轉化為求解域的設計，分析的結果是設計階段的輸入"(參見[1])。
文章來源于領測軟件測試網 http://www.kjueaiud.com/
