【正文】 性 （ 5）限定每一層的副作用，減少耦合度 （ 6）盡可能地復(fù)用 編 碼 編碼風(fēng)格包括以下三個方面： ? 代碼文件 ? 數(shù)據(jù)說明 ? 語句結(jié)構(gòu) 編 碼 代碼文件 ? 恰當?shù)臉俗R符 ? 適當?shù)淖⒔? 序言性注解 功能性注解 ? 良好的程序視覺組織 編 碼 數(shù)據(jù)說明的簡單原則： ? 數(shù)據(jù)說明的次序應(yīng)該標準化； ? 當多個變量同時被說明時，應(yīng)當按字母順序排列這些變量； ? 若設(shè)計時使用了一個復(fù)雜的數(shù)據(jù)結(jié)構(gòu)，則應(yīng)該用注解說明用程序設(shè)計語言實現(xiàn)它的特點和方法。 ? Fagan檢查旨在發(fā)現(xiàn)錯誤，而不是改正錯誤；強調(diào)對錯誤進行分類和統(tǒng)計，從而發(fā)現(xiàn)共同 的錯誤類型和將來避免這類錯誤的方法。 ? 驅(qū)動模塊：是一個“主程序”。 ? 第 n測試階段的預(yù)期結(jié)果 4. 實際測試結(jié)果 5. 參考資料 6. 附錄 測 試 有效性測試（驗證軟件系統(tǒng)的有效性） ? 軟件有效性：當軟件的功能和性能如同用戶合理期待的那樣，則軟件是有效的。 測 試 組裝測試方法比較 ? 自頂向下組裝法：不需要驅(qū)動模塊；能夠在測試階段早期驗證系統(tǒng)的主要功能，早期發(fā)現(xiàn)接口錯誤；需要較多的承接模塊，可能遇到與之相聯(lián)系的測試困難；低層關(guān)鍵模塊中的錯誤發(fā)現(xiàn)較晚。 ? 由于測試范圍有限，測試不會太復(fù)雜，所能發(fā)現(xiàn)的 錯誤也是有限的。 ? 審閱的中心問題是發(fā)現(xiàn)錯誤而不是糾正錯誤，在結(jié)構(gòu)化走通的審閱后，由文檔的產(chǎn)生者負責記錄在案的錯誤糾正。 ? 技術(shù)性能觀點 （ 1）復(fù)雜數(shù)據(jù)結(jié)構(gòu) （ 2）實時系統(tǒng) （ 3）特殊應(yīng)用領(lǐng)域 編 碼 程序設(shè)計語言的分類 （按語言抽象級別分類） ? 低級語言：機器語言，匯編語言 ? 高級語言：與機器無關(guān)，實現(xiàn)性語言 ? 甚高級語言：高抽象級，有用以描述功能的成分 編 碼 程序設(shè)計語言的分類 （按應(yīng)用領(lǐng)域分類） ? 通用語言 ? 專用語言 編 碼 程序設(shè)計語言的分類 （按語言成分性質(zhì)分類） ? 順序語言：只含順序成分 ? 并發(fā)語言：含有并發(fā)成分 ? 分布式語言：考慮了分布式計算要求 ? 網(wǎng)絡(luò)語言：考慮了網(wǎng)絡(luò)計算要求 編 碼 程序設(shè)計語言的分類 （按作用方式分類） ? 命令式語言：不論其描述“做什么”還是“怎樣做”，相應(yīng)描述的組成部分是命令式的，先做什么、后做什么都規(guī)定好了明確的次序。 詳細設(shè)計 軟件設(shè)計說明書 2. 參考文檔 （ 1）現(xiàn)有的軟件文檔； （ 2）系統(tǒng)文檔； （ 3）外購產(chǎn)品文檔（硬件或軟件）； （ 4）技術(shù)參考資料。 詳細設(shè)計 詳細設(shè)計工具 ? 對軟件開發(fā)人員來說，提高軟件開發(fā)效率 ? 對軟件測試和維護人員來說，提供擺脫繁瑣的程序代碼，了解模塊程序結(jié)構(gòu)的途徑 詳細設(shè)計 詳細設(shè)計工具： ? 圖形工具 將過程細節(jié)用圖來表示，在圖中，邏輯結(jié)構(gòu)用具體的圖形表示 ? 列表工具 利用表來表示過程細節(jié)，表列出了各種操作和相應(yīng)的條件 ? 語言工具 用類語言（偽碼）表示過程的細節(jié)，很接近編程語言 詳細設(shè)計 圖形工具： ? 流程圖 ? 方塊圖 ? PAD圖 詳細設(shè)計 流程圖 ? 方框表示處理步 ? 菱形表示邏輯判斷 ? 箭頭表示控制流 注意：用流程圖表示過程細節(jié)時，要注意不要亂用箭頭，否則會使結(jié)構(gòu)不清晰 詳細設(shè)計 S1 C4 C5 C3 C2 C1 S2 S3 S4 S5 N Y N Y N N N Y Y Y 詳細設(shè)計 流程圖的主要缺點： ? 流程圖本質(zhì)上不是逐步求精的好工具，它誘使程序員過早地考慮程序的控制流程，而不去考慮程序的全局結(jié)構(gòu)。 A end A iter do B。 概要設(shè)計 Cm Ct Ca Ce 概要設(shè)計 變換型分析 ? 第 6步 完成“第二級分解”。 ? 力爭降低模塊接口的復(fù)雜程度 模塊接口的復(fù)雜性是引起軟件錯誤的一個主要原因。 概要設(shè)計 模塊化： ? 軟件被劃分成獨立命名和可獨立訪問的被稱作模塊的構(gòu)件，每個模塊完成一個子功能，它們集成到一起滿足問題需求。 ? 數(shù)據(jù)結(jié)構(gòu)決定信息的組織、存取方法、結(jié)合性程度以及不同的處理方案。 ? 復(fù)審 由軟件開發(fā)人員和用戶共同對需求說明書進行嚴格的審查。 ? 確定了需求分析的絕對重要性，但是在實踐中要想獲得完善的需求說明是非常困難的；反饋信息慢。 ? 文件 為了便于了解程序所需的資料說明。 問題定義 問題定義的關(guān)鍵任務(wù)是確切地定義用戶要求解決的問題，也就是確定問題的性質(zhì)、工程的目標和規(guī)模。 ? 表示加工，代表接收輸入，經(jīng)過變換，繼而產(chǎn)生輸出的處理過程。在該圖的最低一層，每個框包含單獨的數(shù)據(jù)實體。 概要設(shè)計 模塊獨立程度的衡量標準： ? 耦合性：對一個軟件結(jié)構(gòu)內(nèi)不同模塊間互連程度的度量。 ? 面向數(shù)據(jù)的設(shè)計方法 面向數(shù)據(jù)流的設(shè)計 面向數(shù)據(jù)結(jié)構(gòu)的設(shè)計 ? 面向?qū)ο蟮脑O(shè)計方法 概要設(shè)計 面向數(shù)據(jù)流的設(shè)計： ? 面向數(shù)據(jù)流的設(shè)計方法把信息流映射成軟件結(jié)構(gòu) ? 信息流的類型決定了映射的方法 ? 信息流有兩種類型： 變換流 事務(wù)流 概要設(shè)計 變換流： ? 信息沿輸入通路進入系統(tǒng)，同時由外部形式變換成內(nèi)部形式。 ? 第 3步 確定數(shù)據(jù)流圖具有變換特性還是事務(wù)特性。 概要設(shè)計 建立程序結(jié)構(gòu) 例 1：設(shè)計一個打印表格的程序。 詳細設(shè)計 第一個任務(wù) 第二個任務(wù) 第三個任務(wù) 條件 F T ELSE 部分 THEN 部分 CASE條件 值 1 值 2 …... 值 n CASE1 部分 A 循環(huán)條件 Do While 部分 Do Until 部分 循環(huán)條件 調(diào)用子程序 A 循環(huán) 順序 IFTHENELSE分支 CASE分支 詳細設(shè)計 C1 C4 C5 N Y S1 S4 S2 S3 S5 N N Y Y C2 C3 詳細設(shè)計 PAD圖（ Problem Analysis Diagram） P1 P2 P2 P1 Pn P2 P1 . . . X= L1 L2 Ln C 順序 選擇 CASE型選擇 詳細設(shè)計 WHILE C UNTIL C P P 循環(huán) 語句標號 定義 def 詳細設(shè)計 P1 P3 P2 P5 P4 P2 P6 P10 P8 UNTIL C3 P7 UNTIL C2 P9 def C C1 詳細設(shè)計 WHILE C1 UNTIL C4 S5 S3 S1 S2 S4 C2 C3 C5 詳細設(shè)計 PAD圖的特點： ? 使用表示結(jié)構(gòu)化控制結(jié)構(gòu)的 PAD符號所設(shè)計出的程序必然是結(jié)構(gòu)化程序。 詳細設(shè)計 非正規(guī)的復(fù)審 所謂非正規(guī)的復(fù)審指的是從臨時通知的碰頭會到有關(guān)同事參加的比較有組織的復(fù)審這整個范圍而言的，一般由通知到開會的時間間隔只有二至三天。 編 碼 語句結(jié)構(gòu)要保持盡可能的簡單，應(yīng)遵循以下原則： ? 程序要清晰直觀，不要過于巧妙； ? 用一定的原則指導(dǎo)控制結(jié)構(gòu)的使用； （ 1）不用空 THEN語句； （ 2）避免 THENIF結(jié)構(gòu)形式； （ 3）不要嵌套太深； （ 4）避免不必要的轉(zhuǎn)移； （ 5）有原則地使用 GOTO； （ 6）采用標準的結(jié)構(gòu)形式彌補語言的不足。簡言之， Fagan檢查強調(diào)對開發(fā)過程的反饋和從錯誤中吸取教訓(xùn)。接收測試數(shù)據(jù)，把這些數(shù)據(jù)傳送給被測模塊，并且打印結(jié)果。 ? 問題：怎樣算是合理的期望（需求說明）；誰是公斷人（測試人員）。 測 試 自底向上組裝測試過程 （ 1）把低層模塊組合起來形成某個特定的軟件子功能簇； （ 2）編寫一個驅(qū)動模塊以安排測試數(shù)據(jù)的輸入輸出； （ 3）對簇進行測試； （ 4）拆去各個小簇的驅(qū)動模塊，把幾個小簇合并成大簇，重復(fù)（ 2）（ 3）（ 4）。 ? 根據(jù)詳細設(shè)計的說明，應(yīng)測試重要的控制路徑，力求在模塊范圍內(nèi)發(fā)現(xiàn)錯誤。 ? 它以該文檔的產(chǎn)生者為中心，由產(chǎn)生者向參加審閱的其他人員報告其文檔，所發(fā)現(xiàn)的錯誤或懷疑是錯誤的問題則由召集人記錄在案。 編 碼 程序設(shè)計語言性能的討論 ? 工程觀點 （ 1）使設(shè)計易于代碼翻譯； （ 2）編譯程序的功效； （ 3）源代碼的可移植性； （ 4）開發(fā)工具的可利用性； （ 5）源代碼的可維護性。 詳細設(shè)計 設(shè)計工具應(yīng)具有的屬性： 模塊性、簡明性、便于編輯、機器可讀性、 易維護性、強行結(jié)構(gòu)化、自動處理、 數(shù)據(jù)表示、邏輯驗證、編程能力 詳細設(shè)計 軟件設(shè)計說明書 1. 范圍 （ 1）系統(tǒng)的目標和作為系統(tǒng)元素的軟件的作用； （ 2）硬件、軟件與人機接口； （ 3）主要的軟件功能； （ 4）外部定義的數(shù)據(jù)庫； （ 5）主要的設(shè)計約束與限制。 詳細設(shè)計 ? 詳細設(shè)計是給出軟件結(jié)構(gòu)中各模塊的內(nèi)部過程描述 ? 模塊的內(nèi)部過程描述也就是模塊內(nèi)部的算法設(shè)計 ? 詳細設(shè)計也既是要導(dǎo)出一種算法設(shè)計表示，由此可以直接而簡單地導(dǎo)出程序代碼 詳細設(shè)計 詳細設(shè)計的邏輯基礎(chǔ)： ? 使用結(jié)構(gòu)化構(gòu)造（即用順序、選擇和重復(fù)三種程序結(jié)構(gòu)）表示程序過程，降低程序的復(fù)雜性，從而提高可靠性、易測試性和易維護性。 do D。 對于變換流，數(shù)據(jù)圖將被映射成一個特殊的軟件結(jié)構(gòu)，這個結(jié)構(gòu)控制輸入、變換和輸出信息等處理過程：位于軟件結(jié)構(gòu)最頂層的控制模塊 Cm協(xié)調(diào)下述從屬的控制功能： （ 1）輸入信息處理控制模塊 Ca，協(xié)調(diào)對所有輸入數(shù)據(jù)的接收； （ 2）變換中心控制模塊 Ct，管理對內(nèi)部形式的數(shù)據(jù)的所有操作； （ 3）輸出信息控制模塊 Ce，協(xié)調(diào)輸出信息的產(chǎn)生過程。 概要設(shè)計 概要設(shè)計的啟發(fā)式準則： ? 模塊的作用范圍保持在該模塊的控制范圍內(nèi) 模塊的作用范圍是指該模塊中一個判斷所影響的所有其它模塊；模塊的控制范圍指該模塊本身以及所有直接或間接從屬于它的模塊。 概要設(shè)計 模塊： ? 模塊是數(shù)據(jù)說明、可執(zhí)行語句等程序?qū)ο蟮募?，是單獨命名的并且可以通過名字來訪問，例如過程、函數(shù)、子程序、宏、 modula等。 需求分析 信息結(jié)構(gòu) ? 信息結(jié)構(gòu)是各個數(shù)據(jù)成分之間邏輯關(guān)系的一種表示方法。為了證實軟件能否被成功實現(xiàn)就要規(guī)定相應(yīng)的檢驗標準，這些標準在軟件開發(fā)期間將作為測試的依據(jù)。 基本概念 瀑布式模型的特點： ? 結(jié)構(gòu)簡單明了；歷史較長、應(yīng)用面廣泛、為廣大軟件工作者所熟悉；已有與之配套的一組十分成熟的開發(fā)方法和豐富的支撐工具。 基本概念 軟件的作用 ? 用戶與硬件的接口 ? 計算機系統(tǒng)的指揮者 ? 計算機系統(tǒng)結(jié)構(gòu)設(shè)計的重要依據(jù) 基本概念 軟件的發(fā)展過程 ? 第一階段：從第一臺計算機上的第一個程序的出現(xiàn)到實用的高級程序設(shè)計語言出現(xiàn)之前（ 19461956）； ? 第二階段：從實用的高級程序設(shè)計語言出現(xiàn)到軟件工程出現(xiàn)之前（ 19561968）； ? 第三階段：軟件工程（ 1968 ）。 ? 可行性研究 ? 對軟件進行分析與估算 ? 確定軟件作用范圍 問題定義 可行性研究： ? 經(jīng)濟可行性 ? 技術(shù)可行性 ? 法律可行性 ? 不同的方案 問題定義 對軟件進行分析與估算： ? 確定軟件的范圍 ? 估算完成軟件開發(fā)任務(wù)所需的資源 ? 估算軟件的成本