【正文】 求。 – 數(shù)據(jù)要求 包括 DD、數(shù)據(jù)結(jié)構(gòu)的層次框圖等。 第 22 頁(yè) 說(shuō)明 ? 需求說(shuō)明書主要內(nè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ù)審查和管理審查。它有四種基本符號(hào)： S P X 數(shù)據(jù)源及數(shù)據(jù)終點(diǎn) 加工 對(duì)數(shù)據(jù)進(jìn)行的加工或變換，指向加工的數(shù)據(jù)流 是輸入數(shù)據(jù)；離開的是輸出數(shù)據(jù)。如果繪制在一個(gè)平面圖上就顯的太亂了。把一個(gè)復(fù)雜的問(wèn)題，分解為一些相互獨(dú)立的子問(wèn)題，再繪出分層 DFD。 ? 內(nèi)容 ? 1) 數(shù)據(jù)流：編號(hào)、名稱、簡(jiǎn)述、別名、構(gòu)成、來(lái)源、去向、流量 ? 2) 數(shù)據(jù)項(xiàng)目：編號(hào)、名稱、簡(jiǎn)述、別名、類型、長(zhǎng)度、位數(shù) ? 3) 數(shù)據(jù)文件：編號(hào)、名稱、簡(jiǎn)述、別名、構(gòu)成、關(guān)鍵字、存取要求 ? 4) 處理 編號(hào)、名稱、簡(jiǎn)述、別名、處理?xiàng)l件、 I/O內(nèi)容、處理邏輯 第 29 頁(yè) 結(jié)構(gòu)化語(yǔ)言 ?例如 : ? DO CASE ? CASE 時(shí)間 =12 ? R_rent=0。 ? CASE 時(shí)間 18 ? Rrent=rent。表中縱向各列給出的不同的條件，橫向各行則表示在任何條件下相應(yīng)的處理。樹狀的分枝表示多種不同的條件。軟件工具應(yīng)滿足下列要求： –必須有形式化的語(yǔ)法（可讓計(jì)算機(jī)自動(dòng)處理） –能夠?qū)С鲈敿?xì)的文檔 –必須提供分析（測(cè)試）規(guī)格說(shuō)明書的不一致性和冗余性的手段，并能產(chǎn)生指明對(duì)完整性分析結(jié)果的報(bào)告。 –目標(biāo) 提高軟件系統(tǒng)的： ? 可維護(hù)性 可擴(kuò)充、可修改 ? 可理解性 對(duì)軟件人員要易讀易理解；對(duì)用戶要易使用、易維護(hù) ? 可靠性 包括正確性和健壯性 第 38 頁(yè) 設(shè)計(jì)方法和步驟 ?概要設(shè)計(jì) – 定義系統(tǒng)的邏輯結(jié)構(gòu)，包括：系統(tǒng)的模塊劃分、建立模塊的層次結(jié)構(gòu)、邏輯關(guān)系、設(shè)計(jì)全局 DS及 DB； ?詳細(xì)設(shè)計(jì) – 根據(jù)每個(gè)模塊的功能描述，設(shè)計(jì)模塊內(nèi)部的實(shí)現(xiàn)算法、模塊所需要的局部數(shù)據(jù)結(jié)構(gòu)。它可對(duì)編程和測(cè)試提供指南服務(wù)，還可在系統(tǒng)交付使用后，為維護(hù)人員提供幫助。 第 42 頁(yè) 軟件設(shè)計(jì)準(zhǔn)則 –軟件結(jié)構(gòu)準(zhǔn)則 –模塊化準(zhǔn)則 –模塊獨(dú)立性準(zhǔn)則 –模塊的耦合性 –模塊的內(nèi)聚性 第 43 頁(yè) 軟件結(jié)構(gòu)準(zhǔn)則 ? 結(jié)構(gòu)形態(tài)準(zhǔn)則 – 即頂部寬度最小，中間寬度最大，底部寬度小于中間的寬度。 ? 判斷的影響范圍應(yīng)該是控制范圍的一個(gè)子集 – 影響范圍 指在一個(gè)模塊中有一個(gè)判別條件，所有受該判別條件影響的模塊的集合稱為影響范圍； – 控制范圍 指一個(gè)模塊本身及所有下屬模塊構(gòu)成的集合。因?yàn)榉纸獾揭欢ǔ潭群?，模塊之間的接口工作量就上升，從而使總的代價(jià)上升。具有獨(dú)立性的模塊，開發(fā)容易、能減少錯(cuò)誤的傳播，使模塊重組、分解方便，容易調(diào)試和維護(hù)。 – 顯然，獨(dú)立性強(qiáng)的模塊，藕合性越小越好，內(nèi)聚性越大越好。 第 48 頁(yè) 內(nèi)聚性問(wèn)題 ? 一個(gè)程序主要由兩部分組成：數(shù)據(jù)和對(duì)數(shù)據(jù)的加工處理。 ? 它是模塊執(zhí)行任務(wù)的整體統(tǒng)一性的度量，是模塊相對(duì)功能強(qiáng)弱的度量。但現(xiàn)實(shí)情況是一個(gè)模塊往往執(zhí)行若干個(gè)結(jié)合在一起的任務(wù)，這些任務(wù)組合方式不同就構(gòu)成不同的內(nèi)聚性。 ?在設(shè)計(jì)時(shí)，盡量采用功能性模塊。 ? 概要設(shè)計(jì)的方法有許多種： – 在早期有模塊化方法、功能分解方法，這都是人們一般常用的方法； – 在 60年代后期提出了面向數(shù)據(jù)流的設(shè)計(jì)方法、面向數(shù)據(jù)結(jié)構(gòu)的設(shè)計(jì)方法； – 近年來(lái)又提出面向?qū)ο蟮脑O(shè)計(jì)方法等。 第 52 頁(yè) 數(shù)據(jù)流程圖分類 ?變換流 加工 中心 輸入 加工 輸出 加工 輸入 輸出 內(nèi)部 結(jié)果 內(nèi)部 數(shù)據(jù) 輸入流 輸出流 變換流 加工結(jié)果 第 53 頁(yè) 事物流 ? 事物 中心 T 數(shù)據(jù)流 事物中心 t1 t2 t3 t4 事物路徑 事物流 一個(gè)數(shù)據(jù)流經(jīng)過(guò)某個(gè)加工后，有若干個(gè)平行的數(shù)據(jù)流 流出，將這種變換稱為事物流。 第 54 頁(yè) 變換分析技術(shù) ?變換分析技術(shù)是從典型的變換型數(shù)據(jù)流程圖（ DFD）中推導(dǎo)出相應(yīng)的結(jié)構(gòu)圖。有了標(biāo)準(zhǔn)結(jié)構(gòu)，再根據(jù)軟件結(jié)構(gòu)度量、模塊化度量、模塊獨(dú)立性度量來(lái)精細(xì)改善結(jié)構(gòu)圖，從而得到良好的軟件結(jié)構(gòu)。 第 56 頁(yè) 事務(wù)分析技術(shù) ?事務(wù)分析技術(shù)也是將相應(yīng)的數(shù)據(jù)流程圖（ DFD）映射為對(duì)應(yīng)的的軟件結(jié)構(gòu)圖。 ?詳細(xì)設(shè)計(jì)的方法主要是用結(jié)構(gòu)程序設(shè)計(jì)SP方法，詳細(xì)設(shè)計(jì)的表示工具有圖形工具和語(yǔ)言工具。 第 58 頁(yè) SP中的基本結(jié)構(gòu) ? 順序結(jié)構(gòu) ? 選擇結(jié)構(gòu) – IF THEN ELSE 結(jié)構(gòu) – IF THEN 結(jié)構(gòu) – IF OR IF ELSE 結(jié)構(gòu) – CASE 結(jié)構(gòu) ? 重復(fù)結(jié)構(gòu) – 當(dāng)型結(jié)構(gòu) – 直到型結(jié)構(gòu) ? 出口結(jié)構(gòu) 第 59 頁(yè) SP中的優(yōu)點(diǎn) ? 自頂向下，逐步求精方法符合人們解決復(fù)雜問(wèn)題的普遍規(guī)律。 ? 不使用 GOTO語(yǔ)句，使程序靜態(tài)結(jié)構(gòu)和程序動(dòng)態(tài)執(zhí)行情況一致，容易理解和閱讀，開發(fā)出的程序容易修改和維護(hù)。 ? 共用模塊可重用。SP方法對(duì)大問(wèn)題的描述有很大的局限性。 ?數(shù)據(jù)和過(guò)程的分離。程序設(shè)計(jì)語(yǔ)言的特點(diǎn)是： – 名字說(shuō)明 – 類型說(shuō)明 – 初始化 – 程序?qū)ο蟮木植啃? – 程序模塊 – 循環(huán)控制結(jié)構(gòu) – 分支控制結(jié)構(gòu) – 異常處理 – 獨(dú)立編譯 第 63 頁(yè) 選擇語(yǔ)言 ?根據(jù)實(shí)際情況選擇使用的程序設(shè)計(jì)語(yǔ)言。 ?選擇語(yǔ)言時(shí)，不僅要考慮理論上的標(biāo)準(zhǔn)，還必須同時(shí)考慮使用方面的各種限制。可以體現(xiàn)在下列各個(gè)方面： –源代碼文件（程序內(nèi)部的文檔） –數(shù)據(jù)說(shuō)明 –語(yǔ)句構(gòu)造 –輸入 |輸出 –提高程序質(zhì)量的技巧 –效率 第 65 頁(yè) 源代碼文件（程序內(nèi)部的文檔） ? 包括程序中使用的標(biāo)識(shí)符，適當(dāng)?shù)淖⑨屢约俺绦虻囊曈X組織。 ? 注釋行 通常在源程序中用大量篇幅（最多占到1/3）加入注釋行，在開發(fā)者和讀者間進(jìn)行鉤通，說(shuō)明程序的功能、標(biāo)識(shí)符的含義、主要算法等。 ? 程序書寫格式 各控制結(jié)構(gòu)的層次應(yīng)呈鋸齒形，同一層次對(duì)齊，下一層退縮幾格。 第 67 頁(yè) 語(yǔ)句構(gòu)造 ?語(yǔ)句構(gòu)造的原則是： –簡(jiǎn)單直接 不應(yīng)追求效率而使代碼復(fù)雜化； –為了便于閱讀和理解，不要一行寫多個(gè)語(yǔ)句，不同層次的語(yǔ)句應(yīng)呈鋸齒形； –不用復(fù)雜的測(cè)試條件，不用或少用“非條件”； –避免使用大量嵌套循環(huán)及條件循環(huán)； –使用條件來(lái)簡(jiǎn)化表達(dá)式。 第 72 頁(yè) 五、系統(tǒng)測(cè)試 ?軟件測(cè)試概述 ?測(cè)試用例的設(shè)計(jì) ?測(cè)試實(shí)施方法 ?軟件的調(diào)試 第 73 頁(yè) 軟件測(cè)試概述 ?目的 ?發(fā)現(xiàn)軟件中隱藏的各種差錯(cuò)。只檢查程序功能是否滿足系統(tǒng)功能和規(guī)格說(shuō)明書的要求，不管內(nèi)部如何處理和如何實(shí)現(xiàn)。 第 75 頁(yè) 測(cè)試用例 ? 測(cè)試用例的組成： ? 測(cè)試用例 = 指定功能 +測(cè)試數(shù)據(jù) +預(yù)期效果 ? 測(cè)試的基本原則： ? 1）在執(zhí)行程序前應(yīng)該對(duì)期望的結(jié)果有明確的描述，測(cè)試后應(yīng)對(duì)輸出進(jìn)行仔細(xì)的檢查。 ? 3）除了檢查程序是否做了應(yīng)做的工作之外，還應(yīng)檢查程序是否做了不應(yīng)做的事。 第 76 頁(yè) 測(cè)試用例的設(shè)計(jì) ? 設(shè)計(jì)測(cè)試用例的基本目標(biāo)是：確定一組最有可能發(fā)現(xiàn)某個(gè)錯(cuò)誤或某類錯(cuò)誤的測(cè)試數(shù)據(jù)。測(cè)試方法： ?