软件工程第5讲结构化需求分析.ppt

* 状态转换图的细化（略） 状态转换图举例 (a) 状态转换图；(b) 细化后的状态转换图；(c) 状态转换图的变形 * 行为建模— Petri网（略） 1962年德国人Petri提出 用途：描述同步模型；描述并发系统 基本符号： 符 号 含 义 位置(place)，用于表示系统中的状态 变迁(transition)，用于表示系统中的事件 表示事件发生的前提，即对事件的输入 表示事件导致的结果，即事件的输出 * 描述静态系统的Petri网 * 数据字典(DD) 用途：对数据流图中各种成分进行详细定义。 软件分析和设计过程中，提供关于数据的描述信息。 数据流图和对数据流图中每个元素的精确定义构成系统的规格说明。 数据字典是开发数据库的第一步 四类条目： 数据流条目 数据项条目 数据文件条目 数据加工条目 * 数据字典基本符号 符 号 含 义 说 明 = 表示定义为 用于对=左边的条目进行确切的定义 + 表示与关系 X=a+b表示X由a和b共同构成 [? | ?] [? , ?] 表示或关系 X=[a|b]与X=[a,b]等价，表示X由a或b组成 (? ) 表示可选项 X=(a)表示a可以在X中出现，也可以不出现 { } 表示重复 大括号中的内容重复0到多次 m{ }n 表示规定次数的重复 重复的次数最少m次，最多n次 “ ?” 表示基本数据元素 “ ”中的内容是基本数据元素，不可再分 .. 连接符 month=1..12表示month可取1～12中的任意值 * ?* 表示注释 两个星号之间的内容为注释信息 * 数据流条目 例：工资系统中的出勤表数据流在数据字典中的条目描述为 数据流名称：出勤表 数据流别名：无 说明：由人事部门每月月底上报的职工考勤统计数字 数据流来源：人事部门 数据流流向：加工1.2(计算应发工资) 数据流组成：出勤表 = 年份+月份+职工号+出勤时数+病假时数+事假时数+旷工时数 数据流量：1份/月 * 数据项条目 例：出勤表中的职工号数据项在数据字典中的条目描述 数据项名称：职工号 数据项别名：employee_no 说明：本单位职工的唯一标识 类型：字符串 长度：6 取值范围及含义：1～2位(00..99)为部门编号：3～6位(XX0001..XX9999)为人员编号 * 数据文件条目 例：工资系统中的职工工资档案文件在数据字典中的条目描述为 数据文件名称：工资档案 说明：单位职工的基本工资、各项津贴及补贴信息 数据文件组成：职工号+国家工资+国家津贴+职务津贴+职龄津贴+交通补贴+部门补贴+其他补贴 组织方式：按职工号从小到大排列 存取方式：顺序 存取频率：1次/月 * 数据加工条目 例：工资系统中的计算应发工资这个加工在数据字典中的条目描述为 数据加工名称：计算应发工资 加工编号：1.2 说明：根据职工的工资档案及本月奖金发放表数据计算每个职工的应发工资 输入数据流：奖金发放表及工资档案 输出数据流：应发工资表 加工逻辑： DO WHILE 工资档案文件指针未指向文件尾 从工资档案中取出当前职工工资的各项基本数据进行累加 在奖金发放表中按职工号查找到该职工的奖金数 对奖金数与工资基本数据的累加和进行求和得到该职工的应发工资数ENDDO * 加工逻辑的描述 三种常用的描述方法： 结构化语言 判定表 判定树 * 结构化语言 介于自然语言和形式语言之间的一种半形式语言，是自然语言的一个受限制的子集 三种基本结构 顺序结构：自然语言简单祈使句序列 选择结构 IF–THEN-ELSE; CASE-OF-ENDCASE； 循环结构 WHILE-DO; REPEAT-UNTIL * 顺序结构举例 “打印工资单”处理逻辑 输入职工号 读基本工资文件 读考勤表文件 读扣款文件 计算应付工资 计算代扣工资 计算实发工资 * 选择结构举例 “客户优惠待遇”处理逻辑 IF 每年交易额 = 5万 THEN IF 最近三个月无欠款 THEN 折扣值=15%×交易额 ELSE IF 与本公司交易=20年 THEN 折扣率=10%×交易额 ELSE 折扣率=5%×交易额 ELSE 折扣值＝0 * 循环结构举例 “学生成绩管理”处理逻辑 Repeat 输入学生学号 输入课程号 在“学生选课”数据存储中查找该生纪录 如果找到 则输出成绩 Until 全部学生的成