【正文】 tion task。 ? 抽象層次 Ⅲ . 程序過程表示。 rectangle： rectangle drawing task?？蓪rawing規(guī)定為一個抽象數(shù)據(jù)類型，定義它的內(nèi)部細節(jié)為 : TYPE drawing IS STRUCTURE DEFIND number IS STRING LENGTH(12)。 或 schematic IS INSTANCE OF drawing。它一般具有如下三個基本屬性 : ?功能 ：描述該模塊實現(xiàn)什么功能 ?邏輯 ：描述模塊內(nèi)部怎么做 ?狀態(tài) ：該模塊使用時的環(huán)境和條件 ? 在描述一個模塊時，還必須按模塊的 外部特性 與 內(nèi)部特性 分別描述 ? 模塊的 外部特性 ? 模塊的模塊名、參數(shù)表、其中的輸入?yún)?shù)和輸出參數(shù)，以及給程序以至整個系統(tǒng)造成的影響 ? 模塊的 內(nèi)部特性 ? 完成其功能的程序代碼和僅供該模塊內(nèi)部使用的數(shù)據(jù) ? 模塊獨立性 ? 模塊獨立性 , 是指軟件系統(tǒng)中每個模塊只涉及軟件要求的具體的子功能 , 而和軟件系統(tǒng)中其它的模塊的接口是簡單的 ? 例如 , 若一個模塊只具有單一的功能且與其它模塊沒有太多的聯(lián)系 , 則稱此模塊具有模塊獨立性 ? 一般采用兩個準則度量模塊獨立性。 模塊間的耦合 非直接耦合 (Nondirect Coupling) 兩個模塊之間沒有直接關(guān)系，它們之 間的聯(lián)系完全是通過主模塊的控制和 調(diào)用來實現(xiàn)的。這個記錄是某一數(shù)據(jù)結(jié)構(gòu)的子結(jié)構(gòu)，而不是簡單變量。公共的數(shù)據(jù)環(huán)境可以是全局數(shù)據(jù)結(jié)構(gòu)、共享的通信區(qū)、內(nèi)存的公共覆蓋區(qū)等。 內(nèi)容耦合 (Content Coupling) 如果發(fā)生下列情形，兩個模塊之間就發(fā)生了內(nèi)容耦合 (1) 一個模塊直接訪問另一個模塊的內(nèi)部數(shù)據(jù) 。 c 模塊內(nèi)聚 功能內(nèi)聚 (Functional Cohesion) 一個模塊中各個部分都是 完成某一具體功能 必不可少的組成部分，或者說該模塊中所有部分都是為了完成一項具體功能而協(xié)同工作，緊密聯(lián)系，不可分割的。由于這個模塊的所有功能都是基于同一個數(shù)據(jù)結(jié)構(gòu)（符號表），因此，它是一個信息內(nèi)聚的模塊。通常，通信內(nèi)聚模塊是通過數(shù)據(jù)流圖來定義的。這種模塊大多為多功能模塊，但模塊的各個功能的執(zhí)行與時間有關(guān)，通常要求所有功能必須在同一時間段內(nèi)執(zhí)行。當模塊內(nèi)各部分之間沒有聯(lián)系，或者即使有聯(lián)系，這種聯(lián) 系也很松散， 則稱這種模 塊為巧合內(nèi) 聚模塊，它 是內(nèi)聚程度 最低的模塊。數(shù)據(jù)處理問題典型的類型有兩種：變換型 和 事務(wù)型 。 ? 修改和補充數(shù)據(jù)詞典。 ? 傳出模塊 ─ 從上級模塊獲得數(shù)據(jù)，進行某些處理，再將其傳送給下屬模塊。 ? 協(xié)調(diào)模塊 ─ 對所有下屬模塊進行協(xié)調(diào)和管理的模塊。 ? 在事務(wù)型系統(tǒng)結(jié)構(gòu)圖中，事務(wù)中心模塊按所接受的事務(wù)的類型，選擇某一事務(wù)處理模塊執(zhí)行。 ① 在選擇模塊設(shè)計的 次序 時，必須對一個模塊的 全部直接下屬模塊 都設(shè)計完成 之后，才 能轉(zhuǎn)向另 一個模塊 的下層模 塊的設(shè)計。這樣，又會導(dǎo)致更多的“黑箱”。 ⑤ 如果出現(xiàn)了以下情況，就停止模塊的功能分解： ?當模塊不能再細分為明顯的子任務(wù)時； ?當分解成用戶提供的模塊或程序庫的子程序時； ?當模塊的界面是輸入／輸出設(shè)備傳送的信息時； ?當模塊不宜再分解得過小時。 事務(wù)分析過程 ① 識別事務(wù)源 利用數(shù)據(jù)流圖和數(shù)據(jù)詞典，從問題定義和需求分析的結(jié)果中，找出各種需要處理的事務(wù)。 ③ 識別各種事務(wù)和它們定義的操作。 ⑥ 對事務(wù)處理模塊規(guī)定它們?nèi)康南聦硬僮髂K ⑦ 對操作模塊規(guī)定它們的全部細節(jié)模塊 變換分析是軟件系統(tǒng)結(jié)構(gòu)設(shè)計的主要方法。當模塊不能完成規(guī)定的功能時，必須回送出錯標志，出現(xiàn)例外情況的原因。 ② 局部相似 ：找出其相同部分，分離出去，重新定義成一個獨立的下一層模塊。 ? 如果一個判定的作用范圍包含在這個判定所在模塊的控制范圍之內(nèi)，則這種結(jié)構(gòu)是簡單的，否則，它的結(jié)構(gòu)是不簡單的。 ? 避免或減少使用病態(tài)聯(lián)接 應(yīng)限制使用如下三種病態(tài)聯(lián)接： ① 直接病態(tài)聯(lián)接 即模塊 A直接從模塊 B內(nèi)部取出某些數(shù)據(jù)，或者把某些數(shù)據(jù)直接送到模塊 B內(nèi)部。 ③ 通信模塊聯(lián)接 即模塊 A和模塊 B通過通信模塊 TABLEIT傳送數(shù)據(jù)。 ? 模塊的大小要適中 模塊的大小，可以用模塊中所含語句的數(shù)量的多少來衡量。但是，如果模塊內(nèi)部蘊藏有一些特殊的鮮為人知的功能時，這個模塊就可能是不可預(yù)測的。而與外界的接口應(yīng)當是靈活的。 設(shè)計的后處理 ? 為每一個模塊寫一份處理說明 ? 為每一個模塊提供一份接口說明 ? 確定全局數(shù)據(jù)結(jié)構(gòu)和局部數(shù)據(jù)結(jié)構(gòu) ? 指出所有的設(shè)計約束和限制 ? 進行概要設(shè)計的評審 ? 進行設(shè)計的優(yōu)化 (如果需要和可能的話 ) 數(shù)據(jù)設(shè)計及文件設(shè)計 ? 數(shù)據(jù)設(shè)計的原則 ? 文件設(shè)計 數(shù)據(jù)設(shè)計的原則 ? ? 為在需求分析階段所確定的數(shù)據(jù)對象選擇邏輯表示，需要對不同結(jié)構(gòu)進行算法分析，以便選擇一個最有效的結(jié)構(gòu)；設(shè)計對于這種邏輯數(shù)據(jù)結(jié)構(gòu)的一組操作，以實現(xiàn)各種所期望的運算。 據(jù) 。 設(shè)計有效的數(shù)據(jù)結(jié)構(gòu)，必須考慮到要對該數(shù)據(jù)結(jié)構(gòu)進行的各種操作。 在進行需求分析時確定的總體數(shù)據(jù)組織，應(yīng)在概要設(shè)計階段加以細化，在詳細設(shè)計階段才規(guī)定具體的細節(jié)。 數(shù)據(jù)結(jié)構(gòu)應(yīng)當設(shè)計成為可復(fù)用的。 “清晰的信息定義是軟件開發(fā)成功的關(guān)鍵” 。它們都可以存放在文件中，在需要時對它們進行訪問。分析數(shù)據(jù)元素的內(nèi)容，研究數(shù)據(jù)元素與數(shù)據(jù)元素之間的邏輯關(guān)系，根據(jù)分析，弄清數(shù)據(jù)元素的含義及其屬性。 K : 漢字 。 順序文件 ： 連續(xù)文件 串聯(lián)文件。 它由若干稱為成員的順序組織 的記錄組和索引組成。 (7)確定文件的記錄格式 。 ? 數(shù)據(jù)項的屬性： 屬性相同的數(shù)據(jù)項，應(yīng)盡量歸納在一起配置；數(shù)據(jù)項應(yīng)按雙字長，全字長，半字長和字節(jié)的屬性，順序配置。 過程設(shè)計 ? 從軟件開發(fā)的工程化觀點來看，在使用程序設(shè)計語言編制程序以前，需要對所采用算法的邏輯關(guān)系進行分析，設(shè)計出全部必要的過程細節(jié)，并給予清晰的表達。五種基本控制結(jié)構(gòu)由五種圖形構(gòu)件表示。 ? 將特定條件取值組合與特定的處理相匹配，消去不可能發(fā)生的條件取值組合。它是一種偽碼。能對 PDL正文進行結(jié)構(gòu)分割，使之變得易于理解。內(nèi)語法比較靈活，只要寫清楚就可以，不必考慮語法錯，以利于人們可把主要精力放在描述算法的