【正文】 入注釋行，在開(kāi)發(fā)者和讀者間進(jìn)行鉤通，說(shuō)明程序的功能、標(biāo)識(shí)符的含義、主要算法等。測(cè)試方法： ? 邏輯覆蓋 – 語(yǔ)句覆蓋 – 判定覆蓋 – 條件覆蓋 – 判定 /條件覆蓋 – 條件組合覆蓋 ? 等價(jià)類劃分 ? 邊值分析 第 77 頁(yè) 邏輯（路徑）覆蓋（白盒法） ?按程序的內(nèi)部邏輯結(jié)構(gòu)進(jìn)行測(cè)試，為了衡量測(cè)試的覆蓋程度，建立下列標(biāo)準(zhǔn)（從低到高）： –語(yǔ)句覆蓋 –判定覆蓋 –條件覆蓋 –判定 /條件覆蓋 –條件組合覆蓋 第 78 頁(yè) 舉例 ? 有一要測(cè)試的程序如下： ? sub （ a ， b，ｘ） ? float a， b，ｘ； ? { float y。 ? 第 83 頁(yè) 邏輯覆蓋分析 ——判別／條件覆蓋 ? 使判定的”真“、”假“各執(zhí)行一次，還要使判定中每個(gè)條件取兩種不同的值。 第 89 頁(yè) 模塊測(cè)試 ? 可先用白盒法測(cè)試模塊的內(nèi)部邏輯，再用黑盒法測(cè)試外部預(yù)期的結(jié)果。 第 95 頁(yè) 調(diào)試策略 ? 試探法 大概分析、估計(jì)錯(cuò)誤的位置； ? 回溯法 確定最先出現(xiàn)”癥狀“的地方，然后沿程序的控制流程往回追蹤源程序，直到找出錯(cuò)誤源為止。為進(jìn)一步改進(jìn)可維護(hù)性、可靠性而進(jìn)行的維護(hù)活動(dòng)，約占 4%。這是因?yàn)椋? ?① 被推薦的系統(tǒng)是已經(jīng)實(shí)現(xiàn)的、經(jīng)過(guò)實(shí)用檢驗(yàn)的系統(tǒng)，具有較好的可維護(hù)性； ?② 選用的技術(shù)是成熟的技術(shù)，同時(shí)要求這些技術(shù)要有較強(qiáng)的維護(hù)手段。測(cè)試過(guò)程必須置于可控操作規(guī)程和操作范圍之內(nèi)，以保證錯(cuò)誤確實(shí)被消除、修改的副作用在允許的范圍內(nèi)，軟件配置的版本更新與軟件一致，從而保證軟件的可維護(hù)性。系統(tǒng)文檔中應(yīng)該更詳細(xì)地說(shuō)明系統(tǒng)各部分實(shí)現(xiàn)之間的聯(lián)系、使用的方法和算法、錯(cuò)誤恢復(fù)方法、系統(tǒng)主要參數(shù)的范圍等與系統(tǒng)具體實(shí)現(xiàn)有關(guān)的一切技術(shù)方面的信息數(shù)據(jù)。 ? 選擇 PL時(shí)，特別注重所選語(yǔ)言對(duì)軟件可維護(hù)性的影響。 第 102 頁(yè) （ 1）問(wèn)題定義階段 ?為得到可維護(hù)的系統(tǒng)模型，就要使開(kāi)發(fā)人員、用戶和使用單位管理人員對(duì)問(wèn)題的性質(zhì)、工程的目標(biāo)和規(guī)模取得完全一致的看法。 ? （ 3）完善性維護(hù)。 第 93 頁(yè) 程序調(diào)試 ?程序調(diào)試的任務(wù) 經(jīng)過(guò)測(cè)試暴露出問(wèn)題，還必須進(jìn)一步診斷錯(cuò)誤的原因和位置，進(jìn)而改正程序中的錯(cuò)誤。例如，在下標(biāo)、數(shù)據(jù)結(jié)構(gòu)、數(shù)組、循環(huán)等的邊界附近。 第 81 頁(yè) 邏輯覆蓋分析 ——條件覆蓋 ? 使判別中每個(gè)條件可能的值至少出現(xiàn)一次，及條件表達(dá)式中各個(gè)條件取兩個(gè)不同的值。 ? 3）除了檢查程序是否做了應(yīng)做的工作之外，還應(yīng)檢查程序是否做了不應(yīng)做的事。 ?選擇語(yǔ)言時(shí)，不僅要考慮理論上的標(biāo)準(zhǔn)，還必須同時(shí)考慮使用方面的各種限制。 第 56 頁(yè) 事務(wù)分析技術(shù) ?事務(wù)分析技術(shù)也是將相應(yīng)的數(shù)據(jù)流程圖（ DFD）映射為對(duì)應(yīng)的的軟件結(jié)構(gòu)圖。 第 48 頁(yè) 內(nèi)聚性問(wèn)題 ? 一個(gè)程序主要由兩部分組成：數(shù)據(jù)和對(duì)數(shù)據(jù)的加工處理。軟件工具應(yīng)滿足下列要求： –必須有形式化的語(yǔ)法（可讓計(jì)算機(jī)自動(dòng)處理） –能夠?qū)С鲈敿?xì)的文檔 –必須提供分析（測(cè)試）規(guī)格說(shuō)明書(shū)的不一致性和冗余性的手段，并能產(chǎn)生指明對(duì)完整性分析結(jié)果的報(bào)告。 第 22 頁(yè) 說(shuō)明 ? 需求說(shuō)明書(shū)主要內(nèi)容： – 概述 開(kāi)發(fā)系統(tǒng)的意義、目的、背景及技術(shù)術(shù)語(yǔ)； – 現(xiàn)性系統(tǒng)的概況 業(yè)務(wù)流程、范圍、存在的問(wèn)題等； – 需求說(shuō)明 ? 功能描述 ? 信息描述： DFD、 DD、 DS、 IPO、接口等 ? 性能描述 – 運(yùn)行環(huán)境 – 系統(tǒng)限制 ? 用戶系統(tǒng)描述 – 系統(tǒng)功能和性能的描述 – 使用系統(tǒng)的主要步驟和方法 – 系統(tǒng)用戶的責(zé)任等 第 23 頁(yè) 審查和復(fù)審 ?分析階段最后一步是按結(jié)束標(biāo)準(zhǔn)對(duì)該階段的工作成果進(jìn)行正式的技術(shù)審查和管理審查。 ?收集、理解、明確用戶的要求，明確系統(tǒng)做什么？建立系統(tǒng)的邏輯模型，寫出開(kāi)發(fā)計(jì)劃和需求分析報(bào)告。 第 7 頁(yè) 主程序員組織 ? 主程序員 組織負(fù)責(zé)人 ,全權(quán)負(fù)責(zé) ,包括解決技術(shù)難題 ,有時(shí)一些關(guān)鍵性技術(shù)問(wèn)題 ,主程序員應(yīng)親自動(dòng)手遍程去解決；他必須是技術(shù)高手，是程序生產(chǎn)過(guò)程中的總體設(shè)計(jì)師。第 1 頁(yè) 第十章 傳統(tǒng)的軟件開(kāi)發(fā)方法 – 結(jié)構(gòu)化開(kāi)發(fā)方法概述 – 系統(tǒng)分析與定義 – 系統(tǒng)設(shè)計(jì) – 系統(tǒng)編程 – 系統(tǒng)測(cè)試 – 系統(tǒng)維護(hù) 第 2 頁(yè) 結(jié)構(gòu)化開(kāi)發(fā)方法 ?基本思想：把一個(gè)復(fù)雜問(wèn)題的求解過(guò)程分階段進(jìn)行，每個(gè)階段處理的問(wèn)題都控制在人們?nèi)菀桌斫夂吞幚淼姆秶鷥?nèi)。 ? 程序員 按任務(wù)書(shū)要求編程；是程序生產(chǎn)線上的“工人”。 第 14 頁(yè) 軟件需求定義的工作流程 ? 系統(tǒng)定義 用戶要求 軟件功能 范圍 功能說(shuō)明書(shū) 軟件計(jì)劃 軟件定義 軟件功能 費(fèi)用、資源進(jìn)度 第 15 頁(yè) 需求分析過(guò)程 ?基本過(guò)程示意圖 ?沿?cái)?shù)據(jù)流回溯 ?用戶復(fù)查 ?細(xì)化數(shù)據(jù)流圖 ?修改開(kāi)發(fā)計(jì)劃 ?書(shū)寫文檔資料 ?審查和復(fù)審 第 16 頁(yè) 需求分析的基本過(guò)程 ? 用戶 分析員 程序員 軟件開(kāi)發(fā)計(jì)劃 軟件需求說(shuō)明書(shū) 分析追蹤 數(shù)據(jù)流圖 用戶復(fù)查 細(xì)化數(shù)據(jù) 流圖 無(wú)補(bǔ)充 修改 需要分解 不要分解 有補(bǔ)充修改 交換意見(jiàn) 作出貢獻(xiàn) 第 17 頁(yè) 沿?cái)?shù)據(jù)流回溯 ? 通常從數(shù)據(jù)流圖的輸出端著手分析，要搞清楚： – 數(shù)據(jù)元素從哪兒來(lái)？ – 每個(gè)輸出數(shù)據(jù)元素又是從哪兒來(lái)的？ ? 有時(shí)對(duì)用戶具體的數(shù)據(jù)元素還搞不清楚，則需要和用戶探討、商量解決。 第 24 頁(yè) 需求分析的原則 ? 1．能夠表達(dá)和理解問(wèn)題的信息域 ? 2．要建立描述系統(tǒng)信息、功能和行為的模型 ? 3．能夠?qū)λＰ桶匆欢ㄐ问竭M(jìn)行分解 ? 4．分清系統(tǒng)的邏輯視圖和物理視圖 第 25 頁(yè) 需求分析的圖形工具 ?常用的描述工具 –數(shù)據(jù)流程圖（ DFD） –數(shù)據(jù)字典（ DD） –結(jié)構(gòu)化語(yǔ)言 –判定表和判定樹(shù) 第 26 頁(yè) 數(shù)據(jù)流圖 DFD ?數(shù)據(jù)流圖以圖形的方式表達(dá)數(shù)據(jù)處理系統(tǒng)中信息的變換和傳遞過(guò)程。 –能夠改進(jìn)通信狀況 第 33 頁(yè) 結(jié)構(gòu)分析方法 (SA方法 ) ?結(jié)構(gòu)化分析方法的背景 (形成 ) –早期無(wú)系統(tǒng)分析方法 (憑經(jīng)驗(yàn) ) – 60年代美國(guó)的科學(xué)家提出一種理論 : – SP SD SA –目前研究的新熱點(diǎn)是 : – OOP OOD OOA – 即面向?qū)ο蟮某绦蛟O(shè)計(jì)技術(shù) (OOObject Oriented ) 第 34 頁(yè) SA的一般步驟 ? 1．建立當(dāng)前系統(tǒng)的物理模型 ? 2．建立當(dāng)前系統(tǒng)的邏輯模型 ? 建立目標(biāo)系統(tǒng)的邏輯模型 第 35 頁(yè) 三、系統(tǒng)設(shè)計(jì)（軟件的設(shè)計(jì)） ?系統(tǒng)設(shè)計(jì)概述 – 目標(biāo)和任務(wù) – 設(shè)計(jì)方法和步驟 – 文檔 – 設(shè)計(jì)復(fù)審 第 36 頁(yè) 軟件設(shè)計(jì)流程圖 概要設(shè)計(jì) 復(fù)審 要求說(shuō)明書(shū) 軟件 結(jié)構(gòu) 可接收 詳細(xì)設(shè)計(jì) 模塊 描述 設(shè)計(jì) 說(shuō)明書(shū) 復(fù)審 修改 修改 第 37 頁(yè) 軟件設(shè)計(jì)概述 ?目標(biāo)和任務(wù) –任務(wù) 依據(jù)分析結(jié)果，明確系統(tǒng)“如何做？”， – 建立實(shí)現(xiàn)方案。 ? 內(nèi)聚性是指一個(gè)模塊內(nèi)部各種數(shù)據(jù)和各種處理之間聯(lián)系的緊密程度。 ?事務(wù)分析的組設(shè)計(jì)步驟同變換分析： –確定數(shù)據(jù)流圖的類型 –確定流界 –第 1級(jí)分解 –第 2級(jí)分解 –設(shè)計(jì)后處理 第 57 頁(yè) 詳細(xì)設(shè)計(jì)方法 ?詳細(xì)設(shè)計(jì)是根據(jù)每個(gè)模塊的功能設(shè)計(jì)其邏輯描述、實(shí)現(xiàn)其法以及實(shí)現(xiàn)這些算法的邏輯控制流