结构化分析方法ppt课件.ppt

5 需求规约的作用其作用可概括为 第一也是最重要的 作为软件开发组织和用户之间一份事实上的技术合同书 是产品功能及其环境的体现 第二 对于项目的其余大多数工作 它是一个管理控制点 第三 对于产品的设计 它是一个正式的 受控的起始点 第四 是创建产品验收测试计划和用户指南的基础 即基于需求分析规规约一般还会产生另外两个文档 初始测试计划和用户系统操作描述 初始测试计划主要内容 对未来系统中的哪些功能和性能指标进行测试 以及达到何种要求 作用 指导系统开发早期发现并修改一个错误 减少测试代价 注 在以后阶段的软件开发中 对这个测试计划要不断地修正和完善 并成为相应阶段文档的一部分 注 大量的统计数字表明 在系统开发早期发现并修改一个错误的代价往往很低 越到系统开发的后期 改正同样错误所花费的代价越高 例如 假设在需求分析阶段检测并改正一个错误的代价为1个单位 那么到了软件测试阶段检测并改正同样的错误所花费的代价 一般需要10个单位 而到软件发布后的代价就可能高达100个单位 用户系统操作描述主要内容 从用户使用系统的角度 简要描述系统功能和性能 使用系统的主要步骤和方法 以及系统用户的责任等 系统 作用 在软件开发的早期 准备一份初步的用户手册可以使未来的系统用户能够从使用的角度检查 审核目标系统 从而比较容易判断这个系统是否符合他们的需要 为了书写这样的文档 也会迫使系统分析员从用户的角度来考虑软件系统 这样不论是审查还是复审时 就更容易发现不一致和误解的地方 这对保证软件质量和项目成功是很重要的 注 相当于一份初步的用户手册 SRS所不能实现的作用第一 它不是一个设计文档 它是一个 为了 设计的文档 第二 它不是进度或规划文档 不应该包含更适宜包含在工作陈述 SOW 软件项目管理计划 SPMP 软件生存周期管理计划 SLCMP 软件配置管理计划 SCMP 或软件质量保证计划 SQAP 等文档中的信息 因此 在SRS中不应给出 项目成本 交付进度 报告规程 软件开发方法 质量保证规程 配置管理规程 验证和确认规程 验收规程 安装规程 关于项目的需求及其需求规约项目需求是客户和开发者之间有关技术合同 产品 系统需求的理解 应记录在工作陈述SOW中或其他某一项目文档 例如 项目管理计划 中 即SRS应只关注产品需求 即 产品 系统需求 交付给客户的产品是什么 SOW应关注项目工作与管理 即 项目需求 开发组要做的是什么 ProblemswithNLspecification AmbiguityThereadersandwritersoftherequirementmustinterpretthesamewordsinthesameway NLisnaturallyambiguoussothisisverydifficult Over flexibilityThesamethingmaybesaidinanumberofdifferentwaysinthespecification LackofmodularisationNLstructuresareinadequatetostructuresystemrequirements Structuredlanguagespecifications Thefreedomoftherequirementswriterislimitedbyapredefinedtemplateforrequirements Allrequirementsarewritteninastandardway Theterminologyusedinthedescriptionmaybelimited Theadvantageisthatthemostoftheexpressivenessofnaturallanguageismaintainedbutadegreeofuniformityisimposedonthespecification Form basedspecifications Definitionofthefunctionorentity Descriptionofinputsandwheretheycomefrom Descriptionofoutputsandwheretheygoto Indicationofotherentitiesrequired Preandpostconditions ifappropriate Thesideeffects ifany ofthefunction Form basednodespecification 软件工程第六讲结构化软件分析方法 软件开发方法学概念 软件方法学 支持软件开发的原理 原则 过程和规程的体系 是以软件方法为研究对象的学科 主要涉及指导软件设计的原理和原则 以及基于这些原理 原则的方法和技术 狭义的软件方法学也指某种特定的软件设计指导原则和方法体系 掌握并能正确运用开发方法 具有事半功倍的作用 软件开发本质 软件生存周期过程 定义 软件生存周期模型 软件工程生存周期过程 支持过程方向 活动与定序 的建立 形成 软件开发方法学 结构化方法 面向对象方法 面向数据结构方法 维也纳开发方法 VDM 给出实现开发过程的途径 支持 管理技术与方法 作用于 一 结构化方法 一种特定的软件开发方法学1结构化分析方法1 何谓分析分析的三要素 需要使用哪些信息 如何系统化的使用信息 估算算法 一般地说 分析是系统化地使用信息 给出一个问题的估算 何谓结构化分析就软件需求分析而言 即为 系统化地使用问题域术语 给出该问题的模型 即 需求 一个抽象层 该系统的概念模型或称系统的需求规约 问题域 客观事物系统 形成 分析 映射 可见 需求分析作为一种活动 其目标为 在一个确定的抽象层 即需求层 上为客观事物系统施加了一个结构 形成待开发软件系统 产品 的概念模型 即需求规约 规格说明书 作为开发人员和客户间技术契约的基础 并作为而后开发活动的一个基本输入 2 实现软件需求分析的目标对方法学的需求 1 提供一组术语 符号 指导抽象中需要关注的主要方面 并用于表达分析中所使用的信息 这些术语形成一个特定的抽象层 即需求层 当然 这组术语应体现软件设计的某些 原理 原则 2 依据这些术语所形成的 空间 给出表达模型的工具 3 给出过程指导 3 需求层的确定一个抽象层是由一组确定的术语定义的 为此为了支持需求分析中有关要使用的那些信息的表达 给出了以下五个术语 符号 数据流 加工 数据存储 数据源 数据潭 其中 数据流 数据存储 支持数据抽象 加工 支持过程 功能的抽象 用于表达系统内涵 数据源 数据潭 支持系统边界抽象 用于表达系统外延 是完备的 4 模型表达工具这些术语形成一个特定的术语空间 即 它们之间是 正交 的 每一个术语所要表达的信息 形成了该术语的 值域 并且是一个偏序集 例如 假定在一个学籍管理系统中 数据流 学生各科成绩 数学85分 软件工程90分 操作系统86分 编译83分等 构成了该数据流的 值域 这些术语确定了所建系统的形态 如果是一个三维空间 那些所建系统的形态只能是 或是一条直线 或是一条曲线 或是一个平面 或是一个曲面 或是一个立方体 或是一个多形体 现在 是由五个术语所确定的一个五维空间 因此该方法只能采用DFD图来表达各种 形态 的系统 例如 旅行社 订票单 预定机票 准备机票 记帐 费用 航班 帐单 机票 记帐文件 航班目录 旅行社 5 过程指导 建立系统的功能模型 使用的工具为数据流图DFD首先 建立系统环境图 确定系统边界继之 自顶向下 逐层分解 建立数据字典 使用的工具为结构符定义数据流定义数据存储定义数据项 给出加工小说明 使用的工具可以为判定表判定树 问题 建立一个简化的商业自动化系统 其中 营业员通过该系统记录每日销售的商品 商品名 商品编号 单价 数量 销售时间 收款员通过该系统记录收到的现金数额以及购物余额 商店经理每日统计销售额 并在必要时查看某种商品的销售情况 商品名 商品编码 金额 结构化分析方法应用实例 简化的商业自动化系统 营业员 收款员 经理 销售的商品 现金额 现金余额 销售情况 日销售额 查询要求 建立系统的功能模型首先 建立系统环境图 确定系统边界 顶层DFD 其中 1数据流为 销售的商品 日销售额等3个输入流 3个输出流数据源为 营业员 经理 收款员数据潭为 经理 收款员2加工名为 要建立的系统名字 录入 修改或删除商品信息 录入 修改现金额 并计算余额 查询商品销售情况计算日销售额 1 2 3 继之 自顶向下 逐层分解A 按人或部门的功能要求 将加工 打碎 形成 注 需给每一加工编号 B 分派 数据流 形成 录入 修改或删除商品信息 2录入 修改现金额 并计算余额 查询商品销售情况计算日销售额 销售的商品 现金额 现金余额 查询要求 销售情况 日销售额 1 3 其中 要根据特定的加工要求进行分派 保持与顶层数据流的一致 可以不引入数据源和数据潭 录入 修改或删除商品信息 录入 修改现金额 并计算余额 查询商品销售情况计算日销售额 销售的商品 现金额 现金余额 查询要求 销售情况 日销售额 销售文件 1 2 3 C 引入文件 使之形成一个有机整体 系统 注 到一个文件 既有输入流 又有输出流 则可简化为 并可不给出标识 至此 体现精化 形成0层数据流图 查询商品销售情况计算日销售额 查询要求 销售情况 日销售额 销售文件 3 继续A B C 自顶向下 逐层分解 例如 加工3 可分解为 判定要求 查询要求 3 1统计销售情况 3 2计算日销售额 销售文件 查询要求2 查询要求1 销售情况 日销售额 加工3 其中为什么要引入加工 判定要求 建立数据字典定义数据流定义数据存储定义数据项引入 结构符 用于定义数据结构 A A A B C B0 C0 B 数据字典 数据流 销售的商品 商品名 商品编号 单价 数量 销售时间现金额 余额 日销售额 非负实数查询要求 商品编号 日期 查询要求1 商品编号查询要求2 日期销售情况 商品名 商品编号 金额 数据存贮 销售文件 销售的商品 数据项 给出加工小说明 使用的工具可以为判定表判定树判断表 条件类别 条件组合 操作 操作执行例如 考试总分 620 620 620单科成绩有满分有不及格有满分发升级通知书yyn发留级通知书nny发重修通知书nyn 6 建模中应注意的问题结构化分析方法是一种半形式化的规约方法 给出了一组特定的术语表和标准化的表达格式 数据流图 在表达上均必须遵循一些约定 即应以一种准确和一致方式使用之 例如 加工 其标识应使用领域术语 采用动宾结构 必须有输入和输出 数据流 其标识应使用领域术语 采用名词或名词短语 特别 应注意模型平衡问题和信息组织的复杂性控制问题 即 模型平衡问题 父图和子图的边界一致问题 即它们应有相同的边界 数据流图中的数据流与数据字典的一致问题 即每个数据流和数据存储必须在数据字典中予以定义 数据流图中的 叶 加工 最低层 与小说明的一致问题 即必须给出 叶 加工的说明 小说明和数据流图的图形表示一致问题 即在小说明中 必须说明