软件工程第六章答案

软件工程第六章答案

作业4参考答案

1．假设只有SEQUENCE和DO_WHILE两种控制结构，怎样利用它们完成IF_THEN_ELSE操作？ 答：转化如下：

K = 1

DO WHILE （条件 .AND. K.EQ.1) 程序块1 K=K+1 END DO

DO WHILE （ (.NOT. 条件) .AND. K.EQ.1) 程序块2 K=K+1 END DO

2．假设允许使用SEQUENCE和IF_THEN_ELSE两种控制结构，怎样利用它们完成DO_WHILE操作？ 答：转化如下； label: IF (条件) THEN 程序块 GOTO label ELSE 程序块 END IF

3．画出下列伪码程序的程序流程图和盒图： START

IF p THEN

WHILE q DO f END DO ELSE

BLOCK g n

END BLOCK END IF STOP 答：（1）流程图如图4-1所示：

软件工程第六章答案

图4-1 从伪码变成的程序流程图

（2）该程序的盒图如图4-2所示：

图4-2 从伪码变成的程序盒图

4．下图给出的程序流程图代表一个非结构化的程序，请问： （1）为什么说它是非结构化的？ （2）设计一个等价的结构化程序。

（3）在（2）题的设计中你使用附加的标志变量flag吗？若没用，请再设计一个使用flag的程序；若用了，再设计一个不用flag的程序。 答：（1）通常所说的结构化程序，是按照狭义的结构程序的定义衡量，符合定义规定的程序。图示的程序的循环控制结构有两个出口，显然不符合狭义的结构程序的定义，因此是非结构化的程序。

（2）使用附加的标志变量flag，至少有两种方法可以把该程序改造为等价的结构化程序，图4-3描绘了等价的结构化程序的盒图。

软件工程第六章答案

（a）解法1

（b）解法2

图4-3 与该图等价的结构化程序（用flag）

（3）不使用flag把该程序改造为等价的结构化程序的方法如图4-4所示。

图4-4 与该图等价的结构化程序（不用flag）

5．研究下面的伪代码程序： LOOP： Set I to (START+FINISH)/2 If TABLE(I)=ITEM goto FOUND If TABLE(I)<ITEM Set START to (I+1) If TABLE(I)>ITEM Set FINISH to (I-1) If (FINISH-START )>1 goto LOOP If TABLE(START)=ITEM goto FOUND If TABLE(FINISH)=ITEM goto FOUND Set FLAG to 0 Goto DONE FOUND: Set FLAG to 1 DONE:Exit

(1) 画出程序流程图。

(2) 程序是结构化吗？说明理由。

(3) 若程序是非结构化的，设计一个等价的结构化程序并且画出流程图。 (4) 此程序的功能是什么？它完成预定功能有什么隐含的前提条件。 答：（1）该程序流程图如下：

软件工程第六章答案

T

（2）该程序不是结构化的，结构化的程序只有一个入口和一个出口，而该程序的流程途中有两个出口。

（3）等价的结构化程序的流程图如下：

软件工程第六章答案

F

（4）此程序有二分查找的功能，它完成预定功能的隐含前提条件是现有序列为从小到大顺序排好的有序序列。

6．用Ashcroft_Manna技术可以将非结构化的程序转化为结构化程序，图6.19是一个转换的例子。

(1)能否从这个例子总结出Ashcroft_Manna技术的一些基本方法？ (2)进一步简化6.19(b)给出的结构化设计。

答：（1）从这个例子中看出，Ashcroft_Manna 技术的基本方法是，当待改造的序含有嵌套的非结构化的IF语句时，改造后的程序中增加DO-CASE语句和DO-UNTIL语句，并增加一个辅助变量I，I的初始值为１。最外层的IF语句在I=１时执行，执行完这个IF语句后把I赋值为随后应该执行的内层IF语句所对应的CASE标号值。DO-CASE语句的最大分支数（可执行的最大标号值）等于IF语句的个数。当执行完最内层的IF语句之后，把I赋值为可执行的最大标号值加１，而DO-UNTIL 循环的结束条件就是

I等于这个值。 （2）进一步简化后的结构化程序的流程图如下所示。