第3章需求分析精选.pptVIP

* * 作为需求工程方法学的一部分，在1977年设计完成了RSL(需求陈述语言)。RSL中的语句是计算机可以处理的，处理以后把从这些语句中得到的信息集中存放在一个称为ASSM（抽象系统语义模型）的数据库中。有一组软件工具处理ASSM数据库中的信息以产生出用PASCAL语言书写的模拟程序，从而可以检验需求的一致性、完整性和现实性。 1977年美国密执安大学开发了PSL/PSA(问题陈述语言/问题陈述分析程序)系统。这个系统是CADSAT（计算机辅助设计和规格说明分析工具）的一部分，它的基本结构类似于RSL。其中PSL是用来描述系统的形式语言，PSA是处理PSL描述的分析程序。用PSL描述的系统属性放在一个数据库中。一旦建立起数据库之后即可增加信息、删除信息或修改信息，并且保持信息的一致性。PSA对数据库进行处理以产生各种报告，测试不一致性或遗漏，并且生成文档资料。 PSL/PSA系统的功能主要有下述4种： (1) 描述任何应用领域的信息系统； (2) 创建一个数据库保存对该信息系统的描述符； (3) 对描述符施加增加、删除和更改等操作； (4) 产生格式化的文档和关于规格说明书的各种分析报告。 PSL/PSA系统用描述符从系统信息流、系统结构、数据结构、数据导出、系统规模、系统动态、系统性质和项目管理等8个方面描述信息系统。 一旦用PSL对系统做了完整描述，就可以调用PSA产生一组分析报告，其中包括所有修改规格说明数据库的记录，用各种形式描述数据库信息的参照报告(包括图形形式的描述)，关于项目管理信息的总结报告，以及评价数据库特性的分析报告。 借助PSL/PSA系统可以边对目标系统进行自顶向下的逐层分解，边将需求分析过程中遇到的数据流、文件、处理等对象用PSL描述出来并输入到PSL/PSA系统中。PSA将对输入信息作一致性和完整性检查，并且保存这些描述信息。 PSL/PSA系统的主要优点是它改进了文档质量，能保证文档具有完整性、一致性和无二义性，从而可以减少管理和维护的费用。数据存放在数据库中，便于增加、删除和更改，这也是它的一个优点。 第 一 范 式 每个属性值都必须是原子值，即仅仅是一个简单值而不含内部结构。 如： 学生(学号，姓名，性别，年龄，年级，专业，籍贯) 教师(职工号，姓名，年龄，职称，职务，工资级别，工资) 课程(课程号，课程名，学分，学时，课程类型) 第 二 范 式 满足第一范式条件，而且每个非关键字属性都由整个关键字决定(而不是由关键字的一部分来决定)。 如： 选课 ( 学号，课程号，听课出勤率，作业完成率，分数 ) 教课 ( 职工号，课程号，授课效果 ) 第 三 范 式 符合第二范式的条件，每个非关键字属性都仅由关键字决定，而且一个非关键字属性不能仅仅是对另一个非关键字属性的进一步描述(即一个非关键字属性值不依赖于另一个非关键字属性值)。 如： 教师(职工号，姓名，年龄，职称，职务，工资) ----- 工资依赖于职称或职务 教师(职工号，姓名，年龄，职称，职务，工资级别，工资) 3.6 状态转换图 状态转换图(简称为状态图) 通过描绘系统的状态及引起系统状态转换的事件，来表示系统的行为。此外，状态图还指明了作为特定事件的结果系统将做哪些动作(例如，处理数据)。 1). 状 态 状态是任何可以被观察到的系统行为模式，一个状态代表系统的一种行为模式。状态规定了系统对事件的响应方式。系统对事件的响应，既可以是做一个(或一系列)动作，也可以是仅仅改变系统本身的状态，还可以是既改变状态又做动作。 初态 (即初始状态) 状态 终态 (即最终状态) 中间状态 一张状态图中只能有一个初态，而终态则可以有0至多个。 2). 事 件 事件是在某个特定时刻发生的事情，它是对引起系统做动作或(和)从一个状态转换到另一个状态的外界事件的抽象。 例如，内部时钟表明某个规定的时间段已经过去，用户移动或点击鼠标等都是事件。 简而言之，事件就是引起系统做动作或(和)转换状态的控制信息。 3)符号 符 号 名 称 说 明 初态 系统初始状态。 中间状态 初态与终态之间的行为模式 终态 系统最终状态 状态转换 标识触发转换的事件表达式，或表示自动触发转换 事件名(参数表)/动作表达式 活动表的语法 entry: 指定进入该状态的动作； exit: 指定退出该状态的动作； do: 指定该状态下的动作。 事件表达式的语法 事件名(参数表)[守卫条件]/动作表达式 事件说明 布尔表达式 and 动作表达