计算机软件工程第三章 需求分析.ppt

闲置 拨号音 do:响拨号音 超时 do:响蜂鸣音 存储的信息 do:播放信息 接通中 do:试接通 振铃 do:振铃 拨号 通话 断线 忙音 do:响忙音 挂断电话 挂断电话 拿起话筒 超时 无效号码 有效号码 超时 数字 数字 占线 已接通 受话人回话 受话人挂断电话 信 息 播 完 SOFTWARE ENGINEERING 作业：用状态转换图描绘下述行为 复印机的工作过程大致如下：未接到复印命令时处于闲置状态，一旦接到复印命令则进入复印状态，完成一个复印命令规定的工作后又回到闲置状态，等待下一个复印命令；如果执行复印命令时发现没纸，则进入缺纸状态，发出警告，等待装纸，装满纸后，进入闲置状态，准备接收复印命令；如果复印时发生卡纸故障，则进入卡纸状态，发出警告等待维修人员来排除故障，故障排除后回到闲置状态。 SOFTWARE ENGINEERING §3.7图形工具 3.7.1 层次方框图 用树形结构的一系列多层次的矩形框描绘数据的层次结构。 树形结构的顶层是一个单独的矩形框，它代表完整的数据结构，下面各层的矩形框代表这个数据的子集，最底层的各个框代表组成这个数据的实际数据元素（不能再分割的元素）。 SOFTWARE ENGINEERING 例题 某计算机公司的产品由硬件、软件和服务三类产品组成。硬件又包括处理机、存储器和外部设备等。软件产品又分为系统软件和应用软件，系统软件又进一步分为操作系统、编译程序和软件工具等。服务包括软件服务、硬件维护和培训等。 SOFTWARE ENGINEERING 层次方框图 SOFTWARE ENGINEERING §3.7图形工具 3.7.2 Warnier图 用Warnier图可以表明信息的逻辑组织，它可以指出一类信息或一个信息是重复出现的，也可以表示特定信息在某一类信息中是有条件出现的。 SOFTWARE ENGINEERING Warnier图 SOFTWARE ENGINEERING §3.7.3图形工具 3.4.3 IPO图 IPO图是输入、处理、输出图的简称。-IBM 在需求分析阶段可以使用IPO图简略地描述系统的主要算法（即数据流图中各个处理的基本算法） SOFTWARE ENGINEERING IPO图的一个例子 SOFTWARE ENGINEERING 改进的IPO图的形式 SOFTWARE ENGINEERING §3.8验证软件需求 3.8.1 从哪些方面严整软件需求的正确性 （1）一致性：所有需求必须是一致的，任何一条需求不能和其他需求互相矛盾； （2）完整性：需求必须是完整的，规格说明书应该包括用户需要的每一个功能和性能； （3）现实性：指定的需求应该是用现有的硬件技术和软件技术基本上可以实现的； （4）有效性：必须证明需求是正确有效的，确实能解决用户面对的问题。 SOFTWARE ENGINEERING §3.5验证软件需求 3.5.2 验证软件需求的方法 （1）验证需求的一致性：形式化的描述软件需 求的方法。 当软件需求规格说明书是用形式化的需求陈述语言书写的时候，可以用软件工具验证需求的一致性。 （2）验证需求的现实性： 参照以往开发类似系统的经验，必要时采用仿真或性能模拟技术。 （3）验证需求的完整性和有效性 使用原型系统 SOFTWARE ENGINEERING §3.5验证软件需求 3.5.3用于需求分析的软件工具 （1）必须有形式化的语法（或表），因此可以用计算机自动处理使用这种语法说明的内容； （2）使用这种软件工具能导出详细的文档； （3）必须提供分析（测试）规格说明书的不一致性和冗余性的手段，并且应该能够产生一组报告指明对完整性分析的结果； （4）使用这个软件工具之后，应该能够改进通信状况。 SOFTWARE ENGINEERING 第3章 需求分析 SOFTWARE ENGINEERING §3.1 需求分析的任务 3.1.1基本任务 准确的回答“系统必须做什么”这个问题。 仅仅是确定系统必须完成哪些工作，也就是对目标系统提出完整、准确、清晰、具体的要求。 SOFTWARE ENGINEERING §3.1 需求分析的任务 3.1.2具体任务 （1）确定对系统的综合要求 功能需求 性能需求 可靠性和可用性需求 出错处理需求 接口需求 约束 逆向需求 将来可能提出的要求 （2）分析系统的数据要求 通常采用建立概念模型的方法—层次方框图和Warnier图 （3）导出系统的逻辑模型 通常用数据流图、ER图、状态转换图、数据字典和主要的处理算法描述这个逻辑模型。 SOFTWARE ENGIN