海大计算机专业软件工程课程资料lge第三章 需求分析..ppt

3.7 其他图形工具 3.7.1 层次方框图 层次方框图用树形结构的一系列的矩形框描绘数据的层次结构。 产品 硬件 软件 服务 处理 机 存储 器 外部 设备 系统 软件 应用 软件 软件 服务 硬件 服务 培训 图3.5 层次方框图例子 3.7.2 Warnier图 软件产品 系统软件 应用软件 操作系统(P1) 编译程序(P2) 软件工具 编辑程序(P3) 测试驱动程序(P4) 设计辅助工具(P5) 图3.6 Warnier图例子 Warnier图也用树形结构描绘信息，它可以表明信息的逻辑组织，即它可以指出一类信息或一个信息元素是重复出现的，也可以表示信息有条件出现。 ? 3.7.3 IPO图 IPO图是输入/处理/输出图的简称，是美国IBM公司发展完善起来的一种图形工具，能方便地描绘输入数据、对数据的处理和输出数据之间的关系。 IPO图的基本形式是在左边的框中列出有关的输入数据，在中间的框内列出主要的处理，在右边的框中列出产生的输出数据。处理框中列出处理的次序暗示了执行的顺序。 IPO图中还用类似向量符号的粗大箭头清楚地指出数据通信的情况 旧的 主文件 事务文件 1.校验 主记录 2.校验 事务记录 3.更新 主记录 有效的 主记录 有效的 事务记录 更新后 的主文件 输入 处理 输出 图3.7 IPO图的一个例子 IPO表 系统：____________ 作者：_________ 模块：____________ 日期：_________ 编号：____________ 注释： 被调用： 调用： 输入： 输出： 处理： 局部数据元素： 图3.8 改进的IPO图的形式 3.8 验证软件需求 3.8.1 从哪些方面验证软件需求的正确性 一般说来，应该从下述四个方面进行验证： 一致性：所有要求必须是一致的，任何一条需求 不能和其他需求互相矛盾。 完整性：需求必须是完整的，规格说明书应包括 用户需求的每一个功能或性能。 现实性：指定的需求应该是利用现有的硬件技术 和软件技术基本上可以实现的。 有效性：必须证明需求是正确有效的，确实能解 决用户面对的问题。 3.8.2 验证软件需求的方法 1.验证需求的一致性：人工审查、软件工具验证（需形式化需求） 2.验证需求的现实性：参照以往经验进行分析，必要时采用仿真或性能模拟技术 3.验证需求的完整性和有效性：需要用户合作（利用原型系统） 3.8.3 用于需求分析的软件工具 软件工具应满足下列要求： （1）必须有形式化的语法（或表），可以用计算机 自动处理其内容。 （2）使用该软件工具能导出详细的文档。 （3）必须提供分析（测试）规格说明书的不一致性和冗余性的手段，并且应该能够产生一组报告指明对完整性分析的结果； （4）使用这个软件工具之后，应该能够改进通信状况。 该类软件工具的典型代表：美国密执安大学开发的PSL/PSA（Problem Statement Language/ Problem Statement Analyzer 问题陈述语言/问题陈述分析程序）系统。 PSL/PSA系统的功能主要有下述四种： （1）描述任何领域的信息系统； （2）创建一个数据库保存对该信息系统的描述符； （3）对描述符施加增加、删除和更改等操作； （4）产生格式化的文档和关于规格说明书的各种分析报告。 PSL/PSA系统用描述符从系统信息流、系统结构、数据结构、数据导出、系统规模、系统动态、系统性质和项目管理等八个方面描述信息系统。 补充：PSL/PSA的例子 PSL描述一个数据对象的语法表示如下： ENTITY 数据名 ：数据对象名 CONSISTS OF 数据名 ：该数据由哪些数据项组成 CONTAINED IN 数据名 ：该数据属什么数据 DERIVED BY 加工名 ：该数据由哪个加工产生 UPDATED BY 加工名 ：该数据由哪个加工修改 USED BY 加工名 ：该数据由哪个加工使用 …