数据规范化、实体-联系图、状态转换图、层次方框图、Warnier图、IPO图及验证软件需求

数据规范化

软件系统经常使用各种长期保存的信息，这些信息通常以一定方式组织并存储在数据库或文件中，为减少数据冗余，避免出现插入异常或删除异常，简化修改数据的过程,通常需要把数据结构规范化。

通常用“范式(normal forms)”定义消除数据冗余的程度。第一范式(1 NF)数据冗余程度最大,第五范式(5 NF)数据冗余程度最小。但是，第一，范式级别越高,存储同样数据就需要分解成更多张表,因此，“存储自身"的过程也就越复杂。第二，随着范式级别的提高,数据的存储结构与基于问题域的结构间的匹配程度也随之下降,因此，在需求变化时数据的稳定性较差。第三，范式级别提高则需要访问的表增多，因此性能(速度)将下降。从实用角度看来,在大多数场合选用第三范式都比较恰当。

通常按照属性间的依赖情况区分规范化的程度。属性间依赖情况满足不同程度要求的为不同范式，满足最低要求的是第一范式,在第范式中再进一 步满足一些要求的为第一范式,其余依此类推。下面给出第一、第二和第三范式的定义。
(1)第一范式每个属性值都必须是原子值，即仅仅是一个简单值而不含内部结构。（不可再分）
(2)第二范式满足第一范式条件，而且 每个非关键字属性都由整个关键字决定(而不是由关键字的一部分来决定)。
(3)第三范式符合第二范式的条件，每个非关键字属性都仅由关键字决定，而且一个非关键字属性不能仅仅是对另一个非关键字属性的进一步描述(即一个非关键字属性值不依赖于另一个非关键字属性值)。

实体-联系图

为了把用户的数据要求清楚、准确地描述出来，系统分析员通常建立一个概念性的数据模型（也称为信息模型）。概念性数据模型是一种面向问题的数据模型，是按照用户的观点对数据建立的模型。它描述了从用户角度看到的数据，它反映了用户的现实环境，而且与在软件系统中的实现方法无关。

数据模型包括三种相互关联的信息：数据对象、数据对象的属性及数据对象之间的联系。

数据对象

数据对象是对软件必须理解的复合信息的抽象

所谓复合信息是指具有一系列不同性质或属性的事物，仅有单个值的事物（例如宽度）不是数据对象。

数据对象可以是外部实体（例如产生或使用信息的任何事物）、事物（例如报表）、行为（例如打电话）、事件（例如响警报）、角色（例如教师、学生）、单位（例如会计科）、地点（例如仓库）或结构（例如文件）等。

总之，可以由一组属性来定义的实体都可以被认为是数据对象

数据对象彼此之间是有关联的，例如，教师“教”课程，学生“学”课程，教或学的关系表示教师和课程或学生之间的一种特定的连接

数据对象只封装了数据而没有对施加于数据上的操作的引用，这是数据对象与面向对象的范型中的“类”或“对象”的显著区别。

属性

属性定义了数据对象的性质

必须把一个或多个属性定义为“标识符”，也就是说，当人们希望找到数据对象的一个实例时，用标识符属性作为“关键字”（通常称为键）

应该根据对所要解决的问题的理解，来确定特定数据对象的一组合适的属性。

例如，为了开发机动车管理 系统&#x