11、分析与设计模型的测试

1、第第11章章 分析与设计模型的测试分析与设计模型的测试罗罗 东东 俊俊ZSUJONE126.COM1主要内容主要内容11.1基于指导性审查测试分析和设计模型基于指导性审查测试分析和设计模型 11.2测试指定类型的模型测试指定类型的模型 211.1基于指导性审查测试分析和设计基于指导性审查测试分析和设计模型模型11.1.1UML分析和设计模型分析和设计模型 11.1.2指导性审查指导性审查 311.1.1UML分析和设计模型分析和设计模型 在在UML中，模型即是一系列图例，每个模型反映系中，模型即是一系列图例，每个模型反映系统的一个特定抽象层。统的一个特定抽象层。 常用的常用的UML图有：图有：

2、 用例图：描述行动事物和系统的参与者，及其相互关系。用例图：描述行动事物和系统的参与者，及其相互关系。 类图：描述各个类的定义以及类之间的关系。类图：描述各个类的定义以及类之间的关系。 包图：提供类的概念分组。包图：提供类的概念分组。 顺序图：记录描述算法的消息顺序。顺序图：记录描述算法的消息顺序。 状态图：描述数据属性值的不同配置，以及改变数据配置状态图：描述数据属性值的不同配置，以及改变数据配置的消息。的消息。 活动图：通过逻辑方法收集所有可能的路径。活动图：通过逻辑方法收集所有可能的路径。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指导性审查指导性审查 指导性审查是一种增强了的专为检验模型而指导性审查是一种增强了的专为检验模型而创建的检测技巧，用于验证模型是否符合项创建的检测技巧，用于验证模型是否符合项目的需求，在开发过程早期就使用测试观点。目的需求，在开发过程早期就使用测试观点。25一个例子一个例子 对于对于Brickles游戏中用户选择游戏中用户

13、选择File菜单中的菜单中的Quit项退项退出游戏的用例，检查组指导性审查该用例的类图和出游戏的用例，检查组指导性审查该用例的类图和顺序图。顺序图。 首先，测试人员设计测试用例，其中的一个测试用例是：首先，测试人员设计测试用例，其中的一个测试用例是： 前置条件：游戏者已经启动前置条件：游戏者已经启动Brickles游戏，移动了滑板，且撞碎游戏，移动了滑板，且撞碎了一些砖块。了一些砖块。 测试输入：游戏者选择测试输入：游戏者选择Quit。 期望输出：游戏的所有动作停止并且游戏窗口消失。期望输出：游戏的所有动作停止并且游戏窗口消失。 当测试人员模拟执行这个测试用例时，发现用例的顺序图当测试人员模拟

14、执行这个测试用例时，发现用例的顺序图中中BricklesDoc类发送消息给一个类发送消息给一个Timer类，但在类图中类，但在类图中却没有画出这两个类间的联系，并且没有实现相应的方法。却没有画出这两个类间的联系，并且没有实现相应的方法。 26指导性审查的时间指导性审查的时间 当处于系统的初始阶段，开发组已经设计出当处于系统的初始阶段，开发组已经设计出系统的类图和状态图以及顺序图之后，在准系统的类图和状态图以及顺序图之后，在准备编码之前，是组织专门人员进行指导性审备编码之前，是组织专门人员进行指导性审查前一阶段所产生结果的最佳时间，以避免查前一阶段所产生结果的最佳时间，以避免错误的定义带到开发过

15、程中而浪费大量的时错误的定义带到开发过程中而浪费大量的时间及人力。间及人力。 27指导性审查的基础指导性审查的基础 指导性审查技术中使用明确的测试用例，这指导性审查技术中使用明确的测试用例，这为查找工作成果中的缺陷提供了客观的、系为查找工作成果中的缺陷提供了客观的、系统的方法。统的方法。 这种测试观点表明检查也被看作是测试的一这种测试观点表明检查也被看作是测试的一部分。部分。 28指导性审查的评价标准指导性审查的评价标准 模型是否正确？模型是否正确？ 正确性是对模型的准确程度测量，在分析阶段，指对问题描述的准确正确性是对模型的准确程度测量，在分析阶段，指对问题描述的准确性；在设计阶段，指对解决

16、问题的方案描述的准确性。模型的正确性性；在设计阶段，指对解决问题的方案描述的准确性。模型的正确性与多少测试用例相关，则只有这些测试用例的期望结果正确时才说明与多少测试用例相关，则只有这些测试用例的期望结果正确时才说明模型是正确的。模型是正确的。 模型对信息的描述是否完整？模型对信息的描述是否完整？ 测试模型中是否遗漏了有用或必需的元素。一个直接影响完整性标准测试模型中是否遗漏了有用或必需的元素。一个直接影响完整性标准的有效因素是测试覆盖率的质量。如果测试执行的结果能使用模型的的有效因素是测试覆盖率的质量。如果测试执行的结果能使用模型的内容来充分表述，那么该模型就是完整的。内容来充分表述，那么该

