11、分析與設(shè)計(jì)模型的測試

1、第第11章章 分析與設(shè)計(jì)模型的測試分析與設(shè)計(jì)模型的測試羅羅 東東 俊俊ZSUJONE126.COM1主要內(nèi)容主要內(nèi)容11.1基于指導(dǎo)性審查測試分析和設(shè)計(jì)模型基于指導(dǎo)性審查測試分析和設(shè)計(jì)模型 11.2測試指定類型的模型測試指定類型的模型 211.1基于指導(dǎo)性審查測試分析和設(shè)計(jì)基于指導(dǎo)性審查測試分析和設(shè)計(jì)模型模型11.1.1UML分析和設(shè)計(jì)模型分析和設(shè)計(jì)模型 11.1.2指導(dǎo)性審查指導(dǎo)性審查 311.1.1UML分析和設(shè)計(jì)模型分析和設(shè)計(jì)模型 在在UML中，模型即是一系列圖例，每個(gè)模型反映系中，模型即是一系列圖例，每個(gè)模型反映系統(tǒng)的一個(gè)特定抽象層。統(tǒng)的一個(gè)特定抽象層。 常用的常用的UML圖有：圖有：

2、 用例圖：描述行動(dòng)事物和系統(tǒng)的參與者，及其相互關(guān)系。用例圖：描述行動(dòng)事物和系統(tǒng)的參與者，及其相互關(guān)系。 類圖：描述各個(gè)類的定義以及類之間的關(guān)系。類圖：描述各個(gè)類的定義以及類之間的關(guān)系。 包圖：提供類的概念分組。包圖：提供類的概念分組。 順序圖：記錄描述算法的消息順序。順序圖：記錄描述算法的消息順序。 狀態(tài)圖：描述數(shù)據(jù)屬性值的不同配置，以及改變數(shù)據(jù)配置狀態(tài)圖：描述數(shù)據(jù)屬性值的不同配置，以及改變數(shù)據(jù)配置的消息。的消息。 活動(dòng)圖：通過邏輯方法收集所有可能的路徑。活動(dòng)圖：通過邏輯方法收集所有可能的路徑。4RUP Overview 5RUP Artifacts Artifacts are either

3、final or intermediate work products that are produced and used during a project. An artifact can be any of the following: A document, such as Business Case or Software Architecture Document A model, such as the Use-Case Model or the Design Model A model element, i.e. an element within a model, such

4、as a class, or a subsystem 6Business Modeling Artifact Set 7Artifact: Business Use-Case Model The business use-case model is a model of the business intended functions. The business use-case model is used as an essential input to identify roles and deliverables in the organization. 8Artifact: Busine

5、ss Object Model The business object model is an object model describing the realization of business use cases. 9Requirements Artifact Set10Artifact: Use-Case Model The use-case model is a model of the systems intended functions and its environment, and serves as a contract between the customer and t

6、he developers. The use-case model is used as an essential input to activities in analysis, design, and test. 11Analysis & Design Artifact Set 12Artifact: Analysis Model An object model describing the realization of use cases, and which serves as an abstraction of the Artifact: Design Model. The Anal

7、ysis Model contains the results of use case analysis, instances of the Artifact: Analysis Class. The Analysis Model is an optional artifact.13Artifact: Deployment Model The Deployment Model shows the configuration of processing nodes at run-time, the communication links between them, and the compone

8、nt instances and objects that reside on them. 14Artifact: Design Model The design model is an object model describing the realization of use cases, and serves as an abstraction of the implementation model and its source code. The design model is used as essential input to activities in implementatio

9、n and test. 15Artifact: Data Model The data model is a subset of the implementation model which describes the logical and physical representation of persistent data in the system. It also includes any behavior defined in the database, such as stored procedures, triggers, constraints, etc. 16Implemen

10、tation Artifact Set17Artifact: Implementation Model The implementation model is a collection of components, and the implementation subsystems that contain them. Components include both deliverable components, such as executables, and components from which the deliverables are produced, such as sourc

11、e code files. 18Test Artifact Set 19Artifact: Test Model The test model is a representation of what will be tested and how it will be tested. It includes the collection of the test cases, test procedures, test scripts, and expected test results along with a description of their relationships. 20Depl

