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