[清华版《软件工程》教案]3需求分析.pptVIP

需求分析软件工具要求 (1) 必须有形式化的语法(或表)，因此可以用计算机自动处理使用这种语法说明的内容； (2) 使用这个软件工具能够导出详细的文档； (3) 必须提供分析(测试)规格说明书的不一致性和冗余性的手段，并且应该能够产生一组报告指明对完整性分析的结果； (4) 使用这个软件工具之后，应该能够改进交流状况。 RSL(需求陈述语言) 用RSL语言描述需求，RSL可有相应的计算机软件处理； 经RSL语言处理程序处理后的信息统一存储在ASSM（抽象系统语义模型）数据库中； RSL的另一组软件工具处理ASSM数据库中的信息，产生用PASCAL语言书写的模拟程序（需求分析的原型）； 提交需求原型检验需求的一致性、完整性、现实性、有效性。 PSL/PSA PSL/PSA系统用描述符从系统信息流、系统结构、数据结构、数据导出、系统规模、系统动态、系统性质和项目管理等8个方面描述信息系统。 (1) 描述任何应用领域的信息系统； (2) 创建一个数据库保存对该信息系统的描述符； (3) 对描述符施加增加、删除和更改等操作； (4) 产生格式化的文档和关于规格说明书的各种分析报告。 3.9 小结 需求分析的任务 功能需求+其他需求(functions + other requirements) 获取需求的方法 访谈(visit), 构造原型(prototyping), 逐步求精(refinement)… 分析建模与规格说明 数据、功能和行为模型 需求分析工具 实体-联系图、数据规范化、状态转换图、数据字典、其他图形工具… 验证软件需求 一致性、完整性、现实性和有效性 一对多联系（1:n） 实例 一个班级中有若干名学生， 每个学生只在一个班级中学习 定义： 如果对于实体集A中的每一个实体，实体集B中有n个实体（n≥0）与之联系，反之，对于实体集B中的每一个实体，实体集A中至多只有一个实体与之联系，则称实体集A与实体集B有一对多联系，记为1:n。 班级 组成 学生 1 n 1:n联系 两个实体型之间的联系 多对多联系（m:n） 实例 课程与学生之间的联系： 一门课程同时有若干个学生选修 一个学生可以同时选修多门课程 定义： 如果对于实体集A中的每一个实体，实体集B中有n个实体（n≥0）与之联系，反之，对于实体集B中的每一个实体，实体集A中也有m个实体（m≥0）与之联系，则称实体集A与实体B具有多对多联系，记为m:n。 课程 选修 学生 m n m:n联系 两个实体型之间的联系 两个以上实体型之间一对多联系 若实体集E1，E2，...，En存在联系，对于实体集Ej（j=1，2，...，i-1，i+1，...，n）中的给定实体，最多只和Ei中的一个实体相联系，则我们说Ei与E1，E2，...，Ei-1，Ei+1，...，En之间的联系是一对多的。 两个以上实体型之间的联系 实例 课程、教师与参考书三个实体型 一门课程可以有若干个教师讲授，使用若干本参考书，每一个教师只讲授一门课程，每一本参考书只供一门课程使用。 课程 讲授 教师 1 m 两个以上实体型间1:n联系 参考书 n 两个以上实体型之间的联系 多个实体型间的一对一联系 一对夫妇一个孩 两个以上实体型间的多对多联系 供应商、项目、零件三个实体型一个供应商可以供给多个项目多种零件每个项目可以使用多个供应商供应的零件每种零件可由不同供应商供给。 供应商 供应 项目 m p 两个以上实体型间m:n联系 零件 n 两个以上实体型之间的联系 课程 选修 学生 m n 成绩 联系的属性： 联系本身也是一种实体型，也可以有属性。如果一个联系具有属性，则这些属性也要用无向边与该联系连接起来。 联系的属性 数据规范化使用“范式”，到达消除数据冗余的目的，数据库原理进行…… 3.5 数据规范化 规范化的目的 消除数据冗余 消除数据库中/表格中数据的重复； 消除多义性 使关系中的属性含义清楚、单一； 使关系的“概念”单一化 让每个数据项只是一个简单的数或字符串，而不是一个组项或重复组； 方便操作 使数据的插入、删除与修改操作可行并方便； 使关系模式更灵活 易于实现接近自然语言的查询方式。 结构化分析方法应当遵循准则： （1）必须理解并描述问题的信息域——建立数据模型； （2）必须定义软件应完成的功能——建立功能模型； （3）必须描述作为外部事件结果的软件行为——建立行为模型。 状态转换图(简称为状态图)通过描绘系统的状态及引起系统状态转换的事件，来表示系统的行为。 3.6 状态转换图 此外，状态图还指明了作为特定事件的结果，系统将做哪些动作(例如，处理数据)。 因此，状态图提供了行为建模机制，可以满足第3条分析准则的要求。 3.6 状态转换图 3.6.1 状