系统分析与设计_3_需求分析报告.pptVIP

3.7.3 符号 在活动表中经常使用下述3种标准事件： entry，exit和do。 entry事件指定进入该状态的动作； exit事件指定退出该状态的动作； do事件则指定在该状态下的动作。 状态图中两个状态之间带箭头的连线称为状态转换，箭头指明了转换方向。 3.7.3 符号 事件表达式的语法如下： 事件说明［守卫条件］／动作表达式 其中， 事件说明的语法为：事件名(参数表)。 守卫条件是一个布尔表达式。如果同时使用事件说明和守卫条件，则当且仅当事件发生且布尔表达式为真时，状态转换才发生。如果只有守卫条件没有事件说明，则只要守卫条件为真状态转换就发生。 动作表达式是一个过程表达式，当状态转换开始时执行该表达式。 3.7.4 例子 图中表明，没有人打电话时电话处于闲置状态； 有人拿起听筒则进入拨号音状态，到达这个状态后，电话的行为是响起拨号音并计时； 这时如果拿起听筒的人改变主意不想打了，他把听筒放下(挂断)，电话重又回到闲置状态； 如果拿起听筒很长时间不拨号(超时)，则进入超时状态；……。 3.8 其他图形工具 3.8.1 层次方框图 层次方框图用树形结构的一系列多层次的矩形框描绘数据的层次结构。树形结构的顶层是一个单独的矩形框，它代表完整的数据结构，下面的各层矩形框代表这个数据的子集，最底层的各个框代表组成这个数据的实际数据元素(不能再分割的元素)。 例如，描绘一家计算机公司全部产品的数据结构可以用层次方框图表示。 层次方框图的一个例子 随着结构的精细化，层次方框图对数据结构也描绘得越来越详细，这种模式非常适合于需求分析阶段的需要。 系统分析员从对顶层信息的分类开始，沿图中每条路径反复细化，直到确定了数据结构的全部细节时为止。 Warnier图是表示信息层次结构的另外一种图形工具，比层次方框图提供了更丰富的手段。 用Warnier图可以表明信息的逻辑组织： 可指出一类或一个信息元素是重复出现的； 也可表示特定信息在某一类信息中是有条件地出现的。 因为重复和条件约束是说明软件处理过程的基础，所以很容易把Warnier图转变成软件设计的工具。 3.8.2 Warnier图 如图是用Warnier图描绘一类软件产品的例子，它说明了这种图形工具的用法。 图中表示一种软件产品：要么是系统软件要么是应用软件。 系统软件中有P1种操作系统，P2种编译程序，此外还有软件工具。 软件工具是系统软件的一种，它又可以进一步细分为编辑程序、测试驱动程序和设计辅助工具，图中标出了每种软件工具的数量。 IPO图是输入、处理、输出图的简称，它是美国IBM公司发展完善起来的一种图形工具，能够方便地描绘输入数据、对数据的处理和输出数据之间的关系。 可用于对DFD图中加工的描述。 3.8.3 IPO图 如图是一个主文件更新的例子 在左边的框中列出有关的输入数据，在中间的框内列出主要的处理，在右边的框内列出产生的输出数据。 3.8.3 IPO图 建议使用一种改进的IPO图(也称为IPO表)，这种图中包含某些附加的信息，在软件设计过程中将比原始的IPO图更有用。 3.8.3 IPO图 改进的IPO图的形式 3.9 验证软件需求 3.9.1 从哪些方面验证软件需求的正确性 软件系统中15%的错误起源于错误的需求，因此，应该从下述4个方面进行验证： (1) 一致性，需求不能和其他需求互相矛盾。 (2) 完整性，规格说明书应该包括用户需要的每一个功能或性能。 (3) 现实性，指定的需求应该是用现有的硬件技术和软件技术基本上可以实现的。 (4) 有效性，必须证明需求是正确有效的，确实能解决用户面对的问题。 1. 验证需求的一致性 自然语言书写的需求，除了靠人工技术审查验证软件系统规格说明书的正确性之外，目前还没有其他更好的“测试”方法。 由于人工审查的效果是没有保证的，冗余、遗漏和不一致等问题可能没被发现而继续保留下来，以致软件开发不能在正确的基础上顺利进行。 形式化的描述软件需求的方法较好地弥补了上述缺点。 3.9.2 验证软件需求的方法 2. 验证需求的现实性 为了验证需求的现实性，分析员应该参照以往开发类似系统的经验，分析用现有的软、硬件技术实现目标系统的可能性。必要的时候应该采用仿真或性能模拟技术，辅助分析软件需求规格说明书的现实性。 3.9.2 验证软件需求的方法 2. 验证需求的现实性 为了验证需求的现实性，分析员应该参照以往开发类似系统的经验，分析用现有的软、硬件技术实现目标系统的可能性。 必要的时候应该采用仿真或性能模拟技术，辅助分析软件需求规格说明书的现实性。 3.9.2 验证软件需求的方法 3. 验证需求的完整性和有效性 只有目标系统的用户才真正知道软件需求规格说明书是否完整、准确地描述了他们的需求。