12、oyment Artifact Set 21Configuration & Change Management Artifact Set 22Project Management Artifact Set 23Environment Artifact Set 2411.1.2指導(dǎo)性審查指導(dǎo)性審查 指導(dǎo)性審查是一種增強(qiáng)了的專為檢驗(yàn)?zāi)Ｐ投笇?dǎo)性審查是一種增強(qiáng)了的專為檢驗(yàn)?zāi)Ｐ投鴦?chuàng)建的檢測技巧，用于驗(yàn)證模型是否符合項(xiàng)創(chuàng)建的檢測技巧，用于驗(yàn)證模型是否符合項(xiàng)目的需求，在開發(fā)過程早期就使用測試觀點(diǎn)。目的需求，在開發(fā)過程早期就使用測試觀點(diǎn)。25一個(gè)例子一個(gè)例子 對于對于Brickles游戲中用戶選擇游戲中用戶

13、選擇File菜單中的菜單中的Quit項(xiàng)退項(xiàng)退出游戲的用例，檢查組指導(dǎo)性審查該用例的類圖和出游戲的用例，檢查組指導(dǎo)性審查該用例的類圖和順序圖。順序圖。 首先，測試人員設(shè)計(jì)測試用例，其中的一個(gè)測試用例是：首先，測試人員設(shè)計(jì)測試用例，其中的一個(gè)測試用例是： 前置條件：游戲者已經(jīng)啟動(dòng)前置條件：游戲者已經(jīng)啟動(dòng)Brickles游戲，移動(dòng)了滑板，且撞碎游戲，移動(dòng)了滑板，且撞碎了一些磚塊。了一些磚塊。 測試輸入：游戲者選擇測試輸入：游戲者選擇Quit。 期望輸出：游戲的所有動(dòng)作停止并且游戲窗口消失。期望輸出：游戲的所有動(dòng)作停止并且游戲窗口消失。 當(dāng)測試人員模擬執(zhí)行這個(gè)測試用例時(shí)，發(fā)現(xiàn)用例的順序圖當(dāng)測試人員模擬

14、執(zhí)行這個(gè)測試用例時(shí)，發(fā)現(xiàn)用例的順序圖中中BricklesDoc類發(fā)送消息給一個(gè)類發(fā)送消息給一個(gè)Timer類，但在類圖中類，但在類圖中卻沒有畫出這兩個(gè)類間的聯(lián)系，并且沒有實(shí)現(xiàn)相應(yīng)的方法。卻沒有畫出這兩個(gè)類間的聯(lián)系，并且沒有實(shí)現(xiàn)相應(yīng)的方法。 26指導(dǎo)性審查的時(shí)間指導(dǎo)性審查的時(shí)間 當(dāng)處于系統(tǒng)的初始階段，開發(fā)組已經(jīng)設(shè)計(jì)出當(dāng)處于系統(tǒng)的初始階段，開發(fā)組已經(jīng)設(shè)計(jì)出系統(tǒng)的類圖和狀態(tài)圖以及順序圖之后，在準(zhǔn)系統(tǒng)的類圖和狀態(tài)圖以及順序圖之后，在準(zhǔn)備編碼之前，是組織專門人員進(jìn)行指導(dǎo)性審備編碼之前，是組織專門人員進(jìn)行指導(dǎo)性審查前一階段所產(chǎn)生結(jié)果的最佳時(shí)間，以避免查前一階段所產(chǎn)生結(jié)果的最佳時(shí)間，以避免錯(cuò)誤的定義帶到開發(fā)過

15、程中而浪費(fèi)大量的時(shí)錯(cuò)誤的定義帶到開發(fā)過程中而浪費(fèi)大量的時(shí)間及人力。間及人力。 27指導(dǎo)性審查的基礎(chǔ)指導(dǎo)性審查的基礎(chǔ) 指導(dǎo)性審查技術(shù)中使用明確的測試用例，這指導(dǎo)性審查技術(shù)中使用明確的測試用例，這為查找工作成果中的缺陷提供了客觀的、系為查找工作成果中的缺陷提供了客觀的、系統(tǒng)的方法。統(tǒng)的方法。 這種測試觀點(diǎn)表明檢查也被看作是測試的一這種測試觀點(diǎn)表明檢查也被看作是測試的一部分。部分。 28指導(dǎo)性審查的評價(jià)標(biāo)準(zhǔn)指導(dǎo)性審查的評價(jià)標(biāo)準(zhǔn) 模型是否正確？模型是否正確？ 正確性是對模型的準(zhǔn)確程度測量，在分析階段，指對問題描述的準(zhǔn)確正確性是對模型的準(zhǔn)確程度測量，在分析階段，指對問題描述的準(zhǔn)確性；在設(shè)計(jì)階段，指對解決

