《软件工程》复习总结 226宿舍倾情打造 祝大家考出好成绩！！！
（*）号表示数据流之间是“与”的关系。 （+）号表示数据流之间是“或”的关系。 （⊕）号表示只能从中选一个（互斥）的关系。 如下图：
举例：办理银行取款手续的数据流图
用途：
6
《软件工程》复习总结 226宿舍倾情打造 祝大家考出好成绩！！！
①画数据流图的基本目的是利用它作为交流信息的工具，分析员把他对现有系统的认识或对目标系统的设想用数据流图描绘出来，供有关人员审查确认。 ②数据流图的另一个主要用途是作为分析和设计的工具。 2.3 会画出系统的数据流图，并将数据流图转化为程序结构图
参考第五章
2.4 数据字典的定义和任务
定义：数据字典是关于数据的信息的集合，也就是对数据流图中包含的所有元素 的定义的集合。
数据流图与数据字典的关系：数据流图和数据字典共同构成系统的逻辑模 型，没有数据字典，数据流图不严格，反之，没有数据流图数据字典难发挥作用. 内容：数据字典由对下列四类元素的定义组成：（1）数据流（2）数据流分量（即数据元素）（3）数据存储（4）处理
任务：数据字典的任务是对于数据流图中出现的所有命名元素，包括数据流，加 工，数据文件，以及数据的源，终点等，在数据字典中作为一个词条加以定义， 假设的每一个图形元素的名字都有一个确切的解释
第三章 需求分析与项目管理
3.1 需求分析的任务
⑴确定对系统的综合要求 ⑵分析系统的数据要求 ⑶导出系统的逻辑模型
⑷修改系统的开发计划
3.2 进行需求分析可使用的工具
实体联系图（E-R图）、数据规范化（大多数场合选用第三范式）、状态转换图。
其他图形工具还有：层次方框图、Warnier图、IPO图
3.3 结构化分析方法的定义（面向数据流自顶向下逐步求精的分析方法）
软件系统开发中的结构化分析方法就是面向数据流自顶向下逐步求精的需求分析方法。通过可行性研究已经得出了目标系统的高层数据流图，需求分析的目标之一就是把数据流和数据存储定义到元素级。
7
《软件工程》复习总结 226宿舍倾情打造 祝大家考出好成绩！！！
3.4 软件需求规格说明应包含哪些内容
使用简易的应用规格说明技术分析需求的典型过程是：
初步访谈------>开发者和用户分别写出“产品需求”------>会议讨论----->统一意见
典型的符合国家标准GB856D-88规定的规格说明格式
1．引言
1．1 编写说明 1．2 背景 1．3 定义 1．4 参考资料 2． 任务概述 2．1 目标 2．2 用户的特点 2．3 假定与约束 3． 需求规定
3．1 对功能的规定 3．2 对性能的规定 3．2．1 精度 3．2．2 时间特性要求 3．2．3 灵活性 3．3 输入输出要求 3．4 数据管理能力要求 3．5 故障处理要求 3．6 其他专门要求 4． 运行环境规定 4．1 设备 4．2 支持软件 4．3 接口 4。4 控制
8
《软件工程》复习总结 226宿舍倾情打造 祝大家考出好成绩！！！
3.5 项目管理的定义
项目管理是在一个确定的时间范围内，为了完成一个既定的目标，并通过特殊形 式的临时性组织运行机制，通过有效的计划、组织、领导与控制，充分利用既定 有限资源的一种系统管理方法。
第四章 形式化说明技术
4.1形式化技术的分类：定义、概念、关系（几种）
4.1.1根据说明目标软件系统的方式，形式化方法可以分为两类：
1) 面向模型的形式化方法。面向模型的方法通过构造一个数学模型来
说明系统的行为。
2) 面向属性的形式化方法。面向属性的方法通过描述目标软件系统的
各种属性来间接定义系统行为。
4.1.2根据表达能力，形式化方法可以分为五类：
1) 基于模型的方法：通过明确定义状态和操作来建立一个系统模型（使
系统从一个状态转换到另一个状态）。用这种方法虽可以表示非功能性需求（诸如时间需求），但不能很好地表示并发性。如：Z语言，VDM，B方法等。
2) 基于逻辑的方法：用逻辑描述系统预期的性能，包括底层规约、时
序和可能性行为。采用与所选逻辑相关的公理系统证明系统具有预期的性能。用具体的编程构造扩充逻辑从而得到一种形式化方法，通过保持正确性的细化步骤集来开发系统。如：ITL（区间时序逻辑），区段演算（DC），模态逻辑，时序逻辑，TAM（时序代理模型），RTTL（实时时序逻辑）等。
3) 代数方法：通过将未定义状态下不同的操作行为相联系，给出操作
的显式定义。与基于模型的方法相同的是，没有给出并发的显式表示。如：OBJ，Larch族代数规约语言等；
4) 过程代数方法：通过限制所有容许的可观察的过程间通信来表示系
统行为。此类方法允许并发过程的显式表示。如：通信顺序过程（CSP），通信系统演算（CCS），通信过程代数（ACP），时序排序
9
《软件工程》复习总结 226宿舍倾情打造 祝大家考出好成绩！！！
规约语言（LOTOS），计时CSP(TCSP），通信系统计时可能性演算（TPCCS）等。
5) 基于网络的方法：由于图形化表示法易于理解，而且非专业人员能
够使用，因此是一种通用的系统确定表示法。该方法采用具有形式语义的图形语言，为系统开发和再工程带来特殊的好处。如 Petri图，计时Petri图，状态图等。
4.2了解有穷状态机、petri网、Z语言进行形式化描述
此处只大概说明，详见PPT第四章 P19~P78
4.2.1有穷状态机
一个保险箱上装了一个复合锁，锁有三个位置，分别标记为1、2、3，转盘可向左（L）或向右（R）转动。这样，在任意时刻转盘都有6种可能的运动，即1L、1R、2L、2R、3L和3R。保险箱的组合密码是1L、3R、2L，转盘的任何其他运动都将引起报警。
10