【正文】 圖 Jackson圖。 圖 進一步簡化后的結(jié)構(gòu)化程序 15．答： Jackson 圖善于描繪復(fù)雜事物的組成。當執(zhí)行完最內(nèi)層的 IF語句之后，把 I賦值為可執(zhí)行的最大標號值加 1，而 DOUNTIL循環(huán)的結(jié)束條件就是 I等于這個值。最外層的 IF 語句在 I=1 時執(zhí)行，執(zhí)行完這個 IF語句后把 I賦值為隨后應(yīng)該執(zhí)行的內(nèi)層 IF語句所對應(yīng)的 CASE標號值。實際上，它用了 GO TO 語句實現(xiàn)了 DO_UNTIL型循環(huán)結(jié)構(gòu) 。 但 是，同樣的控制流程可以用不同的偽碼來描述，因此，由程序流程圖轉(zhuǎn)變成的偽碼不是唯一的。 ：（ 1）圖 ： START Loop:IF P1 THEN S1 IF P2 THEN S2 IF P3 THEN S3 IF P4 THEN S4 GO TO Loop ELSE GO TO Exit END ELSE GO TO Exit END ELSE GO TO Exit END Exit: STOP (2)使用附加的標志變量 flag，設(shè)計出的等價的結(jié)構(gòu)化程序偽碼如下： START flag=TRUE DO UNTIL(NOT P4) OR (NOT flag) IF P1 THEN S1 ELSE flag=FALSE END IF P2 AND flag THEN S2 ELSE flag=FALSE END IF P3 AND flag THEN S3 ELSE flag=FALSE END IF P4 AND flag THEN S4 ELSE flag=FALSE END END STOP (3)不使用附加的標志變量 flag的等價的結(jié)構(gòu)化程序偽碼如下： START DO UNTIL (NOT P1) OR (NOT P2) OR (NOT P3) OR (NOT P4) IF P1 THEN S1 IF P2 THEN S2 IF P3 THEN S3 IF P4 THEN S4 END END END END END STOP 13．答：偽碼準確地描述了程序的控制流程。因此，應(yīng)該把循環(huán)條件改為 I 第二個錯誤是印出“無匹配“的條件 N=0：該程序使 用變量 MATCH存放匹配次數(shù)，因此，印出“無匹配“的條件應(yīng)該是 MATCH=0。 圖 與圖 (4)該程序邏輯中有兩個錯誤 第一個錯誤是 WHILE循環(huán)條件 I≤ T：根據(jù)這個條件，當 I=T時應(yīng)該執(zhí)行一遍循環(huán)體。因為在圖 “印出緩沖 區(qū)的內(nèi)容”這個處理框有兩個入口；此外，循環(huán)結(jié)構(gòu)有兩個出口： I≤ T為假和 MATCH=N為真時都結(jié)束循環(huán)。 圖 與圖 （不用 flag） ： (1)根據(jù)這個偽碼程序畫出的程序流程圖如圖 。 (2)使用附加的標志變量 flag，至少有兩種方法可以把該程序改造為等價的結(jié)構(gòu)化程序，圖 的結(jié)構(gòu)化程序。 圖 由偽碼轉(zhuǎn)變成的盒圖 ： (1)通常所說的結(jié)構(gòu)化程序，是按照狹義的結(jié)構(gòu)程序的定義衡量，符合定義規(guī)定的程序。 圖 描述手續(xù)費計 算方法的判定樹 ：（ 1）從該偽碼程序轉(zhuǎn)變成的程序流程圖示于圖 。 判定表的每一列是一條計算規(guī)則。 圖 與圖 ：令 P代表交易的總金額， Q代表每股的售價， n代表交易的股數(shù)。其中， IFTHENELSE型分支結(jié)構(gòu)的分支條件是 x1， THEN部分是處理 f和另一個分支條件為 x6的 IFTHENELSE型分支結(jié)構(gòu)； ELSE部分是一個 CASE型多分支結(jié)構(gòu)。 代碼中包含的各種操作數(shù)的個數(shù)如下列： 操作數(shù) 個數(shù) Z 4 0 2 X 3 Y 2 1 1 因此，操作數(shù)的總個數(shù)為 N2=12。 按照慣例，把所有總是成對出現(xiàn)或以 3個一組方式出現(xiàn)的符號視為一個運算符。因此，圖 2*1+1*（ 31） +1=5 ： Halstead 方法根據(jù)詳細設(shè)計中使用的不同運算符的個數(shù) n1 和不同操作數(shù)的個數(shù)n2來預(yù)測程序長度 H。圖 該流圖中的區(qū)域 ，其中區(qū)域 I為圖的外部區(qū)域。 圖 優(yōu)化后的工資支付軟件結(jié)構(gòu) ：計算環(huán)形復(fù)雜度的方法主要有下述 3種。此外，完成具體輸出功能的模塊只有一個，無須再額外設(shè)置一個輸出信息處理控制模塊，因此應(yīng)該去掉“印出計算結(jié)果”模塊。 圖 工資支付系統(tǒng)的第二級分解 最后一個設(shè)計步驟是，對工資支付系統(tǒng)的初步設(shè)計結(jié)果進行優(yōu)化。變換分析的映射規(guī)則是，從變換 中心的邊界開始沿著輸入通路向外移動，把輸入通路中每個處理映射成軟件結(jié)構(gòu)中“輸入信息處理控制模塊”控制下的一個低層模塊；然后沿輸出通路向外移動，把輸出通路中每個處理映射成直接或間接受“輸出信息處理控制模塊”控制的一個低層模塊；最后把變換中心內(nèi)的每個處理映射成受“變換中心控制模塊”控制的一個低層模塊。 圖 工資支付系統(tǒng)的第一級分解 再下一步設(shè)計步驟是，完成“第二級分解”。所謂第一級分解就是確定系統(tǒng)的總體控制結(jié)構(gòu)。綜上所述，得出畫有流邊界的數(shù)據(jù)流圖，如圖 ?！坝”砀瘛憋@然應(yīng)該位于輸出流中?！皩徍藬?shù)據(jù)”僅僅對收集來的事務(wù)數(shù)據(jù)進行校核，并不對數(shù)據(jù)進行加工處理，它的基本功能是確保輸入的事務(wù)數(shù)據(jù)時合理的，因此，也應(yīng)該歸入輸入流的行列。 接下來應(yīng)該分析確定輸入流和輸出流的邊界，以孤立出變換中心。 從圖 可以看出，事務(wù)數(shù)據(jù)和人事數(shù)據(jù)沿著兩條 輸入通路進入系統(tǒng)，輸出數(shù)據(jù)沿著一條輸出通路離開系統(tǒng)，數(shù)據(jù)流圖中沒有明顯的事務(wù)中心。 ：我們在解答第 2 章第 11 題的過程中，已經(jīng)用結(jié)構(gòu)化分析方法詳細地分析了這個工資支付系統(tǒng)，并且認真審查了結(jié)構(gòu)化分析所得出的結(jié)果。模塊 q和 s之間（接口 4）的耦合情況與此類似。 圖 右側(cè)文字說明，模塊 p、 t 和 u 更新同一個數(shù)據(jù)庫，因此，它們之間具有公共環(huán)境耦合。另一個控制耦合的例子是把控制開關(guān)作為一個參數(shù)傳遞。 如果兩個模塊中的一個模塊 給另一個模塊傳遞控制元素，也就是說，如果一個模塊明顯地控制另一個模塊的邏輯，則它們之間具有控制耦合。當模塊 q把控制返還給模塊 p時，它傳回一個狀態(tài)標志。 ：綜合分析圖 。因此，“ 初始化變量 sum和打開文件”這個模塊的內(nèi)聚類型都是偶然內(nèi)聚。但是，初始化變量 sum是本程序特有的操作，而打開文件是硬件要求的操作，是任何使用文件的程序都包含的一個操作，并非本程序特有的操作。 從上述敘述可知，“計算多個地點的日平均溫度”、“讀取地點、時間和溫度”、“創(chuàng)建新的溫度記錄”、“計算特定地點的日平均溫度”和“存儲溫度記錄”等 5個模塊，每