软件工程-软件需求.pptVIP

软件工程 - 2008 - 第三章 软件需求 需求分析的任务就是借助于当前系统的逻辑模型导出目标系统的逻辑模型，解决目标系统的 “做什么” 的问题 通常软件开发项目是要实现目标系统的物理模型 目标系统的具体物理模型是由它的逻辑模型经实例化，即具体到某个业务领域而得到的 导出目标系统的逻辑模型的过程中，对系统进行建模有着不可替代的作用 比如，在典型的系统中，大部分用户不是位于系统边界之外，而是系统的一部分。因此，不能把系统看成一个仅满足他们需求的黑盒。为理解项目干系人的需求，必须在整个系统范围内理解系统语境、角色、控制数据的本质、形成需求的组织或环境约束等。通过对系统建模有助于了解不同需求源怎样和主要设计相适应，从而有助于更好地理解项目干系人的根本目的 系统模型：描述系统的某个特殊方面，是自然语言描述的补充 需求定义和系统模型通常同时开发 系统某一方面的需求间相互关系的统一表达 常常可看作是需求规约的具体化，视开发方对系统模型的重视程度和开发任务的分配情况而定 系统模型本质：开发方根据从应用域中提取的需求，以自己的形式表达的理解 系统模型的分类： 行为模型：这个概念包括系统的所有过程层面的内容 功能模型：描述数据的功能转换。有两种方式。其一，数据被认为在功能处理元素间流动，如数据流图（DFD）。其二，领域实体被建模成对象，通过事件触发相应的服务来处理数据元素，如面向对象方法 动态模型：描述与时间有关的变化 结构模型（静态模型）：描述系统的实体结构 最基本形式－自然语言描述： 因可能存在二义性，所以应在合适情况下选用合适的符号进行精确描述 静态描述 实体－关系图（E－R图） 数据抽象 对象模型 动态描述 判定表 状态迁移图 事件表 Petri网 层次技术 Warnier图 系统的需求规格说明通常可以用自然语言来叙述，但是用自然语言描述往往会出现歧义性 为了直观地分析系统的动作，从特定的视点出发描述系统的行为，需要采用动态分析的方法 状态迁移图 时序图 Petri网 状态迁移图是描述系统的状态如何响应外部的信号进行推移的一种图形表示 圆圈“○”表示可得到的系统状态 箭头“→”表示从一种状态向另一种状态的迁移。箭头上要标明导致迁移的信号的或事件的名字 状态迁移图所表示的关系还可以用表格形式表达，称之为状态迁移表 如何设置系统的状态，需要根据分析的目标和表达的目的而定 例如，操作系统中根据调度的要求需要设置进程的状态，当有多个申请占用CPU运行的进程时，有关CPU分配的进程的状态就可以象下面这张图来表示： 可得到的状态＝就绪，运行，等待 就绪（Ready）：等待分配CPU 运行（Running）：正在CPU上做处理 等待（Wait）：放弃CPU 生成的事件＝t1，t2， t3， t4 t1：因I/O等事件发生而要求中断 t2：中断事件已处理 t3：分配CPU t4：已用完分配的CPU时间 状态之间的关系能够直观地捕捉到，可以检查所有可能的状态是否都已纳入到图中，是否存在不必要的状态等 由于状态迁移图的单纯性，能够机械地分析许多情况，可很容易地建立分析工具，回答诸如“指定事件序列P、状态A和B，可以因为P从A向B迁移吗？”、“找出经过所有状态的事件序列”之类的问题 在系统分析中，时序图用于对比在系统中处理事件的时序和相应的处理时间 在下图中, 对于事件e，功能1～功能3的处理时间总计为 (T1＋T2＋T3），其中功能间切换时间为0 采用扩充时序图可表示进程间的通信流， 用于分析几个 事件的交错现象。如右图，C1与C2，R1与R2是交错的。因此，可以做如下分析： Petri网最早是作为表达异步系统的控制规则的图形表示法提出来的，现在已广泛地应用于硬件与软件系统的开发中，它适用于描述与分析相互独立、协同操作的处理系统，也就是并发执行的处理系统 Petri网简称PNG (Petri Net Graph)，是一种有向图，它有两种结点： 位置（ place ）：符号为“○”，它用来表示系统的状态。 转移（ transition ）：符号为“—” 或“︱”，它用来表示系统中的事件。 图中的有向边表示对转移的输入，或由转移的输出：“→︳”表示事件发生的前提，即对转移（事件）的输入，“︱→”表示事件的结果，即由转移（事件）的输出。 称转移的启动为激发或开火（fire），它是转移的输出； 只有当作为输入的所有位置的条件都满足时才能引起激发： 标记，或称令牌(token)，是表明系统当前处于什么状态的标志 处理两个进程的同步问题 图 中每个进程是一个数据对象，它有三个状态：等待资源（p1或p4），占用资源执行的处理（p2或p5），不占用资源执行的处理（p3或p6），另外系统有一个状态：资源空闲（p7）。在有的状态中有一个黑点“