【正文】 能； （ 4）外部定義的數(shù)據(jù)庫； （ 5）主要的設計約束與限制。 編 碼 程序設計語言的性能和程序的編碼風格，在很大程度上影響著軟件的質(zhì)量和維護性能。 編 碼 程序設計語言性能的討論 ? 工程觀點 （ 1）使設計易于代碼翻譯； （ 2）編譯程序的功效； （ 3）源代碼的可移植性； （ 4）開發(fā)工具的可利用性； （ 5）源代碼的可維護性。 編 碼 程序設計支撐環(huán)境 現(xiàn)在編程過程大多在一組 CASE工具的支持下進行，這組工具輔助完成編輯、編譯、調(diào)試、項目管理等一系列任務，這組工具有機集成在一起形成程序設計支撐環(huán)境。 ? 它以該文檔的產(chǎn)生者為中心，由產(chǎn)生者向參加審閱的其他人員報告其文檔，所發(fā)現(xiàn)的錯誤或懷疑是錯誤的問題則由召集人記錄在案。 ? 設計文檔的靜態(tài)測試 對設計文檔的靜態(tài)測試著重于分析設計是否與需求定義一致。 ? 根據(jù)詳細設計的說明，應測試重要的控制路徑，力求在模塊范圍內(nèi)發(fā)現(xiàn)錯誤。 ? 驅(qū)動模塊和承接模塊是一種額外的開銷，也就是說，它們都是必須編寫的軟件，但卻不作為最終的軟件產(chǎn)品提供給用戶。 測 試 自底向上組裝測試過程 （ 1）把低層模塊組合起來形成某個特定的軟件子功能簇； （ 2）編寫一個驅(qū)動模塊以安排測試數(shù)據(jù)的輸入輸出； （ 3）對簇進行測試； （ 4）拆去各個小簇的驅(qū)動模塊，把幾個小簇合并成大簇，重復（ 2）（ 3）（ 4）。 ? 標準：全部的功能要求都得到滿足；全部的性能要求都達到了；文檔是正確的并且便于使用；其它要求也達到了（包括易維護性、易移植性、兼容性、出錯自動恢復等）。 ? 問題：怎樣算是合理的期望（需求說明）；誰是公斷人（測試人員）。正是因為是從最低層進行組裝，在逐步處理以上層次的模塊時所需要的子模塊總是可以得到的，所以不再需要承接模塊了。接收測試數(shù)據(jù)，把這些數(shù)據(jù)傳送給被測模塊，并且打印結(jié)果。 測 試 功能測試（黑箱測試）： ? 功能測試根據(jù)軟件所需的功能和所實現(xiàn)的功能選擇測試數(shù)據(jù)，分析測試的充分性 測 試 窮盡功能測試 例：一個程序需 3個整型的輸入數(shù)據(jù)，若計算機的字長為 16位，則每個數(shù)據(jù)可能取的值有 216個， 3個數(shù)的排練組合共有 216 ? 216 ? 216 = 248 ? 3 ? 1014 （種） 若每執(zhí)行一次需 1毫秒，則需 1萬年。簡言之， Fagan檢查強調(diào)對開發(fā)過程的反饋和從錯誤中吸取教訓。 ? 輸出信息 測試結(jié)果 可靠性預測：可能可靠（軟件可靠性是可以接受的） 所進行的測試尚不足以發(fā)現(xiàn)嚴重錯誤 不可靠 測 試 測試方法 ? 靜態(tài)測試 ? 動態(tài)測試 測 試 靜態(tài)測試 ? 靜態(tài)測試的基本特性是在對軟件進行分析、檢查和測試時不實際運行被測試的程序； ? 靜態(tài)測試可以用于對各種軟件文檔進行測試，是軟件開發(fā)中十分有效的質(zhì)量控制方法之一； ? 在軟件開發(fā)過程的早期階段，由于可運行的代碼尚未產(chǎn)生，不可能進行動態(tài)測試，而這些階段的中間產(chǎn)品的質(zhì)量直接關系到軟件開發(fā)的成敗與開銷的大小，因此在這些階段靜態(tài)測試的作用尤為重要。 編 碼 語句結(jié)構(gòu)要保持盡可能的簡單，應遵循以下原則： ? 程序要清晰直觀，不要過于巧妙； ? 用一定的原則指導控制結(jié)構(gòu)的使用； （ 1）不用空 THEN語句； （ 2）避免 THENIF結(jié)構(gòu)形式； （ 3）不要嵌套太深； （ 4）避免不必要的轉(zhuǎn)移； （ 5）有原則地使用 GOTO； （ 6）采用標準的結(jié)構(gòu)形式彌補語言的不足。順序記憶能從回憶序列中找出一個元素。 詳細設計 非正規(guī)的復審 所謂非正規(guī)的復審指的是從臨時通知的碰頭會到有關同事參加的比較有組織的復審這整個范圍而言的，一般由通知到開會的時間間隔只有二至三天。 ? 一般說來 PDL是一種 “混合”語言，它使用一種語言（通常是某種自然語言）的詞匯，同時卻使用另一種語言（某種結(jié)構(gòu)化的程序設計語言）的語法。 詳細設計 第一個任務 第二個任務 第三個任務 條件 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分支 詳細設計 C1 C4 C5 N Y S1 S4 S2 S3 S5 N N Y Y C2 C3 詳細設計 PAD圖（ Problem Analysis Diagram） P1 P2 P2 P1 Pn P2 P1 . . . X= L1 L2 Ln C 順序 選擇 CASE型選擇 詳細設計 WHILE C UNTIL C P P 循環(huán) 語句標號 定義 def 詳細設計 P1 P3 P2 P5 P4 P2 P6 P10 P8 UNTIL C3 P7 UNTIL C2 P9 def C C1 詳細設計 WHILE C1 UNTIL C4 S5 S3 S1 S2 S4 C2 C3 C5 詳細設計 PAD圖的特點： ? 使用表示結(jié)構(gòu)化控制結(jié)構(gòu)的 PAD符號所設計出的程序必然是結(jié)構(gòu)化程序。 概要設計 例：輸入一個文件 FIPT，此文件只包含三種記錄類型 T T2和 T3，現(xiàn)在要對該文件作如下處理： （ 1）統(tǒng)計出現(xiàn)的第一個 T1類型的記錄前的記錄總數(shù)（計數(shù) A）； （ 2）顯示第一個 T1類型的記錄； （ 3）顯示最后一個記錄，最后一個記錄是在第一個 T1類型的記錄后的第一個 T2類型的記錄； （ 4）計算第一個 T1類型的記錄后的記錄批數(shù)（一批記錄指一串連續(xù)的 T1類型的記錄或一串連續(xù)的 T3類型的記錄（（計數(shù) B）； （ 5）統(tǒng)計在第一個 T1類型的記錄后出現(xiàn)的 T1類型記錄的總數(shù) （計數(shù) C）； （ 6）計算在第一個 T1類型的記錄后的 T3類型記錄的批數(shù)（計數(shù)D）。 概要設計 建立程序結(jié)構(gòu) 例 1：設計一個打印表格的程序。 概要設計 Jackson圖（數(shù)據(jù)結(jié)構(gòu)符號）： A A A C D B* C D B B 順序 重復 選擇 A seq do B。 ? 第 3步 確定數(shù)據(jù)流圖具有變換特性還是事務特性。 概要設計 變換型分析 ? 第 5步 完成“第一級分解”。 ? 面向數(shù)據(jù)的設計方法 面向數(shù)據(jù)流的設計 面向數(shù)據(jù)結(jié)構(gòu)的設計 ? 面向?qū)ο蟮脑O計方法 概要設計 面向數(shù)據(jù)流的設計： ? 面向數(shù)據(jù)流的設計方法把信息流映射成軟件結(jié)構(gòu) ? 信息流的類型決定了映射的方法 ? 信息流有兩種類型： 變換流 事務流 概要設計 變換流： ? 信息沿輸入通路進入系統(tǒng)，同時由外部形式變換成內(nèi)部形式。 ? 盡量減少高扇出結(jié)構(gòu)的數(shù)目，隨著深度的增加爭取更多的扇入 扇出過大意味著模塊過分復雜，需要控制和協(xié)調(diào)過多的下級模塊。 概要設計 模塊獨立程度的衡量標準： ? 耦合性：對一個軟件結(jié)構(gòu)內(nèi)不同模塊間互連程度的度量。 ? 扇入數(shù)：指有多少個模塊直接控制一個給定的模塊。在該圖的最低一層，每個框包含單獨的數(shù)據(jù)實體。對數(shù)據(jù)的這一系列嚴密一致的定義也有助于改進在不同的開發(fā)人員之間或者不同開發(fā)小組之間的通信。 ? 表示加工，代表接收輸入，經(jīng)過變換，繼而產(chǎn)生輸出的處理過程。 ? 評價與綜合 需求分析人員必須求得數(shù)據(jù)的流程和數(shù)據(jù)結(jié)構(gòu)，評價優(yōu)缺點；結(jié)合用戶要求，修改現(xiàn)行的系統(tǒng)，提出新系統(tǒng)的功能，加以細化；提出軟件的約束條件、響應時間、存儲條件等。 問題定義 問題定義的關鍵任務是確切地定義用戶要求解決的問題，也就是確定問題的性質(zhì)、工程的目標和規(guī)模。 定義 分析 設計 編碼 測試 維護 基本概念 瀑布式軟件生存期模型把軟件開發(fā)過程劃分成若干階段，每個階段的任務相對獨立，便于不同人員分工協(xié)作，從而降低了整個軟件開發(fā)工程的困難程度。 ? 文件 為了便于了解程序所需的資料說明。其中，計算機科學、數(shù)學用于構(gòu)造模型與算法，工程科學用于制定規(guī)范、設計范型、降低成本及確定權(quán)衡，管理科學用于計劃、資源、質(zhì)量、成本等管理。 ? 確定了需求分析的絕對重要性，但是在實踐中要想獲得完善的需求說明是非常困難的；反饋信息慢。其最根本的任務是確定為了滿足用戶的需要軟件系統(tǒng)必須做什么。 ? 復審 由軟件開發(fā)人員和用戶共同對需求說明書進行嚴格的審查。 需求分析 數(shù)據(jù)流程圖的特點： ? 可以表示任何一個系統(tǒng)（人工的、自動的、或混合的）中的數(shù)據(jù)流程； ? 每個表示加工的圓圈可能需要進一步分解以求得對問題的全面理解； ? 著重強調(diào)的是數(shù)據(jù)流程而不是控制流程。 ? 數(shù)據(jù)結(jié)構(gòu)決定信息的組織、存取方法、結(jié)合性程度以及不同的處理方案。 需求分析 計算機系統(tǒng) 系統(tǒng)軟件 應用軟件 操作系統(tǒng)（ P1） 編譯程序（ P2） 工 具 編 輯（ P3） 測試驅(qū)動（ P4） 設計輔助（ P5） 需求分析 軟件需求說明書 1. 概述 2. 信息描述 (1) 數(shù)據(jù)流程圖 (2) 數(shù)據(jù)字典 (3) 數(shù)據(jù)結(jié)構(gòu) (4) 系統(tǒng)接口說明 (5) 內(nèi)部接口 需求分析 軟件需求說明書 3. 功能說明 (1) 功能 (2) 處理說明 (3) 設計的限制 4. 檢驗標準 (1) 性能界限 (2) 測試種類 (3) 預期的軟件響應 (4) 應考慮的特殊問題 5. 參考文獻 6. 附錄 需求分析 初步的用戶手冊 當確定了人機交互作用的軟件需求后，準備一份初步的用戶手冊是作為對所要求文件的補充往往是有用的，這種手冊將起到兩個作用： ? 手冊的準備迫使分析人員從用戶的角度來看待軟件，從而及早考慮接口方面的人機環(huán)境工程。 概要設計 模塊化： ? 軟件被劃分成獨立命名和可獨立訪問的被稱作模塊的構(gòu)件，每個模塊完成一個子功能，它們集成到一起滿足問題需求。 ? 數(shù)據(jù)耦合：兩個模塊彼此通過參數(shù)交換信息，且交換的僅僅是數(shù)據(jù)（低耦合）。 ? 力爭降低模塊接口的復雜程度 模塊接口的復雜性是引起軟件錯誤的一個主要原因。發(fā)出多條通路的信息流中樞被稱為“事務中心”。 概要設計 Cm Ct Ca Ce 概要設計 變換型分析 ? 第 6步 完成“第二級分解”。 ? 第 6步 對事務中心的結(jié)構(gòu)和每個活動通路的結(jié)構(gòu)進行分解、合并和改進。 A end A iter do B。 概要設計 表格 表頭 表體 行 * 姓名 年齡 類別 狀態(tài) 工齡 年級 概要設計 產(chǎn)生表格 產(chǎn)生表頭 產(chǎn)生表體 產(chǎn)生行 * 產(chǎn)生工齡 產(chǎn)生年級 產(chǎn)生姓名 產(chǎn)生年齡 產(chǎn)生類別 產(chǎn)生狀態(tài) 概要設計 建立程序結(jié)構(gòu) 例 2：倉庫中存放了多種零件，每種零件的每次變動（收到或發(fā)出）都有一張卡片作出記錄，庫存管理系統(tǒng)每月要根據(jù)這些卡片打印一張月報表，列出各種零件在這個月中庫存量的凈變化。 詳細設計 詳細設計工具 ? 對軟件開發(fā)人員來說，提高軟件開發(fā)效率 ? 對軟件測試和維護人員來說，提供擺脫繁瑣的程序代碼，了解模塊程序結(jié)構(gòu)的途徑 詳細設計 詳細設計工具： ? 圖形工具 將過程細節(jié)用圖來表示，在圖中，邏輯結(jié)構(gòu)用具體的圖形表示 ? 列表工