16、問題的方案描述的準(zhǔn)確性。模型的正確性性；在設(shè)計(jì)階段，指對解決問題的方案描述的準(zhǔn)確性。模型的正確性與多少測試用例相關(guān)，則只有這些測試用例的期望結(jié)果正確時(shí)才說明與多少測試用例相關(guān)，則只有這些測試用例的期望結(jié)果正確時(shí)才說明模型是正確的。模型是正確的。 模型對信息的描述是否完整？模型對信息的描述是否完整？ 測試模型中是否遺漏了有用或必需的元素。一個(gè)直接影響完整性標(biāo)準(zhǔn)測試模型中是否遺漏了有用或必需的元素。一個(gè)直接影響完整性標(biāo)準(zhǔn)的有效因素是測試覆蓋率的質(zhì)量。如果測試執(zhí)行的結(jié)果能使用模型的的有效因素是測試覆蓋率的質(zhì)量。如果測試執(zhí)行的結(jié)果能使用模型的內(nèi)容來充分表述，那么該模型就是完整的。內(nèi)容來充分表述，那么該

17、模型就是完整的。 模型是否內(nèi)部一致以及是否與它的基類一致？模型是否內(nèi)部一致以及是否與它的基類一致？ 一致性是對在模型內(nèi)部以及當(dāng)前模型和它的基礎(chǔ)模型之間是否存在矛一致性是對在模型內(nèi)部以及當(dāng)前模型和它的基礎(chǔ)模型之間是否存在矛盾的測量。一致性檢查能決定在一個(gè)圖例的內(nèi)部或兩個(gè)圖例之間是否盾的測量。一致性檢查能決定在一個(gè)圖例的內(nèi)部或兩個(gè)圖例之間是否存在矛盾或沖突。例如：一個(gè)順序圖可能要求兩個(gè)類之間有關(guān)系而類存在矛盾或沖突。例如：一個(gè)順序圖可能要求兩個(gè)類之間有關(guān)系而類圖卻沒有顯示它們。圖卻沒有顯示它們。 29指導(dǎo)性審查活動(dòng)中的基本角色指導(dǎo)性審查活動(dòng)中的基本角色 領(lǐng)域?qū)＜遥哼@些人根據(jù)特定的輸入定義期望領(lǐng)域?qū)?/p>

18、家：這些人根據(jù)特定的輸入定義期望的系統(tǒng)。在許多領(lǐng)域，有經(jīng)驗(yàn)的開發(fā)者就是的系統(tǒng)。在許多領(lǐng)域，有經(jīng)驗(yàn)的開發(fā)者就是該領(lǐng)域的專家，他們能夠提供最初的測試標(biāo)該領(lǐng)域的專家，他們能夠提供最初的測試標(biāo)準(zhǔn)。準(zhǔn)。 測試者：具有該角色的人執(zhí)行必要的分析以測試者：具有該角色的人執(zhí)行必要的分析以選擇和設(shè)計(jì)有效的測試用例。測試者通常是選擇和設(shè)計(jì)有效的測試用例。測試者通常是基本模型的創(chuàng)建者?；灸Ｐ偷膭?chuàng)建者。 開發(fā)者：被測試模型的創(chuàng)建者扮演開發(fā)者：被測試模型的創(chuàng)建者扮演“開發(fā)者開發(fā)者”的角色，他們與測試人員一起檢測模型。的角色，他們與測試人員一起檢測模型。 30指導(dǎo)性審查活動(dòng)的準(zhǔn)備指導(dǎo)性審查活動(dòng)的準(zhǔn)備 進(jìn)行指導(dǎo)性審查工作之

19、前，需要開發(fā)者對整進(jìn)行指導(dǎo)性審查工作之前，需要開發(fā)者對整個(gè)系統(tǒng)模型進(jìn)行分解，形成可以有機(jī)組織的個(gè)系統(tǒng)模型進(jìn)行分解，形成可以有機(jī)組織的模型，以方便檢查。模型，以方便檢查。 31指導(dǎo)性審查活動(dòng)的進(jìn)行指導(dǎo)性審查活動(dòng)的進(jìn)行 交互式審查會話是進(jìn)行正式審查工作的最簡交互式審查會話是進(jìn)行正式審查工作的最簡單有效的方法，在交互式會話之前，開發(fā)人單有效的方法，在交互式會話之前，開發(fā)人員首先應(yīng)該設(shè)計(jì)檢查列表。員首先應(yīng)該設(shè)計(jì)檢查列表。 交互式審查會話通常是測試者根據(jù)用例圖開交互式審查會話通常是測試者根據(jù)用例圖開發(fā)一系列測試用例；開發(fā)人員將詳細(xì)介紹設(shè)發(fā)一系列測試用例；開發(fā)人員將詳細(xì)介紹設(shè)計(jì)模型中的類是如何處理每一個(gè)測

