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