17、模型就是完整的。 模型是否内部一致以及是否与它的基类一致？模型是否内部一致以及是否与它的基类一致？ 一致性是对在模型内部以及当前模型和它的基础模型之间是否存在矛一致性是对在模型内部以及当前模型和它的基础模型之间是否存在矛盾的测量。一致性检查能决定在一个图例的内部或两个图例之间是否盾的测量。一致性检查能决定在一个图例的内部或两个图例之间是否存在矛盾或冲突。例如：一个顺序图可能要求两个类之间有关系而类存在矛盾或冲突。例如：一个顺序图可能要求两个类之间有关系而类图却没有显示它们。图却没有显示它们。 29指导性审查活动中的基本角色指导性审查活动中的基本角色 领域专家：这些人根据特定的输入定义期望领域专

18、家：这些人根据特定的输入定义期望的系统。在许多领域，有经验的开发者就是的系统。在许多领域，有经验的开发者就是该领域的专家，他们能够提供最初的测试标该领域的专家，他们能够提供最初的测试标准。准。 测试者：具有该角色的人执行必要的分析以测试者：具有该角色的人执行必要的分析以选择和设计有效的测试用例。测试者通常是选择和设计有效的测试用例。测试者通常是基本模型的创建者。基本模型的创建者。 开发者：被测试模型的创建者扮演开发者：被测试模型的创建者扮演“开发者开发者”的角色，他们与测试人员一起检测模型。的角色，他们与测试人员一起检测模型。 30指导性审查活动的准备指导性审查活动的准备 进行指导性审查工作之

19、前，需要开发者对整进行指导性审查工作之前，需要开发者对整个系统模型进行分解，形成可以有机组织的个系统模型进行分解，形成可以有机组织的模型，以方便检查。模型，以方便检查。 31指导性审查活动的进行指导性审查活动的进行 交互式审查会话是进行正式审查工作的最简交互式审查会话是进行正式审查工作的最简单有效的方法，在交互式会话之前，开发人单有效的方法，在交互式会话之前，开发人员首先应该设计检查列表。员首先应该设计检查列表。 交互式审查会话通常是测试者根据用例图开交互式审查会话通常是测试者根据用例图开发一系列测试用例；开发人员将详细介绍设发一系列测试用例；开发人员将详细介绍设计模型中的类是如何处理每一个测

20、试用例的，计模型中的类是如何处理每一个测试用例的，开发人员模拟实际代码的执行过程进行象征开发人员模拟实际代码的执行过程进行象征性的执行，同测试人员一起经历测试用例的性的执行，同测试人员一起经历测试用例的场景。场景。 32UML详细设计检查列表详细设计检查列表 3311.2测试指定类型的模型测试指定类型的模型11.2.1指导性审查分析模型指导性审查分析模型 11.2.2指导性审查设计模型指导性审查设计模型 3411.2.1指导性审查分析模型指导性审查分析模型 完整性：每个用例中表达的意思能通过模型完整性：每个用例中表达的意思能通过模型中的概念和算法逻辑描述出来。模型中没有中的概念和算法逻辑描述出

21、来。模型中没有包含设计信息包含设计信息 正确性：专家对赋予给每个概念的属性和行正确性：专家对赋予给每个概念的属性和行为表示认可。在每一个算法逻辑的步骤上，为表示认可。在每一个算法逻辑的步骤上，对每一个可计算实体的主要状态进行确认对每一个可计算实体的主要状态进行确认 一致性：如果有多种方式来描述一个行为的一致性：如果有多种方式来描述一个行为的概念，那些方法都是相等的概念，那些方法都是相等的3511.2.2指导性审查设计模型指导性审查设计模型 两种基本的设计模型：两种基本的设计模型： 体系结构设计模型：通过定义一系列的接口是如体系结构设计模型：通过定义一系列的接口是如何关联的为应用提供了基本的结构

22、；何关联的为应用提供了基本的结构； 详细的类设计模型：提供了每个类的精确的语义详细的类设计模型：提供了每个类的精确的语义和类响应的接口体系结构。和类响应的接口体系结构。 36测试体系结构设计模型测试体系结构设计模型 完整性：定义了足够的接口集为应用程序提完整性：定义了足够的接口集为应用程序提供所有需要的功能服务。接口之间的关系允供所有需要的功能服务。接口之间的关系允许控制和为实现在使用用例图中描述的用途许控制和为实现在使用用例图中描述的用途所需的数据的流动所需的数据的流动 正确性：结构满足于他的约束条件；使用了正确性：结构满足于他的约束条件；使用了合适的结构样式；详细说明了接口之间的交合适的结构样式；详细说明了接口之间的交互互 一致性：系统的每个应用都能仅在