【正文】 都控制在人們?nèi)菀桌斫夂吞幚淼姆秶鷥?nèi)。實現(xiàn)細(xì)則在前期階段可以不去管它。 第 7 頁 主程序員組織 ? 主程序員 組織負(fù)責(zé)人 ,全權(quán)負(fù)責(zé) ,包括解決技術(shù)難題 ,有時一些關(guān)鍵性技術(shù)問題 ,主程序員應(yīng)親自動手遍程去解決；他必須是技術(shù)高手，是程序生產(chǎn)過程中的總體設(shè)計師。 ?其目標(biāo)：建立一個結(jié)構(gòu)良好的軟件系統(tǒng)。 ?收集、理解、明確用戶的要求，明確系統(tǒng)做什么？建立系統(tǒng)的邏輯模型，寫出開發(fā)計劃和需求分析報告。 第 19 頁 細(xì)化數(shù)據(jù)流圖 ?在反復(fù)循環(huán)的分析過程中，不斷細(xì)化DFD（即把數(shù)據(jù)流圖擴(kuò)展到更低的層次）。 第 22 頁 說明 ? 需求說明書主要內(nèi)容： – 概述 開發(fā)系統(tǒng)的意義、目的、背景及技術(shù)術(shù)語； – 現(xiàn)性系統(tǒng)的概況 業(yè)務(wù)流程、范圍、存在的問題等； – 需求說明 ? 功能描述 ? 信息描述： DFD、 DD、 DS、 IPO、接口等 ? 性能描述 – 運(yùn)行環(huán)境 – 系統(tǒng)限制 ? 用戶系統(tǒng)描述 – 系統(tǒng)功能和性能的描述 – 使用系統(tǒng)的主要步驟和方法 – 系統(tǒng)用戶的責(zé)任等 第 23 頁 審查和復(fù)審 ?分析階段最后一步是按結(jié)束標(biāo)準(zhǔn)對該階段的工作成果進(jìn)行正式的技術(shù)審查和管理審查。 ? 內(nèi)容 ? 1) 數(shù)據(jù)流：編號、名稱、簡述、別名、構(gòu)成、來源、去向、流量 ? 2) 數(shù)據(jù)項目：編號、名稱、簡述、別名、類型、長度、位數(shù) ? 3) 數(shù)據(jù)文件：編號、名稱、簡述、別名、構(gòu)成、關(guān)鍵字、存取要求 ? 4) 處理 編號、名稱、簡述、別名、處理條件、 I/O內(nèi)容、處理邏輯 第 29 頁 結(jié)構(gòu)化語言 ?例如 : ? DO CASE ? CASE 時間 =12 ? R_rent=0。軟件工具應(yīng)滿足下列要求： –必須有形式化的語法（可讓計算機(jī)自動處理） –能夠?qū)С鲈敿?xì)的文檔 –必須提供分析（測試）規(guī)格說明書的不一致性和冗余性的手段，并能產(chǎn)生指明對完整性分析結(jié)果的報告。 ? 判斷的影響范圍應(yīng)該是控制范圍的一個子集 – 影響范圍 指在一個模塊中有一個判別條件，所有受該判別條件影響的模塊的集合稱為影響范圍； – 控制范圍 指一個模塊本身及所有下屬模塊構(gòu)成的集合。 第 48 頁 內(nèi)聚性問題 ? 一個程序主要由兩部分組成：數(shù)據(jù)和對數(shù)據(jù)的加工處理。 ? 概要設(shè)計的方法有許多種： – 在早期有模塊化方法、功能分解方法，這都是人們一般常用的方法； – 在 60年代后期提出了面向數(shù)據(jù)流的設(shè)計方法、面向數(shù)據(jù)結(jié)構(gòu)的設(shè)計方法； – 近年來又提出面向?qū)ο蟮脑O(shè)計方法等。 第 56 頁 事務(wù)分析技術(shù) ?事務(wù)分析技術(shù)也是將相應(yīng)的數(shù)據(jù)流程圖（ DFD）映射為對應(yīng)的的軟件結(jié)構(gòu)圖。 ? 共用模塊可重用。 ?選擇語言時，不僅要考慮理論上的標(biāo)準(zhǔn)，還必須同時考慮使用方面的各種限制。 第 67 頁 語句構(gòu)造 ?語句構(gòu)造的原則是： –簡單直接 不應(yīng)追求效率而使代碼復(fù)雜化； –為了便于閱讀和理解，不要一行寫多個語句，不同層次的語句應(yīng)呈鋸齒形； –不用復(fù)雜的測試條件，不用或少用“非條件”； –避免使用大量嵌套循環(huán)及條件循環(huán)； –使用條件來簡化表達(dá)式。 ? 3）除了檢查程序是否做了應(yīng)做的工作之外，還應(yīng)檢查程序是否做了不應(yīng)做的事。 ? if(a=2||x＞ 1） ? ｘ＝ｘ＋１； ? ｝ 結(jié)束 程序邏輯結(jié)構(gòu)圖 開始 a1amp。 第 81 頁 邏輯覆蓋分析 ——條件覆蓋 ? 使判別中每個條件可能的值至少出現(xiàn)一次，及條件表達(dá)式中各個條件取兩個不同的值。 第 84 頁 邏輯覆蓋分析 ——判別組合覆蓋 ? 使每個判定中的條件的各種組合都出現(xiàn)一次。例如，在下標(biāo)、數(shù)據(jù)結(jié)構(gòu)、數(shù)組、循環(huán)等的邊界附近。 –非漸增式 先測試每個模塊，再把所有模塊按設(shè)計要求組裝在一起的測試。 第 93 頁 程序調(diào)試 ?程序調(diào)試的任務(wù) 經(jīng)過測試暴露出問題，還必須進(jìn)一步診斷錯誤的原因和位置，進(jìn)而改正程序中的錯誤。 第 96 頁 六、軟件維護(hù) ?軟件交付使用后的變更稱為維護(hù)。 ? （ 3）完善性維護(hù)。軟件生存周期每個階段的工作都和軟件的可維護(hù)性有密切的關(guān)系，實際上，軟件的可維護(hù)性是軟件開發(fā)各個階段的關(guān)鍵目標(biāo)。 第 102 頁 （ 1）問題定義階段 ?為得到可維護(hù)的系統(tǒng)模型，就要使開發(fā)人員、用戶和使用單位管理人員對問題的性質(zhì)、工程的目標(biāo)和規(guī)模取得完全一致的看法。在制定方案時，要充分考慮組成系統(tǒng)的各個物理元素（如程序、數(shù)據(jù)庫、文檔等）對可維護(hù)性的影響。 ? 選擇 PL時，特別注重所選語言對軟件可維護(hù)性的影響。由于需要維護(hù)的系統(tǒng)一般都是經(jīng)過長期實際運(yùn)行考驗的系統(tǒng)，人們感興趣的并不是系統(tǒng)可運(yùn)行否，而是在特殊情況下如何使系統(tǒng)也能正常地運(yùn)行，所以對于維護(hù)人員來說文檔比程序代碼更為重要。系統(tǒng)文檔中應(yīng)該更詳細(xì)地說明系統(tǒng)各部分實現(xiàn)之間的聯(lián)系、使用的方法和算法、錯誤恢復(fù)方法、系統(tǒng)主要參數(shù)的范圍等與系統(tǒng)具體實現(xiàn)有關(guān)的一切技術(shù)方面的信息數(shù)據(jù)。 ?③使用手冊。測試過程必須置于可控操作規(guī)程和操作范圍之內(nèi)，以保證錯誤確實被消除、修改的副作用在允許的范圍內(nèi)，軟件配置的版本更新與軟件一致，從而保證軟件的可維護(hù)性。為使未來系統(tǒng)便于維護(hù)，模塊設(shè)計不僅要求邏輯上的正確性，還必須強(qiáng)調(diào)可理解性。這是因為： ?① 被推薦的系統(tǒng)是已經(jīng)實現(xiàn)的、經(jīng)過實用檢驗的系統(tǒng)，具有較好的可維護(hù)性； ?② 選用的技術(shù)是成熟的技術(shù)，同時要求這些技術(shù)要有較強(qiáng)的維護(hù)手段。 ?（ 4）可靠性。為進(jìn)一步改進(jìn)可維護(hù)性、可靠性而進(jìn)行的維護(hù)活動，約占 4%。把診斷、校正軟件錯誤的過程稱之為校正性維護(hù)。 第 95 頁 調(diào)試策略 ? 試探法 大概分析、估計錯誤的位置； ? 回溯法 確定最先出現(xiàn)”癥狀“的地方，然后沿程序的控制流程往回追蹤源程序，直到找出錯誤源為止。 ? (2) 自底向上 – 從底層模塊開始測試和組裝的一種策略。 第 89 頁 模塊測試 ? 可先用白盒法測試模塊的內(nèi)部邏輯，再用黑盒法測試外部預(yù)期的結(jié)果。 第 85 頁 ?下面４組測試數(shù)據(jù)可以覆蓋上面８種條件組合： ? ａ＝２，ｂ＝０，ｘ＝４ 覆蓋 ? ? ? ａ＝２，ｂ＝１，ｘ＝１ 覆蓋 ? ? ? ａ＝１，ｂ＝０，ｘ＝２ 覆蓋 ? ? ? ａ＝１，ｂ＝０，ｘ＝１ 覆蓋 ? ? 第 86 頁 等價類劃分（黑盒法） ?把所有可能的輸入數(shù)據(jù)（有效和無效）劃分為若干個等價類，每類中一個典型數(shù)據(jù)在測試中起的作用和這一類數(shù)據(jù)的作用是相同的。 ? 第 83 頁 邏輯覆蓋分析 ——判別／條件覆蓋 ? 使判定的”真“、”假“各執(zhí)行一次，還要使判定中每個條件取兩種不同的值。選擇輸入數(shù)據(jù)為： ? ａ＝２，ｂ＝０，ｘ＝３ ? 就可達(dá)到“語句覆蓋”的標(biāo)準(zhǔn)。測試方法： ? 邏輯覆蓋 – 語句覆蓋 – 判定覆蓋 – 條件覆蓋 – 判定 /條件覆蓋 – 條件組合覆蓋 ? 等價類劃分 ? 邊值分析 第 77 頁 邏輯（路徑）覆蓋（白盒法） ?按程序的內(nèi)部邏輯結(jié)構(gòu)進(jìn)行測試，為了衡量測試的覆蓋程度，建立下列標(biāo)準(zhǔn)（從低到高）： –語句覆蓋 –判定覆蓋 –條件覆蓋 –判定 /條件覆蓋 –條件組合覆蓋 第 78 頁 舉例 ? 有一要測試的程序如下： ? sub （ a ， b，ｘ） ? float a， b，ｘ； ? { float y。只檢查程序功能是否滿足系統(tǒng)功能和規(guī)格說明書的要求，不管內(nèi)部如何處理和如何實現(xiàn)。 ? 注釋行 通常在源程序中用大量篇幅（最多占到1/3）加入注釋行，在開發(fā)者和讀者間進(jìn)行鉤通，說明程序的功能、標(biāo)識符的含義、主要算法等。 ?數(shù)據(jù)和過程的分離。 第 58 頁 SP中的基本結(jié)構(gòu) ? 順序結(jié)構(gòu) ? 選擇