第3章 软件需求工程.pptVIP

软件需求工程Software Requirements Engineering 3.1 软件需求工程的基本概念 软件需求的重要性 软件需求的困难 传统需求分析 需求工程的基本活动包括： 需求分析常用技术 三、需求的有效性验证 三、需求的有效性验证 3.2 需求分析方法 3.2 需求分析方法 3.2 需求分析方法 需求案例分析 非功能需求 五、 分层DFD图的改进 DFD图须经过反复修改，才能获得最终的目标系统 的DFD图。从以下方面改进DFD图： 1、检查数据流的正确性 ① 数据守恒 ② 子图、父图的平衡 ③ 文件使用是否合理。特别注意输入/出文件的数 据流。 3.3 E-R方法 ( Entity-Relationship Approach) 和实体模型 在需求分析阶段进行数据库逻辑设计过程中，使用E-R图，可定义一 个实体模型。 实体模型是现实世界的纯表示，它不涉及数据世界的数据结构、存取路径、存取效率等问题。因此，它可以转换成数据库中的数据模型。 数据可以按相应数据模型进行组织。 E-R图中表示实体联系的符号如下： 在E-R图中，每个方框表示实体型或属性，方框之间的连线表示实体之间，或实体与属性之间的联系。出现在连线上的短竖线可以看成是“1”，而圆圈隐含表示“0”。 例如，在教学管理中，一个教师可以教授零门、一门或多门课程，每位学生也需要学习几门课程。因此，教学管理中涉及的对象（实体型）有学生、教师和课程。 用E-R图描述它们之间的联系，得下图。其中，学生与课程是多对多的联系，而教师与课程的联系是一对多。 进一步，要确定属性。例如， 学生具有学号、姓名、性别、年龄、专业（其它略）等属性； 课程具有课程号、课程名、学分、学时数等属性； 教师具有职工号、姓名、年龄、职称等属性。 此外，学生通过学号、分数与课程发生联系。如此可得教学实体模型。 3.4 状态转换图 状态转换图(简称为状态图)是通过描绘系统状态及引起系统状态转换的事件，来表示系统的行为。 -----状态图还指明了作为特定事件的结果系统将做哪些动作。 -----可以用状态图建立软件系统的行为模型。 1. 状 态 状态是任何可以被观察到的系统行为模式，一个状态代表系统的一种行为模式。其规定了系统对事件的响应方式。 在状态图中定义的状态主要有：初态、终态和中间状态。 在一张状态图中只能有一个初态，而终态则可以有0至多个。 初态用实心圆表示，终态用一对同心圆(内圆为实心圆)表示。 中间状态用圆角矩形表示，可以用两条水平横线把它分成上、中、下3个部分，分别放置状态名、状态变量和活动表。 2．事 件 事件是在某个特定时刻发生的事情，它是对引起系统做动作或(和)从一个状态转换到另一个状态的外界事件的抽象。既引起系统动作或转换状态的控制信息。 状态图中两个状态之间带箭头的连线称为状态转换，箭头指明了转换的方向。 状态转换通常是由事件触发的，在这种情况下应该在表示状态转换的箭头线上标出触发转换的事件表达式。 3.符 号 活动表的语法格式： 事件名（参数表）/动作表达式 事件表达式的语法格式： 事件说明[守卫条件]/动作表达式 4.例子 3.5 其他图形工作 层次方框图 层次方框图用树形结构的一系列多层次的矩形框描绘数据的层次结构。 树形结构的顶层是一个单独的矩形框，它代表完整的数据结构，下面各层矩形框代表这个数据的组成部分，最底层的各个框代表组成这个数据的实际数据元素。 2. Warnier图 Warnier图也用树形结构描绘信息，但是它提供的描绘手段比层次方框图更丰富。 用Warnier图可以清楚地描绘信息的逻辑结构，也就是说，它可以表明一个(或一类)信息元素是重复出现的，也可以表示特定信息在某一类信息中是有条件地出现的。 因为重复和条件约束是说明软件处理过程的基础，所以很容易把Warnier图转变成软件设计的工具。 3. IPO图 IPO图是输入、处理、输出图的简称。该图能够方便地描绘输入数据、对数据的处理和输出数据之间的关系。也可以用来描述数据流图中处理框的功能，也可以描述程序模块的功能或实现算法。 实体模型中的基本符号（老式） 符号 含 义 表示实体 表示实体间的联系，与实体间的连线上需用数字标明具体的对应关系 表示与实体有关的属性 用于实体、属性及联系的连接 图2.4 例如：学生和课程之间的E-R模型 学生和课程之间的多对多联系E-R模型； (b) 将多对多联系转换为一对多联系E-R模型 Entry—进入该状态的动作 Exit---退出该状态的动作 Do---指定在该状态下的动作 结构化