软件工程第四章形式化说明技术解析.pptVIP

3.7.2 Warnier图 * * 花括号：区分数据结构的层次，在一个花括号内的所有名字都属于同一类信息。 异或符号：表明一类信息或一个数据元素在一定条件下才出现，而且在这个符号上、下方的两个名字所代表的数据只能出现一个。 圆括号：中间的数字指明了这个名字代表的信息类（或元素）在这个数据结构中重复出现的次数。 3.7.3 IPO图 * * IPO图是输入/处理/输出图的简称，它是美国IBM公司发展完善起来的一种图形工具，能够方便地描绘输入数据、数据处理和输出数据之间的关系。 左框：列出输入数据。 中框：列出主要的处理 （次序暗示了执行的顺序）。 右框：列出输出数据 粗大箭头：指出数据通 信的情况。 用IPO图描绘主文件更新功能 3.7.3 IPO图 * * 建议使用一种改进的IPO图（也称为IPO表），这种图中包含某些附加信息，比原始的IPO图更有用。 改进的IPO图中包含的附加信息，主要有系统名称，图的作者，完成本图的日期，本图描述的模块的名字，模块在层次图中的编号，调用本模块的模块清单，本模块调用的模块的清单，注释，以及本模块使用的局部数据元素等。 3.7.3 IPO图 * * 在需求分析阶段可以使用IPO图简略地描述数据流图中各个处理的基本算法（着重说明处理功能而不是具体实现功能的算法）。 当然，在需求分析阶段，IPO表中的许多附