第4章_结构化设计方法 参考答案

第4章 结构化设计方法

4.1 当你“编写”程序时你设计软件吗？软件设计和编码有什么不同吗？

在“编写”程序时并没有设计软件。软件设计包括概要设计和详细设计，编码是将详细设计中的过程描

述转换成用程序设计语言来描述。

4.2 举出3个数据抽象的例子和可以用来操作这些数据抽象的过程抽象的一个例子。

抽象是忽略事物的细节，获取其本质特征的过程。抽象是一种重要的机制，使人们能够对复杂系统能

够很好地理解、交流和推理。在软件领域，可以将抽象分为两类，即数据抽象和过程抽象。

在传统的结构化程序设计语言中，就提供了这两种抽象机制。

(1) 数据抽象：在所有的结构化程序设计语言中，用户都可以自定义抽象数据类型。如定义抽象数据

类型Student（学生）、Course（课程）、ClassScoreList（班级成绩单）。

(2) 过程抽象：过程抽象也称为是基于方法的抽象。过程抽象使我们关心处理过程的名字和它能做什

么，而无需知道如何完成所有实现细节。如求班级总平均分average(ClassScoreList)就是一个过程抽象。

在面向对象的程序设计语言中，抽象与封装的概念密切相关，数据抽象和相关的过程抽象被封装在类

中，不同类中相似的过程抽象（方法）又可以进一步抽象，放在接口中。封装是保证事物有明确内外界限

的机制。内部是受保护的，与外部事物相隔离。

4.3 应在什么时候把模块设计实现为单块集成软件？如何实现？性能是实现单块集成软件的唯一理由吗？

由于模块之间的调用降低了系统的运行速度，可能会导致满足不了用户的性能要求，这时就需要将软

件设计为单块集成软件。但是在设计时，最好按照模块化的原则进行设计，只是没有显式的模块定义而已。

这样的程序也具有模块化的优点。性能是实现单块集成软件的唯一理由。

4.4 是否存在一种情况：复杂问题需要较少的工作去解决？这样的情况对模块化观点有什么影响？

通过对复杂的问题进行合理分解，分解为若干个相对简单及独立的子问题，就可以用较少的工作去解

决。这种情况能够较好地支持模块化的观点，每个子问题用单独的模块去解决，模块之间应该是高内聚、

低耦合的，这样才能减少工作量，否则，虽然每个模块的工作简单了，但模块之间的联系很复杂，也增加

了问题解决的难度和工作量。

4.5 使用数据流程图和处理叙述，描述一个具有明显事务流特性的计算机系统。使用本章所介绍的技术定

义数据流的边界，并将DFD映射成软件结构。

略。

4.6 一些设计人员认为所有的数据流都可以当做是变换流。试讨论当事务流被当成变换流时，会对导出的

软件体系结构有什么影响。请使用例子来说明要点。

1

当事务流被当成变换流时，首先按变换流导出软件结构，之后再将位于中间的“变换模块”替换成事物

中心。所不同的是，其输入数据不是来自下属的输入模块，而是从最顶层的主控模块传入的，输出数据也

是传给主控模块，之后再由主控模块传给输出模块。这样会增加模块层次及数据的传送次数。

例如，对于下面的事务型数据流，如果按照事务型数据流进行处理，得到的初始模块结构如右图所示。

事务型数据流 按事务型得到的软件结构

如果按变换型处理，得到的初始结构图如下图所示。

主模块

输入模块 变换模块 输出模块

初始结构图

再对中间部分进一步分解，得到下面的结构图。

如果想缩短数据传递的路径，就需要对上图进行改进，可以将“调度”模块合到“事务中心”模块中。

4.7 什么是持久的数据源？

对于应用系统来说，持久的数据源是指应用系统关闭再重新启动后，关闭之前的数据依然存在。这些

数据一般要存储在文件或数据库中。

4.8 用面向数据流的方法设计第3章习题3.4所描述的银行存款业务的软件结构，并使用改进方法对模块

2

结构进行精化。

(1) 对第3章习题3.4给出的数据流图进行精化，确定其边界，如下图所示。

(2) 对上图按事务型数据流进行处理，完成第一级分解，得到顶层和一层模块结构图。

输入数据 调度

第一级分解后的结构图

(3) 完成第二级分解。对上图所示的“输入数据”、“输出数据”和“调度”模块进行分解，得到未经精化

的输入结构、输出结构和事务结构。

输入事务

