软件工程第六章答案

1、.作业 4 参考答案1假设只有SEQUENCE和 DO_WHILE两种控制结构， 怎样利用它们完成IF_THEN_ELSE操作？答：转化如下：K = 1DO WHILE （条件 .AND. K.EQ.1)程序块 1K=K+1END DODO WHILE （ (.NOT.条件 ) .AND. K.EQ.1)程序块 2K=K+1END DO2假设允许使用SEQUENCE和 IF_THEN_ELSE两种控制结构，怎样利用它们完成DO_WHILE操作？答：转化如下；label:IF (条件 ) THEN程序块GOTO labelELSE程序块END IF3画出下列伪码程序的程序流程图和盒图：START

2、IF p THENWHILE q DOfEND DOELSEBLOCKgnEND BLOCKEND IFSTOP答：（ 1）流程图如图4-1 所示：精品.开始pgq循环 WHILE pnfq循环停止图 4-1 从伪码变成的程序流程图（ 2）该程序的盒图如图 4-2 所示：PFTqgfn图 4-2 从伪码变成的程序盒图4下图给出的程序流程图代表一个非结构化的程序，请问：（ 1）为什么说它是非结构化的？（ 2）设计一个等价的结构化程序。（3）在（ 2）题的设计中你使用附加的标志变量flag吗？若没用，请再设计一个使用flag的程序；若用了，再设计一个不用flag的程序。答：（1）通常所说的结构化程

3、序，是按照狭义的结构程序的定义衡量，符合定义规定的程序。图示的程序的循环控制结构有两个出口，显然不符合狭义的结构程序的定义，因此是非结构化的程序。（ 2）使用附加的标志变量 flag ，至少有两种方法可以把该程序改造为等价的结构化程序，图 4-3 描绘了等价的结构化程序的盒图。精品.flag=TRUEflag=TRUEp AND flagFpTgflag=FALSEgqTFflag=FALSE(NOT q)OR(NOT flag)（ a）解法 1（ b）解法 2图 4-3与该图等价的结构化程序（用flag）（3）不使用 flag 把该程序改造为等价的结构化程序的方法如图4-4 所示。FpTg(

4、NOT q)OR(NOT flag)图 4-4与该图等价的结构化程序（不用flag ）5研究下面的伪代码程序：LOOP：Set I to (START+FINISH)/2If TABLE(I)=ITEM goto FOUNDIf TABLE(I)<ITEM Set START to (I+1)If TABLE(I)>ITEM Set FINISH to (I-1)If (FINISH-START)>1 goto LOOPIf TABLE(START)=ITEM goto FOUNDIf TABLE(FINISH)=ITEM goto FOUNDSet FLAG to 0Got

5、o DONEFOUND: Set FLAG to 1DONE:Exit(1) 画出程序流程图。(2) 程序是结构化吗？说明理由。(3) 若程序是非结构化的，设计一个等价的结构化程序并且画出流程图。(4) 此程序的功能是什么？它完成预定功能有什么隐含的前提条件。答：（ 1）该程序流程图如下：精品.开始I= (START+FINISH)/2TTABLE(I)=ITEMFTTTABLE(I)<ITEMStart=I+1FTTABLE(I)>ITEMFinish=I-1F(FINISH-START)>1FTTABLE(START)=ITEMEFTTABLE(FINISH)=ITEMF

6、FLAG=0FLAG=1结束（ 2）该程序不是结构化的，结构化的程序只有一个入口和一个出口，而该程序的流程途中有两个出口。（ 3）等价的结构化程序的流程图如下：精品.开始Flag=0(F-S)>1&& flag=0TI=(F+S)/2FFTable(I)=itemTable(I)<itemFTTFlag=1S=I+1F=I-1结束（ 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