20、試用例的，計(jì)模型中的類是如何處理每一個(gè)測試用例的，開發(fā)人員模擬實(shí)際代碼的執(zhí)行過程進(jìn)行象征開發(fā)人員模擬實(shí)際代碼的執(zhí)行過程進(jìn)行象征性的執(zhí)行，同測試人員一起經(jīng)歷測試用例的性的執(zhí)行，同測試人員一起經(jīng)歷測試用例的場景。場景。 32UML詳細(xì)設(shè)計(jì)檢查列表詳細(xì)設(shè)計(jì)檢查列表 3311.2測試指定類型的模型測試指定類型的模型11.2.1指導(dǎo)性審查分析模型指導(dǎo)性審查分析模型 11.2.2指導(dǎo)性審查設(shè)計(jì)模型指導(dǎo)性審查設(shè)計(jì)模型 3411.2.1指導(dǎo)性審查分析模型指導(dǎo)性審查分析模型 完整性：每個(gè)用例中表達(dá)的意思能通過模型完整性：每個(gè)用例中表達(dá)的意思能通過模型中的概念和算法邏輯描述出來。模型中沒有中的概念和算法邏輯描述出

21、來。模型中沒有包含設(shè)計(jì)信息包含設(shè)計(jì)信息 正確性：專家對賦予給每個(gè)概念的屬性和行正確性：專家對賦予給每個(gè)概念的屬性和行為表示認(rèn)可。在每一個(gè)算法邏輯的步驟上，為表示認(rèn)可。在每一個(gè)算法邏輯的步驟上，對每一個(gè)可計(jì)算實(shí)體的主要狀態(tài)進(jìn)行確認(rèn)對每一個(gè)可計(jì)算實(shí)體的主要狀態(tài)進(jìn)行確認(rèn) 一致性：如果有多種方式來描述一個(gè)行為的一致性：如果有多種方式來描述一個(gè)行為的概念，那些方法都是相等的概念，那些方法都是相等的3511.2.2指導(dǎo)性審查設(shè)計(jì)模型指導(dǎo)性審查設(shè)計(jì)模型 兩種基本的設(shè)計(jì)模型：兩種基本的設(shè)計(jì)模型： 體系結(jié)構(gòu)設(shè)計(jì)模型：通過定義一系列的接口是如體系結(jié)構(gòu)設(shè)計(jì)模型：通過定義一系列的接口是如何關(guān)聯(lián)的為應(yīng)用提供了基本的結(jié)構(gòu)

22、；何關(guān)聯(lián)的為應(yīng)用提供了基本的結(jié)構(gòu)； 詳細(xì)的類設(shè)計(jì)模型：提供了每個(gè)類的精確的語義詳細(xì)的類設(shè)計(jì)模型：提供了每個(gè)類的精確的語義和類響應(yīng)的接口體系結(jié)構(gòu)。和類響應(yīng)的接口體系結(jié)構(gòu)。 36測試體系結(jié)構(gòu)設(shè)計(jì)模型測試體系結(jié)構(gòu)設(shè)計(jì)模型 完整性：定義了足夠的接口集為應(yīng)用程序提完整性：定義了足夠的接口集為應(yīng)用程序提供所有需要的功能服務(wù)。接口之間的關(guān)系允供所有需要的功能服務(wù)。接口之間的關(guān)系允許控制和為實(shí)現(xiàn)在使用用例圖中描述的用途許控制和為實(shí)現(xiàn)在使用用例圖中描述的用途所需的數(shù)據(jù)的流動(dòng)所需的數(shù)據(jù)的流動(dòng) 正確性：結(jié)構(gòu)滿足于他的約束條件；使用了正確性：結(jié)構(gòu)滿足于他的約束條件；使用了合適的結(jié)構(gòu)樣式；詳細(xì)說明了接口之間的交合適的結(jié)構(gòu)樣式；詳細(xì)說明了接口之間的交互互 一致性：系統(tǒng)的每個(gè)應(yīng)用都能僅在