【正文】 這也是面向?qū)ο蠓椒ㄅc傳統(tǒng)方法的重要區(qū)別。面向?qū)ο蠓椒ǖ某霭l(fā)點(diǎn)和基本原則，是盡量模擬人類習(xí)慣的思維方式，使開(kāi)發(fā)軟件的方法和過(guò)程盡可能接近人類認(rèn)識(shí)問(wèn)題和解決問(wèn)題的方法與過(guò)程，從而使描述問(wèn)題的問(wèn)題空間與其解空間在結(jié)構(gòu)上盡可能一致。對(duì)于大型、復(fù)雜及交互性比較強(qiáng)的系統(tǒng)，使用面向?qū)ο蠓椒ǜ袃?yōu)勢(shì)。 形式化方法的特點(diǎn)是什么？形式化方法的主要特點(diǎn)是：(1) 軟件需求規(guī)格說(shuō)明被細(xì)化為用數(shù)學(xué)記號(hào)表達(dá)的詳細(xì)的形式化規(guī)格說(shuō)明；(2) 設(shè)計(jì)、實(shí)現(xiàn)和單元測(cè)試等開(kāi)發(fā)過(guò)程由一個(gè)變換開(kāi)發(fā)過(guò)程代替。通過(guò)一系列變換將形式的規(guī)格說(shuō)明細(xì)化成為程序。 安裝Rational Rose2000/2002/2003，并練習(xí)基本操作。略。 3 軟件需求獲取與結(jié)構(gòu)化分析方法 為什么結(jié)構(gòu)化分析要叫“結(jié)構(gòu)化”？有其他可替代的術(shù)語(yǔ)嗎？“結(jié)構(gòu)化”一詞應(yīng)來(lái)源于“結(jié)構(gòu)化程序設(shè)計(jì)”，先有“結(jié)構(gòu)化程序設(shè)計(jì)”的思想，后有結(jié)構(gòu)化設(shè)計(jì)及結(jié)構(gòu)化分析。有時(shí)稱傳統(tǒng)的分析方法，指的就是結(jié)構(gòu)化分析方法。？頂層數(shù)據(jù)流圖（或稱環(huán)境圖）僅包括一個(gè)數(shù)據(jù)處理過(guò)程，也就是要開(kāi)發(fā)的目標(biāo)系統(tǒng)。其作用如下：(1) 確定系統(tǒng)在其環(huán)境中的位置，與系統(tǒng)有聯(lián)系的外部實(shí)體（包括硬件、軟件、組織機(jī)構(gòu)及人）有哪些。(2) 通過(guò)確定系統(tǒng)的輸入和輸出與外部實(shí)體的關(guān)系確定系統(tǒng)的邊界，也就是要確定哪些功能或處理屬于系統(tǒng)范圍之內(nèi)，哪些屬于系統(tǒng)范圍之外，需要由其他系統(tǒng)處理或人工處理。 在對(duì)數(shù)據(jù)流圖進(jìn)行分解時(shí)需要注意哪些問(wèn)題？在對(duì)數(shù)據(jù)流圖進(jìn)行分解時(shí)，需要注意以下兩個(gè)問(wèn)題：(1) 當(dāng)對(duì)數(shù)據(jù)流圖分層細(xì)化時(shí)必須保持信息連續(xù)性，也就是說(shuō)，當(dāng)把一個(gè)處理分解為一系列處理時(shí)，分解前和分解后的輸入/輸出數(shù)據(jù)流必須相同。(2) 注意分層細(xì)化時(shí)對(duì)編號(hào)的處理方法。 銀行存款業(yè)務(wù)如下：客戶到銀行柜臺(tái)存款時(shí)，首先填寫(xiě)存款單（包括帳號(hào)、姓名、存款金額、存款類型），如果還沒(méi)有開(kāi)戶，則需要先開(kāi)戶，填寫(xiě)開(kāi)戶單（包括姓名、身份證號(hào)、地址、電話、是否留密碼）。填寫(xiě)完存款單或開(kāi)戶單后，交給營(yíng)業(yè)員，營(yíng)業(yè)員將存款單或開(kāi)戶單信息輸入計(jì)算機(jī)，系統(tǒng)記錄開(kāi)戶信息或存款單信息，如果是開(kāi)戶并選擇留密碼，則需要客戶輸入密碼。最后印出開(kāi)戶單或存款單給用戶。請(qǐng)畫(huà)出銀行存款業(yè)務(wù)的分層數(shù)據(jù)流圖（至少畫(huà)出兩層）。(1) 識(shí)別外部實(shí)體及輸入輸出數(shù)據(jù)流 外部實(shí)體：儲(chǔ)戶、業(yè)務(wù)員。輸入數(shù)據(jù)流：存款單，開(kāi)戶單，密碼。可以將存款單和開(kāi)戶單抽象為事務(wù)。輸出數(shù)據(jù)流：存款單，開(kāi)戶單。(2) 頂層數(shù)據(jù)流圖(3) 一層數(shù)據(jù)流圖對(duì)銀行儲(chǔ)蓄系統(tǒng)進(jìn)行分解，從大的方面分解為接收事務(wù)、處理開(kāi)戶、處理存款三部分，得到一層數(shù)據(jù)流圖。 (4) 二層數(shù)據(jù)流圖對(duì) “處理存款”及“處理開(kāi)戶”進(jìn)行進(jìn)一步分解，得到二層數(shù)據(jù)流圖，即處理存款的數(shù)據(jù)流圖和處理開(kāi)戶的數(shù)據(jù)流圖。 處理存款的數(shù)據(jù)流圖處理開(kāi)戶的數(shù)據(jù)流圖 按照以下描述，畫(huà)出ER圖。一本教材由許多章組成，每一章包含許多節(jié)、小結(jié)和習(xí)題組成，章和節(jié)都具有標(biāo)題和序號(hào)屬性。ER圖如下：教材章節(jié)小結(jié)習(xí)題序號(hào)標(biāo)題序號(hào)標(biāo)題 4 結(jié)構(gòu)化設(shè)計(jì)方法 當(dāng)你“編寫(xiě)”程序時(shí)你設(shè)計(jì)軟件嗎？軟件設(shè)計(jì)和編碼有什么不同嗎？在“編寫(xiě)”程序時(shí)并沒(méi)有設(shè)計(jì)軟件。軟件設(shè)計(jì)包括概要設(shè)計(jì)和詳細(xì)設(shè)計(jì)，編碼是將詳細(xì)設(shè)計(jì)中的過(guò)程描述轉(zhuǎn)換成用程序設(shè)計(jì)語(yǔ)言來(lái)描述。 是否存在一種情況：復(fù)雜問(wèn)題需要較少的工作去解決？這樣的情況對(duì)模塊化觀點(diǎn)有什么影響？通過(guò)對(duì)復(fù)雜的問(wèn)題進(jìn)行合理分解，分解為若干個(gè)相對(duì)簡(jiǎn)單及獨(dú)立的子問(wèn)題，就可以用較少的工作去解決。這種情況能夠較好地支持模塊化的觀點(diǎn)，每個(gè)子問(wèn)題用單獨(dú)的模塊去解決，模塊之間應(yīng)該是高內(nèi)聚、低耦合的，這樣才能減少工作量，否則，雖然每個(gè)模塊的工作簡(jiǎn)單了，但模塊之間的聯(lián)系很復(fù)雜，也增加了問(wèn)題解決的難度和工作量。 ，并使用改進(jìn)方法對(duì)模塊結(jié)構(gòu)進(jìn)行精化。(1) ，確定其邊界，如下圖所示。(2) 對(duì)上圖按事務(wù)型數(shù)據(jù)流進(jìn)行處理，完成第一級(jí)分解，得到頂層和一層模塊結(jié)構(gòu)圖。存款業(yè)務(wù)輸入數(shù)據(jù)調(diào)度輸出數(shù)據(jù)第一級(jí)分解后的結(jié)構(gòu)圖(3) 完成第二級(jí)分解。對(duì)上圖所示的“輸入數(shù)據(jù)”、“輸出數(shù)據(jù)”和“調(diào)度”模塊進(jìn)行分解，得到未經(jīng)精化的輸入結(jié)構(gòu)、輸出結(jié)構(gòu)和事務(wù)結(jié)構(gòu)。輸入數(shù)據(jù)輸入事務(wù)輸入密碼未經(jīng)精化的輸入結(jié)構(gòu)輸出數(shù)據(jù)打印存款單打印開(kāi)戶單 未經(jīng)精化的輸出結(jié)構(gòu)調(diào)度處理存款處理開(kāi)戶記錄存款信息記錄開(kāi)戶信息記錄密碼未經(jīng)精化的事務(wù)結(jié)構(gòu)將上面的三部分合在一起，得到初始的軟件結(jié)構(gòu)，如下圖所示。存款業(yè)務(wù)輸入數(shù)據(jù)調(diào)度輸出數(shù)據(jù)輸入事務(wù)輸入密碼打印存款單打印開(kāi)戶單處理存款處理開(kāi)戶記錄存款信息記錄開(kāi)戶信息記錄密碼初始軟件結(jié)構(gòu)圖(4) 對(duì)軟件結(jié)構(gòu)進(jìn)行精化。1) 由于調(diào)度模塊下只有兩種事務(wù)，因此，可以將調(diào)度模塊合并到上級(jí)模塊中，如圖所示。存款業(yè)務(wù)輸入數(shù)據(jù)輸出數(shù)據(jù)輸入事務(wù)輸入密碼打印存款單打印開(kāi)戶單處理存款處理開(kāi)戶記錄存款信息記錄開(kāi)戶信息記錄密碼將調(diào)度模塊合并到上級(jí)模塊后的軟件結(jié)構(gòu)2) “記錄密碼”模塊的作用范圍不在其控制范圍之內(nèi)（即“輸入密碼”模塊不在“記錄密碼”模塊的控制范圍之內(nèi)），需對(duì)其進(jìn)行調(diào)整，如圖所示。存款業(yè)務(wù)輸入事務(wù)輸出數(shù)據(jù)輸入密碼打印存款單打印開(kāi)戶單處理存款處理開(kāi)戶記錄存款信息記錄開(kāi)戶信息記錄密碼 3) 提高模塊獨(dú)立性，對(duì)模塊結(jié)構(gòu)進(jìn)行調(diào)整，如下圖所示。存款業(yè)務(wù)輸入事務(wù)輸入密碼打印存款單打印開(kāi)戶單處理存款處理開(kāi)戶記錄存款信息記錄開(kāi)戶信息記錄密碼調(diào)整后的模塊結(jié)構(gòu)圖 將大的軟件劃分成模塊有什么好處？是不是模塊劃分得越小越好？劃分模塊的依據(jù)是什么？將大的軟件劃分成獨(dú)立命名且可獨(dú)立訪問(wèn)的模塊，不同的模塊通常具有不同的功能或職責(zé)。這種方法有利于將復(fù)雜的問(wèn)題簡(jiǎn)單化，是分而治之策略的具體表現(xiàn)。盡管模塊分解可以簡(jiǎn)化要解決的問(wèn)題，但模塊分解并不是越小越好。當(dāng)模塊數(shù)目增加時(shí)，每個(gè)模塊的規(guī)模將減小，開(kāi)發(fā)單個(gè)模塊的成本確實(shí)減少了；但是，隨著模塊數(shù)目增加，模塊之間關(guān)系的復(fù)雜程度也會(huì)增加，設(shè)計(jì)模塊間接口所需要的工作量也將增加。 劃分模塊的依據(jù)是，模塊只具有單一的功能且與其他模塊沒(méi)有太多的聯(lián)系。 結(jié)構(gòu)化程序設(shè)計(jì)禁止使用goto語(yǔ)句嗎？如果程序中使用了goto語(yǔ)句，是否就可以斷定它是非結(jié)構(gòu)化的？ 結(jié)構(gòu)化程序設(shè)計(jì)并不禁止使用goto語(yǔ)句。如果程序中使用了goto語(yǔ)句，并不能斷定它是非結(jié)構(gòu)化的。 對(duì)于給定的算法，如何判斷它是否是結(jié)構(gòu)化的？ 對(duì)于給定的算法，如果符合以下三條原則，就可以判斷它是結(jié)構(gòu)化的。 (1) 使用語(yǔ)言中的順序、選擇、重復(fù)等有限的基本控制結(jié)構(gòu)表示程序邏輯。 (2) 選用的控制結(jié)構(gòu)只準(zhǔn)許有一個(gè)入口和一個(gè)出口。 (3) 程序語(yǔ)句組成容易識(shí)別的塊（Block），每塊只有一個(gè)入口和一個(gè)出口。 對(duì)于圖449所示的流程圖，試分別用NS圖和PAD表示之。 FSTARTABQENDTFTP 圖449 流程圖對(duì)應(yīng)的NS圖如下： 對(duì)應(yīng)的PAD如下：while PAuntil !QBwhile PABuntil !Q 圖450所示的流程圖完成的功能是使用二分查找方法在table數(shù)組中找出值為item的數(shù)是否存在。(1) 判斷此算法是否是結(jié)構(gòu)化的，說(shuō)明理由。(2) 若算法是非結(jié)構(gòu)化的，設(shè)計(jì)一個(gè)等價(jià)的結(jié)構(gòu)化算法，并用NS圖表示。FFFTFFtable(i)item(finishstart)1table(start)=itemtable(finish)=itemflag=0flag=1i＝(start＋finish)/2table(i)=itemtable(I)itemfinish=i1start=i+1T