第4章 总体设计

1．模块设计的基本概念 ． 较大的软件系统，一般是由许多具有特定功能的较小的 单元组成，这种单元就称为模块。一个模块具有输入和输出、 特定功能、内部数据和程序代码等四个特性。输入和输出模 块是需要处理和产生信息的功能模块。输入输出和特定功能 构成了一个模块的外貌，即模块的外部特性。程序代码用来 完成模块的功能。内部数据是仅供该模块本身引用的数据， 内部数据和程序代码是模块的内部特性。对模块的外部环境 来说，只需了解它的外部特性就足够了。
第4章 总体设计
② 不太可能发生的修改，可以涉及少量模块和不太用的模 块之界面； ③ 极不可能发生的修改，才需改动常用模块的界面。 Parnas在1972年提出的信息隐蔽原则已被软件界广泛接受， “信息隐蔽”(也就是“抽象”)已成为软件工程学中的一个重 要原则，“抽象数据类型”以及诸如Ada语言中的Package等有 关概念就是信息隐蔽原则的体现。 Parnas的研究工作虽然同SD方法的研究是独立的，但其结 论颇为接近：将信息隐蔽在模块的内部，就是将模块作为一个 黑盒，使其他模块不了解这个模块的内部细节，这同模块之间 要相对独立、块间联系要小等想法是一致的。
第4章 总体设计
使用Parnas方法，我们可以将程序设计成如图4.2所示的结 构。其中模块Get an X隐含了上述第一个因素，模块Validate隐 含了第二个因素，模块Store隐含了第三个因素。 而其他模块则 不必了解这些因素。将来某个因素发生变化时，仅仅修改一个 模块就行了。 读者可以想象，如果不将Validate独立出来，而是同Get a Valid X混合在一起， 则第二个因素发生变化时影响的范围就比 现在大了。 ［例4.2］ 用数组实现了一个栈，有10个模块要对栈作存取 操作。 一种设计方案是将数组、栈顶、深度等作为全程变量，由 各个模块自行对栈作存取操作(如图4.3(a)所示)，也就是说10个 模块都需了解栈的具体结构细节。
第4章 总体设计
所以我们可以说，SD方法的长处来自于模块之间的相对独 立性，它提高了系统的质量(可理解性、可维护性、可靠性等)， 也减少了研制软件所需的人工。 2．块间联系和块内联系 ． 如何衡量模块之间的相对独立性呢? SD方法提出了块间联 系和块内联系这两个标准(如图4.1所示)。 块间联系(Coupling,又称耦合度)是指模块之间的联系，它 是对模块独立性的直接衡量，如图4.1(a)所示。块间联系越小 就意味着模块的独立性越高，所以这是一个最基本的标准。 块内联系(Cohesion，又称聚合度)是指一个模块内部各成 分(语句或语句段)之间的联系，如图4.1(b)所示。块内联系大了， 模块的相对独立性势必会提高。
第4章 总体设计
模块设计技术上有相当的困难，它需要有一定的方法来 指导，从而使设计人员可以获得较好的方案。20世纪70年代以 来，出现了许多设计方法来支持模块设计，其中具有代表性的 有结构化设计、Parnas方法、Jackson方法、Warnier方法等。这 些方法都采用了模块化、由顶向下逐步细化的基本思想。它们 的差别在于构成模块的原则不同。结构化设计方法以数据流图 为基础构成模块结构；Parnas方法以信息隐蔽为原则建立模块 结构；而Jackson 方法则以数据结构为基础建立模块结构。当 然这些方法也可以结合起来使用。
第4章 总体设计
也就是说，在设计模块结构时，将某个因素隔离在某个模 块内部，这个因素的变化不致于传播到所在模块的边界之外。 下面用两个例子解释信息隐蔽原则。 ［例4.1］ 某程序输入一个数X，对它进行合理性检查，然 后进行计算，最后将计算结果存入存储器中。根据实际情况， 我们估计到以下三个因素将来可能要发生变化： (1) 输入数据X的格式。目前X的格式是六个字符的字符串， 其中有符号位、三位整数、小数点和一位小数，将来会有变化。 (2) 对X作合理性检查的规则。目前只要X的数值范围在－ 500～+500之间就认为它是合理的，将来打算采用某些更精确 的检查规则。 (3) 目前将计算结果存入磁带中，将来存入磁盘中，存储 格式也有变化。
第4章 总体设计
Parnas方法对模块分解提出了深刻的见解，但遗憾的是， 它没有给出明确的工作步骤，所以这个方法一般仅作为其他 方法的补充手段。
第4章 总体设计
4.4 Jackson 方 法
第4章 总体设计
(3) 考虑到软件本身也会有错误，所以模块之间要加强检 查，防止错误的蔓延。例如开平方根的模块应检查输入的变量 是否大于等于零，而不应假设这一点必然成立；又如操作系统 中应考虑万一发生死锁，该怎么处理；或者有一个进程发生了 故障，连续不断地申请资源而不再归还时，系统如何发现和处 理这种异常。 2．提高可维护性的技术──信息隐蔽 ．提高可维护性的技术 信息隐蔽 大型软件系统是多个版本的，在整个生命期中要经历多次 修改，设计时如何划分模块，才能使将来修改的影响范围尽量 小呢? Parnas提出了信息隐蔽(Information Hiding)的原则。根据 信息隐蔽原则，设计时应首先列出可能发生变化的因素，在划 分模块时将一个可能发生变化的因素包含在某个模块的内部， 使其他模块与这个因素无关。这样，将来这些因素发生变化时， 我们只需要修改一个模块就够了，而其他模块则不受这个因素 的影响。
第4章 总体设计
M
M
M1
M2
…
M10
M1
M2
…
M10
Stack
Stack
Stack
Stack (a) (b)
图4.3 模块对栈的存取操作
第4章 总体设计
通过上面两个例子的讨论，我们可以体会到信息隐蔽的目 的是使修改造成的影响尽量局限在一个或少数几个模块内部， 从而降低软件维护的开支。又因为修改极易引起错误，所以修 改影响范围越小，修改引起错误的可能性越小，系统的可靠性 也就提高了。 为了达到上述目标，根据信息隐蔽原则，模块分解时应该 做到以下几点： (1) 每个模块功能简单、容易理解。 (2) 修改一个模块的内部实现不会影响其他模块的行为。 (3) 将可能变化的因素在设计方案中作如下安排： ① 最可能发生的修改，不必改动模块界面就能完成；
第4章 总体设计
在设计时使软件结构尽量简单清晰，这是避免错误、提高 可靠性的根本手段。Parnas主张设计时应预计到将来可能发生 的种种意外，采取以下措施以提高系统的健壮性： (1) 考虑到硬件有可能出现意外故障，所以接近硬件的模 块应该对硬件的行为进行检查，以便及时发现硬件的错误，例 如对磁带中的文件配上检查以供核对，或存储几份副本以供比 较等。 (2) 考虑到操作人员有可能失误(也可能有人会故意破坏)， 负责接受操作人员输入的模块应该对输入数据进行合理性检查， 辨认非法、越权的操作要求，同时也要为操作员提供合适的纠 错手段。
第4章 总体设计
M1 块间联系 M2 块间联系 M4 M5 ( a ) 块间联系 M3 块间联系 M6 M4 M2
M1
M3 M5 M6
( b ) 块内联系
图4.1 块间联系与块内联系
第4章 总体设计
SD方法的目标是使块间联系尽量小，块内联系尽量大。 事实上，块间联系和块内联系是同一件事的两个方面。程序中 各组成成分间是有联系的，如果将密切相关的成分分散在各个 模块中，就会造成很高的块间联系；反之，如果密切相关的一 些成分组织在同一模块中，块内联系高了，则块间联系势必也 就少了。 3．描述方式 ． SD方法使用的描述方式是结构图(Structure Chart)，它描述 了程序的模块结构，并反映了块间联系和块内联系等特性。 结构图中的主要成分有：
第4章 总体设计
பைடு நூலகம்
Main
Get a valid X X Get an X OK Validate
Compute
Store
图4.2 使用Parnas方法的程序结构图
第4章 总体设计
这个方案的缺点是：如果将来栈的具体结构需作修改(如深 度增加)，这10个模块都必须作相应的修改。 另一个设计方案是根据信息隐蔽原则，先构造两个模块 Push和Pop， 它们分别负责对栈进行存取操作，10个模块通过 调用Push和Pop实现栈操作(如图4.3(b)所示)，此时，栈的具体 结构是隐含在Push和Pop两个模块内部的，其他10个模块完全 不了解这些细节，“栈”对它们来说是一个“抽象”的数据结 构。这个方案的优点是：如果将来需要修改栈的具体结构，只 需改动Push和Pop两个模块就够了，其余10个模块完全不受影 响。
第4章 总体设计
2．模块设计的主要任务 ． 模块设计的任务是把一个较大的软件系统分解成许多较小 的具有特定功能的模块，由它们共同完成软件系统的整体功能。 具体来说，就是： 第一，将软件系统划分成模块； 第二，决定各个模块的功能； 第三，决定模块间的调用关系； 第四，决定模块间的界面。 所以，模块设计的主要工作是完成模块分解，确定软件系 统中模块的层次结构。
第4章 总体设计
4.3 Parnas 方 法
Parnas认为软件设计对软件质量有着决定性的影响，又因 为模块设计是确定模块的界面，一个界面往往影响着多个模块， 所以设计中的缺陷影响很大，纠正设计错误所付出的代价也很 大，因而设计时应该特别予以重视。 正因为如此，Parnas主张设计时应预先估计到整个生命期 可能发生的种种情况，以便事先采取相应的措施来提高软件的 可靠性和可维护性。 1．提高可靠性的技术──防护性检查 ．提高可靠性的技术 防护性检查 复杂的软件结构容易隐含错误，尤其是在将来修改时更易 造成错误，所以软件结构对可靠性影响很大。
第4章 总体设计
第4章 总体设计 章
4.1 模块化设计方法 4.2 结构化设计 结构化设计(SD)方法 方法 4.3 Parnas方法 方法 4.4 Jackson方法 方法 4.5 总体设计的其他工作 4.6 详细设计 4.7 编程 返回主目录
第4章 总体设计
第4章 总 体 设 计
4.1 模块化设计方法
第4章 总体设计