软件工程第三章-需求分析（后续）
3.4 实体联系图
鸭图(entity relationship diagram)
数据模型中包含3种相互关联的信息：数据对象、数据对象的属性及数据对象彼此间相互连接的关系。
- 数据对象
数据对象(由一组属性来定义)是对软件必须理解的复合信息的抽象。 - 属性
定义了数据对象的性质 - 联系
客观世界中的事物彼此间往往是有联系的
3.5数据规范化
软件系统经常使用各种长期保存的信息，这些信息通常以一定方式组织并存储在数据库或文件中，为减少数据冗余，避免出现插入异常或删除异常，简化修改数据的过程，通常需要把数据结构规范化。
通常用“范式(normal forms)”定义消除数据冗余的程度。
第五范式冗余最少
3.6状态转换图
状态转换图(简称为状态图)通过描绘系统的状态及引起系统状态转换的事件，来表示系统的行为。此外，状态图还指明了作为特定事件的结果系统将做哪些动作。
- 状态：是任何可以被观察到的系统行为模式，一个状态代表系统的一种行为模式。状态规定了系统对事件的响应方式。（初态用实心圆表示，终态用一对同心圆(内圆为实心圆)表示，中间状态用圆角矩形表示）
- 事件：是引起系统做动作或(和)转换状态的控制信息。
- 符号：在状态图中，可以用两条水平横线把它分成上、中、下3个部分。上面部分为状态的名称，这部分是必须有的；中间部分为状态变量的名字和值，这部分是可选的；下面部分是活动表，1这部分也是可选的。
- 例子？？和前面不一样？
3.7其他图形工具
- 层次方框图
- Warnier图
- IPO图（input process output）
3.8 验证软件需求
3.8.1 从哪些方面验证软件需求的正确性
- 一致性：所有需求必须是一致的，任何一条需求不能和其他需求互相矛盾。
- 完整性：需求必须是完整的，规格说明书应该包括用户需要的每一个功能或性能。
- 现实性：指定的需求应该是用现有的硬件技术和软件技术基本上可以实现的
- 有效性：必须证明需求是正确有效的，确实能解决用户面对的问题。
3.8.2 验证软件需求的方法
- 有效性：人工技术审查验证软件系统规格说明书的正确性——形式化的描述软件需求的方法。
- 现实性：结合以往开发类似系统的经验，分析用现有的软、硬件技术实现目标系统的可能性。必要的时候应该采用仿真或性能模拟技术
- 完整性和有效性：用户的密切合作，当他们有某种工作着的软件系统可以实际使用和评价时，才能完整确切地提出他们的需要。
3.8.3 用于需求分析的软件工具
PSL/PSA系统是CADSAT（计算机辅助设计和规格说明分析工具）的一部分。
- 其中PSL是用来描述系统的形式语言，
- PSA是处理PSL描述的分析程序。