- 需求分析是软件定义时期的最后一个阶段，需求分析的基本任务是准确的回答“系统必须做什么”这个问题
- 需求分析阶段系统分析员需要写出软件需求规格说明书
- 在需求分析阶段通常建立数据模型（实体 -联系图（ E-R 图））、功能模型（数据流图）、行为模型（状态转换图是行为模型的基础），数据字典成为把3种分析模型粘合在一起的“粘合剂”，是分析模型的核心。
3.1 需求分析的任务
- 需求分析的定义
- 需求分析是发现、求精、建模、规格说明和复审的过程。
- 需求分析的必要性
- 为了开发出真正满足用户需求的成功的软件产品，必须知道用户的需求。
- 需求分析的任务
- （1）确定对系统的综合要求；
- （1）功能需求
- （2）性能需求
- （3）可靠性和可用性需求
- （4）出错处理需求
- （5）接口需求
- （6）约束
- （7）逆向需求
- （8）将来可能提出的要求
- （2）分析系统的数据要求；
- 数据结构表示数据元素之间的逻辑关系
- 利用数据字典可以全面准确的定义数据（不够形象直观）
- 在描绘系统中的数据结构，使用层次方框图或Warnier图等图形工具。（提高可理解性）
- （3）导出系统的逻辑模型；
- 通常使用数据流图、实体-联系图、状态转换图、数据字典、主要的处理算法描述逻辑模型
- （4）修正系统开发计划。
3.2 与用户沟通获取需求的方法
- 访谈
- 正式访谈，系统分析员提出事先准备好的具体问题
- 非正式访谈，分析员提出用户可以自由回答的开放性问题
- 面向数据流自顶向下求精
- 先建立一个初步的系统功能模型，然后按照基本思想，自顶向下，逐步对顶层数据流图进行细分
- 结构化分析方法就是面向数据流自顶向下逐步求精进行需求分析的方法
- 简易的应用规格说明技术
- 进行初步访谈；
- 开发者和用户分别写出“产品需求”；
- 选定会议的时间和地点，选举协调人；
- 邀请开发者和用户双方组织的代表出席会议；
- 列出系统环境组成部分的对象、系统将产生的对象、系统为完成自己的功能将使用的对象，列出操作这些对象或与这些对象交互的服务，列出约束条件和性能标准；
- 共同起草完整的软件需求规格说明书
- 快速建立软件原型
- 首先通过初步需求，快速建立一个系统原型；然后运行给用户看，用户根据原型提出自己的修改意见，最后程序开发者根据用户的建议，对原型进行修改和完善。如此反复的迭代进行，知道最终建立一个满足用户需求的软件系统为止
- 特性：快速、容易修改
- 快速构建和修改原型的方法和工具
- 第四代技术
- 可重用的软件构件
- 形式化规格说明和原型环境
3.3 分析建模与规格说明
- 分析建模
- （1）模型
- 模型由一组图形符号和组织这些符号的规则组成。
- 为了理解事物而对事物作出的抽象
- 对事物的一种无歧义的书面描述
- （2）建模过程
- 结构化分析实质上是一种创建模型的活动，应从不同的角度抽象目标系统的特性。
- 实体-联系图：描绘数据对象和数据对象之间的关系，用于建立数据模型的图形
- 数据流图：描绘当数据在软件系统中移动时被交换的逻辑过程，指明系统具有的变换数据的功能，数据流图是建立功能模型的基础
- 状态转换图：描绘了系统的各种行为模式（称为状态）和在不同状态间转换的方式，状态转换图是行为建模的基础
- 软件需求规格说明
- 软件需求规格说明书是需求分析阶段得出的最主要的文档。
3.4 实体-联系图（E-R图）
- 数据模型的定义
- 概念性数据模型（信息模型）是一种面向问题的数据模型，是按照用户的观点对数据建立的模型。
- 数据模型的构成
- （1）数据对象
- ① 定义
- 数据对象是对软件必须理解的复合信息的抽象。
- ② 特点
- a.可以由一组属性来定义的实体都可以被认为是数据对象。
- b.数据对象彼此间是有关联的。
- c.数据对象只封装了数据而没有对施加于数据上的操作的引用。
- （2）数据对象的属性（属性）
- 属性定义了数据对象的性质。
- （3）数据对象彼此间相互连接的关系（联系）
- 数据对象彼此之间相互连接的方式称为联系，也称为关系。
- 联系也可能有属性。
- 联系可分为以下3种类型
- ① 一对一联系（1：1）
- ② 一对多联系（1：N）
- ③ 多对多联系（M：N）
- 实体-联系图（E-R图）
- 实体-联系图用于建立数据模型
- ER图描绘的数据模型称为ER模型
- ER图的基本成分
- E-R图中包含了实体（数据对象）、关系和属性3种基本成分
- 通常用矩形框代表实体
- 用连接相关实体的菱形框表示关系
- 用椭圆形或圆角矩形表示实体（或关系）的属性，并用直线把实体（或关系）与其属性连接起来。
- 优点
- ① E-R模型比较接近人的习惯思维方式；
- ② E-R模型使用简单的图形符号来描述问题，便于用户理解。
- ER模型可以作为用户与分析员之间的交流工具
3.5 数据规范化
- 数据规范化减少数据冗余，避免出现插入异常或删除异常，简化修改数据的过程
- 使用范式消除数据冗余的程度
3.6 状态转换图
- 定义
- 状态转换图（状态图）通过描绘系统的状态及引起系统状态转换的事件，来表示系统的行为。
- 状态
- （1）定义
- 状态是任何可以被观察到的系统行为模式，一个状态代表系统的一种行为模式。
- （2）分类
- 状态主要有：初态（初始状态）、终态（最终状态）和中间状态。
- 【注意】在一张状态图中只能有一个初态，而终态则可以有0至多个。描绘单程生命周期时需要标明初始状态和最终状态
- 事件
- 事件是在某个特定时刻发生的事情，是对引起系统做动作或从一个状态转换到另一个状态的外界事件的抽象，是引起系统做动作或（和）转换状态的控制信息。
- 状态图的符号
- （1）符号的表示方法
- ① 初态：用实心圆表示。
- ② 终态：用一对同心圆（内圆为实心圆）表示。
- ③ 中间状态：用圆角矩形表示。可以用两条水平横线把它分成上、中、下3个部分。上面部分为状态的名称，这部分是必须有的；中间部分为状态变量的名字和值，下面部分是活动表。
- （2）组成部分
- 图给出了状态图中使用的主要组成部分和符号表示。
- ① 活动表
- 活动表的语法格式为：事件名（参数表）/动作表达式
- 在活动表中经常使用下述3种标准事件：entry，exit和do。entry事件指定进入该状态的动作；exit事件指定退出该状态的动作；do事件则指定在该状态下的动作。
- ② 状态转换
- 状态图中两个状态之间带箭头的连线称为状态转换，箭头指明了转换方向。
- 状态如果由事件触发，需要在状态转换的箭头上标出触发转换的事件表达式，如果不是由事件触发(执行完内部活动后自动触发)则不用标明。
- ③ 事件表达式
- 事件表达式的语法为：事件说明[守卫条件]/动作表达式，其中，事件说明的语法为：事件名（参数表）。
- 守卫条件是一个布尔表达式
- 例子
3.7 其他图形工具
- 层次方框图
- 层次方框图用树形结构的一系列多层次的矩形框描绘数据的层次结构。
- Warnier 图
- Warnier图有以下三种基本符号：
- ① 花括号：用来区分数据结构的层次，在一个花括号内的所有名字都属于同一类信息。
- ② 异或符号：表明一类信息或一个数据元素在一定条件下才出现。
- ③ 圆括号中的数字：指明了这个名字代表的信息类在这个数据结构中重复出现的次数。
- IPO图
- （1）定义
- IPO图是输入、处理、输出图的简称，能够方便地描绘输入数据、对数据的处理和输出数据之间的关系。
- （2）基本形式和用法
- ① 左边的框中列出有关的输入数据；
- ② 中间的框内列出主要的处理；
- ③ 右边的框内列出产生的输出数据；
- ④ 粗大箭头指出数据通信的情况。
- 处理框中列出处理的次序暗示了执行的顺序。
- （3）改进的IPO图
- 改进的IPO图（IPO表）中包含某些附加的信息。如图3-2所示，改进的
IPO图中包含的附加信息主要有系统名称、图的作者，完成的日期，本图描述的模块的名字，模块在层次图中的编号，调用本模块的模块清 单，本模块调用的模块的清单，注释，以及本模块使用的局部数据元素等。 
- 【注意】要区分并牢记给定图形工具可用于软件生命周期的哪一阶段，此为常考题。本节三种图形工具均可用于需求分析阶段。
3.8 验证软件需求
- 验证软件需求的正确性
- （1）验证需求正确性的目的
- 为了提高软件质量，确保软件开发成功，降低软件开发成本。
- （2）进行验证的四个方面
- ① 一致性，需求之间不能相互矛盾；
- ② 完整性，要实现每一个需求；
- ③ 现实性，指定的需求是在现有的硬件技术和软件技术的基础上可以实现；
- ④ 有效性，需求可以解决用户面对的问题。
- 验证软件需求的方法
- （1）验证需求的一致性；
- （2）验证需求的现实性；
- （3）验证需求的完整性和有效性。
- 用于需求分析的软件工具——PSL/PSA系统
- ① 定义
- PSL是用来描述系统的形式语言，PSA是处理PSL描述的分析程序。
- ② 功能
- a.描述任何应用领域的信息系统；
- b.创建一个数据库保存对该信息系统的描述符；
- c.对描述符施加增加、删除和更改等操作；
- d.产生格式化的文档和关于规格说明书的各种分析报告。
- ③ 优点
- a.改进了文档质量，能保证文档具有完整性、一致性和无二义性，从而可以- 减少管理和维护的费用；
- b.数据存放在数据库中，便于增加、删除和更改。