3

输入密码

输入数据

输出数据

存款业务

未经精化的输入结构

输出数据

打印存款单

未经精化的输出结构

记录存款信息 记录开户信息

未经精化的事务结构

将上面的三部分合在一起，得到初始的软件结构，如下图所示。

输入数据

输入事务

记录存款信息

初始软件结构图

记录开户信息 记录密码

输入密码 处理存款

处理开户 打印存款单 打印开户单

调度

输出数据

存款业务

记录密码

处理存款

处理开户

调度

打印开户单

4

(4) 对软件结构进行精化。

1)

由于调度模块下只有两种事务，因此，可以将调度模块合并到上级模块中，如图所示。

输入事务

输入密码 记录存款信息 记录开户信息 记录密码 打印存款单 打印开户单

输入数据 处理存款 处理开户 输出数据

存款业务

将调度模块合并到上级模块后的软件结构

2) “

记录密码

”

模块的作用范围不在其控制范围之内（即

“

输入密码

”

模块不在

“

记录密码

”

模块的控制范

围之内），需对其进行调整，如图所示。

输入事务

3) 提高模块独立性，对模块结构进行调整，如下图所示。

记录密码 记录存款信息 记录开户信息

输入事务

调整后的模块结构图

4.9 将大的软件划分成模块有什么好处？是不是模块划分得越小越好？划分模块的依据是什么？

将大的软件划分成独立命名且可独立访问的模块，不同的模块通常具有不同的功能或职责。这种方法

输入密码

记录存款信息 打印存款单 记录开户信息 记录密码 打印开户单

处理存款

处理开户

存款业务

输入密码

打印存款单 打印开户单

处理存款 处理开户 输出数据

存款业务

5

有利于将复杂的问题简单化，是分而治之策略的具体表现。

尽管模块分解可以简化要解决的问题，但模块分解并不是越小越好。当模块数目增加时，每个模块的

规模将减小，开发单个模块的成本确实减少了；但是，随着模块数目增加，模块之间关系的复杂程度也会

增加，设计模块间接口所需要的工作量也将增加。

划分模块的依据是，模块只具有单一的功能且与其他模块没有太多的联系。

4.10 什么叫“自顶向下、逐步细化”？

自顶向下、逐步细化的设计过程，主要包括两个方面：一是将复杂问题的解法分解和细化成由若干个

模块组成的层次结构；二是将每个模块的功能逐步分解细化为一系列的处理。

在处理较大的复杂任务时，常采取

“

模块化

”

的方法，即在程序设计时不是将全部内容都放在同一个模

块中，而是分成若干个模块，每个模块实现一个功能。划分模块的过程可以使用自顶向下的方法实现。

模块分解完成后，下一步的任务就是将每个模块的功能逐步分解细化为一系列的处理。这个过程是对

问题求解，并由抽象逐步具体化的过程。使用这种方法便于检查程序的正确性。在每一步细化之前，应仔

细检查当前的设计是否正确。如果每一步细化、设计都没有问题，则整个程序的算法是正确的。由于每一

次向下细化都不太复杂，因此容易保证整个算法的正确性。

4.11 结构化程序设计禁止使用goto语句吗？如果程序中使用了goto语句，是否就可以断定它是非结构化

的？

结构化程序设计并不禁止使用goto语句。如果程序中使用了goto语句，并不能断定它是非结构化的。

4.12 对于给定的算法，如何判断它是否是结构化的？

对于给定的算法，如果符合以下三条原则，就可以判断它是结构化的。

(1) 使用语言中的顺序、选择、重复等有限的基本控制结构表示程序逻辑。

(2) 选用的控制结构只准许有一个入口和一个出口。

(3) 程序语句组成容易识别的块（Block），每块只有一个入口和一个出口。

4.13 对于图4-49所示的流程图，试分别用N-S图和PAD表示之。

START

P

A

B

T

Q

6

F

T

F

END

图4-49 流程图

对应的

N-S

图如下：

对应的

PAD

如下：

while P

A

B

until !Q

while P

until !Q

B

A

4.14 图4-50所示的流程图完成的功能是使用二分查找方法在table数组中找出值为item的数是否存在。

(1) 判断此算法是否是结构化的，说明理由。

(2) 若算法是非结构化的，设计一个等价的结构化算法，并用N-S图表示。

开始

i＝(start＋finish)/2

table(i)=item

F

T

table(I)

start=i+1

F

T

table(i)>item

T

