软件工程003_2.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * DF01-10 DF20-02 销售 采购 1.0 2.0 第二层DFD(０层) 教材购销系统　 教材存量表 学 生 F1 缺书登记表 F2 书库 保 管 员 DF02-20 DF20-10 DF10-01 1 2 XSMD CGMD 加工条目(处理流词条) 加工类条目即数据处理描述，也称为小说明。描述实现加工的策略而不是实现加工的细节。 小说明可认为是DD的组成部分。 也可在DD中定义只说明每个加工的组 成(每个处理分解成多少小处理),而在 小说明中详细描述它的处理逻辑. 加工条目(处理流词条) 在DD中定义说明每个加工的组成: 2.0采购= {2.1 按书号汇总缺书 + 2.2 按出版社统计缺书 + 2.3 修改教材库存和待购量} 教材购销系统＝{1.0销售+2.0采购} 3. 小说明(加工说明) 描述一个加工“做什么? 既加工逻辑。 小说明描述的内容 (1) 处理逻辑 描述基本加工如何把输入数据流变化为输出数据流的加工原则，不涉及具体处理方法。 (2) 执行条件 (3)输入 (4)输出 (3) 优先级 (4) 执行频率 (5) 出错处理对策 小说明举例 加工名: 分类采购(CG111MD) 编号: 1.1.1 加工激活条件: 受到图书采购员分类 采购操作命令 加工逻辑: (1) 1.1.1.1 预定图书 (2) 1.1.1.2 外采图书 (3) 1.1.1.3 赠送图书 执行频率: 随时 判定表(决策表) 描述多条件、多目标动作的 形式化工具 判定表结构： 条件类别 条件组合 操作 操作执行 判定表举例 (计算机票折扣率) 旅游时间 订 票 量 折 扣 量 7－9，12月 1－6,10,11月 ≤20 ≤20 20 20 15% 5% 20% 30% 条件类别 四种条件组合 操作 条件组合下操作的执行 处理名:计算折扣率(MHGP534MD) 编号: 5.3.4 激活条件:收到预订票信息 处理逻辑:计算折扣率 执行频率: 实时 旅游时间 订 票 量 折 扣 量 7－9，12月 1－6,10,11月 ≤20 ≤20 20 20 15% 5% 20% 30% 判定树(Decision 决策树) 条件1 条件2 结果 计 7－9, 订票量20: 15% 算 12月 订票量≤20: 5% 折 扣 1－6, 订票量20: 30% 量 10,11月 订票量≤20: 5% 数据和控制模型的关系 DFD 加工规约 加工模型 CFD 控制规约 控制模型 数据输出 数据条件 数据输入 控制输入 控制输出 加工 激活者 四、 需求验证 (1) 正确性 (2) 无二义性 (3) 完整性 (4) 可验证性 (5) 一致性 (6) 可理解性 (7) 可修改性 (8) 可被跟踪性 (9) 可跟踪性 (10)设计无关性 (11)注释 需求工程研究新进展 需求工程研究进展可归结为需求工程的对象化、形式化和自动化三个主要方面。 实施需求分析的工程成为需求工程。 非形式化 的需求陈述 完整的 需求定义 功能规约 需求分析的主要难点 问题的复杂性 交流障碍 不完备性和不一致性 需求易变性 解决途径 (1)需求模型及语言： 功能分解模型 OO模型 单一表示模式 多视点 非形式化方法 形式化方法 (2)CASE技术及工具： 集成化 零散的机器支撑环境 构件化 自动化 最终目标 ? 实现软件生产的全自动化 五. 需求规格说明书(SRS) (Software Requirement Specification) 需求分析阶段要完成的文档。 SRS的作用： 开发者与用户间事实上的技术合同书 开发者下一步设计和编码的基础 测试验收目标系统的依据 SRS大纲 1 前言 1.1 目的 1.2 范围 1.3 定义、缩写词、略语 1.4 参考资料 2 任务概述(项目概述) 2.1 产品描述 2.2 产品功能 2.3 用户特点 SRS大纲(续） 2.4 一般约束 2.5 假设和依据 3 具体需