面向问题域的需求分析方法.ppt

第10章面向问题域的需求分析方法,面向问题域的需求分析方法,面向问题域（PD）的需求分析方法（PDOA）是由M.Jckson和P.Zave等人提出的一种新的需求分析方法。与结构化需求分析方法和面向对象需求分析方法相比，其需求建模风格明显不同。问题域是定义用户需求的前提，因为用户需求与所处的客观世界紧密相关，仅仅依赖机器本身难以产生预期的结果。因此，需求工程的本质在于从待求解问题的角度，考虑待开发软件系统将在与待求解问题相关的域内产生的效果,第10章面向问题域的需求分析方法,10.1问题域10.2问题域的划分10.3问题框架10.4问题框架的类型10.5PDOA方法的分析步骤10.6问题框架实例间的关系及其组合,10.1问题域,问题域是指与问题相关的部分现实世界。问题域与问题相互依存，问题处于一定的问题域之中，脱离了问题域，问题就无法存在。问题域也是与特定的问题相关的现实世界，脱离特定的问题考虑纯粹的问题域没有任何意义。问题域包括所有与秒速期望效果有关的事物，可用来产生这些效果的方法也是问题域的一部分。用来产生相关效果的方法可分为直接方法和间接方法。直接方法是指机器的输入/输出设备，间接方法则包括用户以及可以执行任务的其他计算机等。用户需求可视为通过计算机程序在问题域中施加的效果，这些效果是对用户预期的描述。,问题的解决方案（解系统）,在软件开发中是指在计算机上运行、且能解决问题的程序。需求工程是一个获取并文档化用户需求信息的过程，用户所关心的是在问题域内产生的效果，对软件在机器域中如何具体实现并不关心。用户所拥有的也只是与问题域相关的知识，对具体实现所需的技巧和方法并不了解。故必须从问题域而非机器域出发，来获取并文档化用户的需求信息,需求分析文档、规格说明文档和程序之间的关系,需求分析文档全部包含在问题域中，与机器域无关程序作用在机器域中，与问题域无关。规格说明文档描述问题域与机器域之间的接口,需求分析文档包括两方面的内容：问题域知识的描述，用K表示；用户期望在问题域中产生的效果，即用户需求，用R表示；S表示需求规格说明时，K,SR,10.2问题域的划分,层次式功能分解（自顶向下和逐步求精）,包括三个步骤:1）确定系统所需的各项功能；2）若某些（个）功能对应于一个足够小的具体实现单元，则由该实现单元直接实现3）否则，把功能分解为一系列子功能，并重复2）和3），直到所有子功能可分别对应一个足够小的具体实现单元,并行划分并行划分是指将每个子问题看成是整个问题的一个投影，通过不同角度的投影，将整个问题分解为一系列相互关联的子问题。,10.3问题框架,问题框架是一种模式，它捕获并定义了常见的简单子问题的类型。问题框架由三部分组成：问题域D,需求R，机器M五种基本问题框架：需求式行为问题框架、命令式行为问题框架、信息显示问题框架、工件问题框架、变换问题框架,10.4问题框架的类型,需求式行为问题框架需求式行为问题框架的直观思想是：存在客观世界的某个部分，其行为要收到控制，使得它满足特定的条件。其问题框架见P（137）,命令式行为问题框架命令式行为问题框架的直观思想是：存在客观世界的某个部分，其行为要依据操作者发出的命令来控制。问题是要建立一个机器，该机器接受操作者的命令并施加相应控制。其问题框架见P(138),信息显示问题框架直观思想：存在客观世界的某个部分，关于其状态和行为的特定信息被连续的需要。问题是要建立一个机器，该机器从客观世界中获得相关信息，并按所要求的格式呈现在所要求的地方。其问题框架见P(138),工件问题框架直观思想：需要一个工具，让用户创建并编辑特定类型的计算机可处理的文本或图形对象或简单结构，以便它们随后能被复制、打印、分析或按其他方式使用。问题是要建立一个机器，该机器可以充当这个工具，其问题框架见P(140),变换问题框架直观思想：存在一些计算机可读的输入文件，其数据必须变换，以给出所需要的特定输出文件。输出数据必须遵守特定的格式，按照特定的规则从输入数据中导出。问题是要建立一个机器，该机器从输入中产生所需要的输出。其问题框架见P（140）,10.5PDOA方法的分析步骤,PDOA方法的基本过程可分为三步1）搜集需求信息，界定和描述问题及问题域；2）划分问题域并开发相关问题框架；3）根据问题框架的类型进一步描述问题域的相关特性以某校园通系统为实例，来说明PDOA方法的工作原理,10.6问题框架实例间的关系及其组合,问题框架实例间的关系静态形式：两个问题框架实例在形式上相互关联是指它们所对应的问题图之间相互关联。两个问题框架实例相关形式上表现为它们具有一个或多个公共的域；一个问题框架实例所包含的需求，或者说它所对应的子问题应满足的需求是另一个问题框架实例中的域,动态交互：两个问题框架实例相关本质上是指它们的机器与机器之间存在由并行的划分所引发的并发关系。可分为以下两种情况一个问题框架实例中的需求对某个域中的现象具有约束，而另一个问题框架实例中的需求仅引用该域的相关现象，但对该域没有约束。两个问题框架实例的需求均对某个域中的现象具有约束。,问题框架实例的组合,问题框架实例的组合与基于问题框架划分问题及其问题域相辅相成，它主要考虑在组合各个独