finish=i-1

F

T

(finish-start)>1

F

7

table(start)=item

F

T

图4-50 二分查找算法的流程图

(1) 不是结构化的，最上面的循环有两个出口，最下面的分支有三个入口。

(2) 等价的结构化算法如下：

I＝(START＋FINISH)/2

(FINISH-START)>1 && TABLE(I)!=ITEM

I＝(START＋FINISH)/2

T

START=I+1

T

TABLE(I)

FINISH=I-1

F

TABLE(START)==ITEM || TABLE(FINISH) ==ITEM || TABLE(I)==ITEM

F

FLAG=0 FLAG=1

或者

FLAG＝0

(FINISH-START)>1 && FLAG==0

I＝(START＋FINISH)/2

T

TABLE(I)==ITEM

8

FLAG=1

F

TABLE(I)

T F

START=I+1 FINISH=I-1

或者

4.15 使用自顶向下、逐步细化方法设计算法，完成下列任务：产生一个1010的二维随机整数方阵，先求

出每一行的最大值和每一列的最小值；然后求10个最大值中的最小者，10个最小值中的最大者；最后求

这两个数之差的平方。

(1) 首先写出下面的程序框架：

main （） {

定义1010的二维整数数组A，长度为10的一维数组B, C;

建立1010的二维随机整数数组A；- - - - - - -- -- - - - - - - - - - - - 1

求A中每一行的最大值数组B； - - - - - - - - -- - - - - - - - - - - - 2

求A中每一列的最小值数组C； - - - - - - - - -- - - - - - - - - - - - 3

求数组B中的最小值minOfB; - - - - - - - - -- - - - - - - - - - - - 4

9

FLAG＝0

(FINISH-START)>=0 && FLAG==0

I＝(START＋FINISH)/2

T

TABLE(I)==ITEM

F

FLAG=1 TABLE(I)

T F

START=I+1 FINISH=I-1

求数组C中的最大值maxOfC; - - - - - - - - -- - - - - - - - - - - - 5

(minOfB- maxOfC)^2 result;

}

(2) 对后面加标记的部分进行细化

main （） {

定义1010的二维整数数组A，长度为10的一维数组B, C;

/*建立1010的二维随机整数数组A*/ - - - - - -- -- - - - - - - - - - - - 1

for (i=0; i<=9; i++)

for (j=0; j<=9; j++)

产生随机整数 A[i,j];

/*求A中每一行的最大值数组B*/ - - - - - - - - -- - - - - - - - - - - - 2

for (i=0; i<=9; i++) {

求数组A第i行的最大值B[i]; --------------------------------------2.1

}

/*求A中每一列的最小值数组C*/ - - - - - - - - -- - - - - - - - - - - - 3

for (j=0; j<=9; j++) {

求数组A第j列的最小值C[j]; --------------------------------------3.1

}

/*求数组B中的最小值minOfB*/ - - - - - - - - -- - - - - - - - - - - - 4

minOfB = B[0];

for (i=1; i<=9; i++) {

if (minOfB < B[i]) {

minOfB = B[i];

}

}

/*求数组C中的最大值maxOfC*/ - - - - - - - - -- - - - - - - - - - - - 5

maxOfC = C[0];

for ( i=1; i<=9; i++) {

if (maxOfC>C[i]) {

maxOfC = C[i];

}

}

(minOfB- maxOfC)^2 result;

}

(3) 下一步可以继续对2.1和3.1进行细化。具体略。

4.16 设计算法完成下列任务：输入一段英文后，无论输入的文字都是大写，还是小写，或大小写任意混合，

都能将其整理成除每个句子开头字母是大写外，其他都是小写的文字。

假设在输入的文字中，两个单词间只允许是空格、,、.、?、!，则在输出的文字中，大写的情况有以

下几种：

(1) 整段文字的第一个字母是大写；

(2) “.”后的第一个字母是大写；

10

(3) “?”后的第一个字母是大写；

(4) “!”后的第一个字母是大写；

设变量a存储输入的字符串，变量b存储结果字符串，变量c存储当前处理的字符，变量e存储c之

前的非空格字符（当c为第一个字符时除外）。算法如下：

输入字符串a, 空字符串==> b, 空格==> e

n = strlen(a)

for ( i=0; i

c = a[i]

c是字母

T F

e属于.?!

T F

c改大写 c改小写

字符串b 连接c ==> b

c!=空格

T F

c==> e

输出字符串b

11