【正文】 工邏輯表示的更加清楚。例如， 結(jié)帳時(shí)間 =？ 12點(diǎn)前 12~18點(diǎn)間 18點(diǎn)后 不收費(fèi) 收半費(fèi) 收全費(fèi) 下一頁(yè) 下一頁(yè) 上一頁(yè) 停止放映 第 42 頁(yè) 用于需求分析的軟件工具 ? 為保證軟件需求的正確性和需求的一致性，需要采用適當(dāng)?shù)能浖ぞ咧С中枨蠓治龉ぷ鳌? ? PSL/PSA 問題陳述語(yǔ)言 /問題陳述分析程序系統(tǒng)。 ? PSL/PSA有 4種主要功能： – 描述任何應(yīng)用領(lǐng)域的信息系統(tǒng) – 創(chuàng)建一個(gè) DB保存對(duì)該信息系統(tǒng)的描述符 – 對(duì)描述符可執(zhí)行增、刪、改等操作 – 產(chǎn)生格式化文檔及規(guī)格說明書的各種分析報(bào)告 ? PSL/PSA的主要優(yōu)點(diǎn)是改進(jìn)了文檔質(zhì)量、使之具有完整性、一致性和無(wú)二義性，從而減少管理維護(hù)費(fèi)用。它非常簡(jiǎn)潔，用它書寫程序所化時(shí)間很少。如果開發(fā)的系統(tǒng)中使用的基本數(shù)據(jù)是正文行和文件，適合用Shell描述算法。但它表達(dá)算法類知識(shí)的能力較弱，不善于解決計(jì)算問題；效率較低。 2． 建立當(dāng)前系統(tǒng)的邏輯模型 邏輯模型是指系統(tǒng)的功能模型 ，反映了數(shù)據(jù)處理系統(tǒng)的本質(zhì) 。 下一頁(yè) 上一頁(yè) 停止放映 第 47 頁(yè) SA的基本特點(diǎn)：分析與抽象 ? 采用用戶容易理解的圖形工具 ? 從全局認(rèn)識(shí)系統(tǒng) ,采用自頂向下 ,逐級(jí)分析的方式 銷售 MIS 銷售 MIS 經(jīng)營(yíng) 庫(kù)存 財(cái)務(wù) 1） 2） 3） 銷售 MIS 經(jīng)營(yíng) 庫(kù)存 財(cái)務(wù) 市場(chǎng)分析 統(tǒng)計(jì)分析 客戶檔案 盤點(diǎn)結(jié)存 訂貨管理 工資核算 采購(gòu)計(jì)劃 工資核算 成本核算 面向用戶 ,強(qiáng)調(diào)邏輯而非實(shí)現(xiàn) (在該階段 ,不考慮系統(tǒng)的實(shí)現(xiàn)問題 ) 以獲取分離數(shù)據(jù)和加工為動(dòng)機(jī) (這點(diǎn)很重要 )。 它可對(duì)編程和測(cè)試提供指南服務(wù) ， 還可在系統(tǒng)交付使用后 ， 為維護(hù)人員提供幫助 。 ? 要想得到一個(gè)滿意的設(shè)計(jì)結(jié)果 ， 不光要有基本設(shè)計(jì)原則的指導(dǎo) ， 還要有系統(tǒng)化的設(shè)計(jì)方法和科學(xué)嚴(yán)格的評(píng)審機(jī)制相結(jié)合才能達(dá)到預(yù)想的目的 。 但有這樣一個(gè)實(shí)際問題 ， 一個(gè)系統(tǒng)到底劃分為多少個(gè)模塊好呢 ？ 如何度量模塊化的程度呢 ？ 下一頁(yè) 上一頁(yè) 停止放映 第 56 頁(yè) 經(jīng)典設(shè)計(jì)準(zhǔn)則 – 軟件結(jié)構(gòu)準(zhǔn)則 – 模塊化準(zhǔn)則 – 模塊獨(dú)立性準(zhǔn)則 – 模塊的偶合性 – 模塊的內(nèi)聚性 下一頁(yè) 上一頁(yè) 停止放映 第 57 頁(yè) 軟件結(jié)構(gòu)準(zhǔn)則 ? 結(jié)構(gòu)形態(tài)準(zhǔn)則 好的軟件結(jié)構(gòu)應(yīng)具有倒置水缸形；即頂部寬度最小 ， 中間寬度最大 ， 底部寬度小于中間的寬度 。 下一頁(yè) 上一頁(yè) 停止放映 第 58 頁(yè) 結(jié)構(gòu)形態(tài)準(zhǔn)則示意圖 深度 寬度 扇出 扇入 下一頁(yè) 上一頁(yè) 停止放映 第 59 頁(yè) 控制、影響范圍示意圖 ? B模塊的控制范圍是 B、 D、 E、 F、 G、 H； ? 假設(shè) E中有一個(gè)判別條件 ， 受其影響的模塊有 F、 G、H， 則 E的影響范圍是 F、G、 H。 ? 根據(jù)心理學(xué)研究表明 ， 一個(gè)模塊的語(yǔ)句數(shù)量以 30~50句為易 （ 在一張打印紙上可完整地輸出 ） 。具有獨(dú)立性的模塊，開發(fā)容易、能減少錯(cuò)誤的傳播，使模塊重組、分解方便，容易調(diào)試和維護(hù)。 傳遞參數(shù)可以是： 加工的數(shù)據(jù)或控制用數(shù)據(jù) （ 這是推薦和常用的藕合方法 ） ? 標(biāo)記藕合 通過參數(shù)傳遞一種數(shù)據(jù)結(jié)構(gòu)值 。 如果是動(dòng)態(tài)并發(fā)程序 ， 情況就更復(fù)雜了 。 ? 內(nèi)聚性是指一個(gè)模塊內(nèi)部各種數(shù)據(jù)和各種處理之間聯(lián)系的緊密程度 。 下一頁(yè) 上一頁(yè) 停止放映 第 67 頁(yè) 內(nèi)聚性分類： ? 共存內(nèi)聚 幾個(gè)無(wú)關(guān)的任務(wù)組合在一起 ? 邏輯內(nèi)聚 將幾個(gè)邏輯上相關(guān)的任務(wù)組合在一起 ? 時(shí)態(tài) （ 時(shí)間 ） 內(nèi)聚 將在某一時(shí)刻同時(shí)要執(zhí)行的 任務(wù)組合在一起 ? 過程內(nèi)聚 指幾個(gè)相關(guān)聯(lián)的任務(wù)組合在一起 ? 通訊內(nèi)聚 指在同一 DS上進(jìn)行操作的幾個(gè)任務(wù) 組合在一起 ? 順序內(nèi)聚 指模塊的幾個(gè)任務(wù)總是前者的輸出即為 后者的輸入 ， 表現(xiàn)出按一定順序執(zhí)行 。 下一頁(yè) 上一頁(yè) 停止放映 第 69 頁(yè) 概要設(shè)計(jì) ? 概要設(shè)計(jì)是為軟件系統(tǒng)定義一個(gè)邏輯上一致的結(jié)構(gòu)：進(jìn)行模塊劃分，建立模塊層次結(jié)構(gòu)、調(diào)用關(guān)系，設(shè)計(jì)全局?jǐn)?shù)據(jù)結(jié)構(gòu)及數(shù)據(jù)庫(kù)，設(shè)計(jì)系統(tǒng)接口及人機(jī)界面等。 ?當(dāng)事物流中的 事物流到事物 中心后，事物 中心分析每個(gè) 事物，確定其 類型；并根據(jù) 事物類型選擇 一個(gè)事物路徑 繼續(xù)進(jìn)行處理。 下一頁(yè) 上一頁(yè) 停止放映 第 75 頁(yè) 變換分析的步驟 ? 確定 DFD及其類型 ? 確定輸入流 、 中心加工 、 輸出流的流界； ? 第一級(jí)分解；設(shè)計(jì)上層模塊； ? 第二級(jí)分解 ， 設(shè)計(jì)中 、 下層模塊； ? 進(jìn)一步精細(xì)化 。由此可見 ， 這是一個(gè)典型的變換流類型 。 Cm Ci Ct Co 數(shù)字儀表板 控制系統(tǒng) 接收傳感 器信號(hào) 數(shù)據(jù)轉(zhuǎn)換 控制 驅(qū)動(dòng)儀表 板面 下一頁(yè) 上一頁(yè) 停止放映 第 81 頁(yè) 設(shè)計(jì)步驟（四） ? 第 2級(jí)分解，建立中下層模塊 由頂向下，逐步精細(xì)，設(shè)計(jì)中、下層模塊。 – 轉(zhuǎn)換模塊的設(shè)計(jì)無(wú)規(guī)律性，一般可根據(jù)中心加工的子加工來(lái)建立模塊。圖 形 工 具 有 程 序 流 程 圖 、 PAD （ Problen Analysis Diagram ） 圖 、 NS （ 由 Nassi 和 Shneidermen開發(fā) ） 圖 ， 語(yǔ)言工具有偽碼和 PDL（ Program Design Languige） 等 。 下一頁(yè) 上一頁(yè) 停止放映 第 93 頁(yè) SP中的優(yōu)點(diǎn) ? 自頂向下 ， 逐步求精方法符合人們解決復(fù)雜問題的普遍規(guī)律；抽象 、 分解 、 找出關(guān)鍵問題所在 。 采用劃整為零的開發(fā)技術(shù) ， 便于各層次人員發(fā)揮各自的創(chuàng)造性勞動(dòng) 。 下一頁(yè) 上一頁(yè) 停止放映 第 94 頁(yè) SP中的缺點(diǎn) ? SP方法是面向過程的設(shè)計(jì)方法 ， 它的出發(fā)點(diǎn)是 “ 怎樣做 ？ ” 。 ? SP方法的模塊化設(shè)計(jì)的子程序 、 函數(shù)的可重用性很小 。 程序員在編程時(shí)必須隨時(shí)考慮要處理的數(shù)據(jù)的格式： – 不同格式的數(shù)據(jù) ， 即使做相同的處理 ， 也要編寫不同的代碼； – 數(shù)據(jù)格式一樣 ， 但處理不同 ， 也要用不同的代碼； – 相容性問題 。 程序設(shè)計(jì)語(yǔ)言的特點(diǎn)是： – 名字說明 – 類型說明 – 初始化 – 程序?qū)ο蟮木植啃? – 程序模塊 – 循環(huán)控制結(jié)構(gòu) – 分支控制結(jié)構(gòu) – 異常處理 – 獨(dú)立編譯 下一頁(yè) 上一頁(yè) 停止放映 第 97 頁(yè) 程序設(shè)計(jì)語(yǔ)言的特點(diǎn)（一） ? 名字說明 預(yù)先說明程序中使用的變量名 ， 這是許多編譯系統(tǒng)所要求的 ， 目的是檢查變量名的合法性 ， 使錯(cuò)誤能消除在語(yǔ)義 、 語(yǔ)法檢查階段 。 ? 初始化 變量在沒使用前是何種狀態(tài) （ 值 ） ， 在不同語(yǔ)言中是不確定的 。 ? 循環(huán)控制結(jié)構(gòu) 常見的循環(huán)結(jié)構(gòu)有三種： FOR 循環(huán) 、 WHILE… 循環(huán) 、 REPEAT … UNTIL循環(huán) 。 – 有些語(yǔ)言做了相應(yīng)的處理 ， 例如 ， C中增加了 default語(yǔ)句 。 ? 獨(dú)立編譯 便于程序的開發(fā)和調(diào)試 ， 提高開發(fā) 、 維護(hù)效率 。 ? 選擇語(yǔ)言時(shí) ， 不僅要考慮理論上的標(biāo)準(zhǔn) ， 還必須同時(shí)考慮使用方面的各種限制 。 ? 可以得到的軟件工具 好的開發(fā)工具 ， 將有利于系統(tǒng)的實(shí)現(xiàn)和驗(yàn)證 。 下一頁(yè) 上一頁(yè) 停止放映 第 102 頁(yè) 選擇語(yǔ)言的重要實(shí)用標(biāo)準(zhǔn)（二） ? 軟件的應(yīng)用領(lǐng)域 選擇語(yǔ)言時(shí)應(yīng)充分考慮目標(biāo)系統(tǒng)的應(yīng)用范圍： FORTRAN 科學(xué)計(jì)算首選語(yǔ)言 COBOL 適合于商業(yè)應(yīng)用 C和 Ada 適合于系統(tǒng)和實(shí)時(shí)應(yīng)用 LISP 適合于組合問題的應(yīng)用 PROLOG 適合于表達(dá)知識(shí)和推理應(yīng)用 下一頁(yè) 上一頁(yè) 停止放映 第 103 頁(yè) 寫程序的風(fēng)格 ? 指程序員在編程時(shí)所表現(xiàn)出來(lái)的特點(diǎn) 、 邏輯思路 、 結(jié)構(gòu)等 。 特別在維護(hù)階段 ， 對(duì)理解程序提供了指導(dǎo) 。 下一頁(yè) 上一頁(yè) 停止放映 第 107 頁(yè) 輸入 /輸出 ? 在編碼時(shí)要考慮下列 I/O風(fēng)格的規(guī)則： – 對(duì)所有的輸入數(shù)據(jù)進(jìn)行檢驗(yàn) – 檢查重要的輸入項(xiàng)組合的合法性 – 保持輸入格式的簡(jiǎn)單 – 使用數(shù)據(jù)結(jié)束標(biāo)記 ， 不要要求用戶指定數(shù)據(jù)的數(shù)目 – 明確提示交互式輸入的請(qǐng)求 ， 詳細(xì)說明可用的選擇或邊界數(shù)值； – 當(dāng)程序設(shè)計(jì)語(yǔ)言對(duì)格式有嚴(yán)格要求時(shí) ， 保持輸入格式一致 – 設(shè)計(jì)良好的輸出報(bào)表 – 給所有的輸出加標(biāo)志 下一頁(yè) 上一頁(yè) 停止放映 第 108 頁(yè) 提高程序質(zhì)量的技巧 ? 《 編程風(fēng)格要點(diǎn) 》一書中討論了提高程序質(zhì)量的種種技巧： – 避免使用過于相似的變量名 – 變量名中盡量不含數(shù)字 – 同一變量名不要具有多種意義 – 顯式說明所有變量 – 注意浮點(diǎn)運(yùn)算的誤差 – 注意整數(shù)運(yùn)算的特點(diǎn) – 避免不必要的 GOTO語(yǔ)句 – 盡量少用語(yǔ)句標(biāo)號(hào) 下一頁(yè) 上一頁(yè) 停止放映 第 109 頁(yè) 效率 ? 程序運(yùn)行時(shí)間 源程序的效率由算法的效率決定 ， 但寫程序的風(fēng)格也能對(duì)程序的執(zhí)行速度和存儲(chǔ)器要求產(chǎn)生影響 ， 可應(yīng)用下述規(guī)則： – 寫程序前先簡(jiǎn)化算術(shù)和邏輯表達(dá)式 – 盡量避免使用多維數(shù)組 ， 盡量避免使用指針和復(fù)雜的表 – 使用時(shí)間短的算術(shù)運(yùn)算 – 不要混合使用不同的數(shù)據(jù)類型 – 盡量使用整數(shù)運(yùn)算和布爾表達(dá)式 ? 存儲(chǔ)器效率 提高存儲(chǔ)器效率的關(guān)鍵是 “ 簡(jiǎn)單 ” ? I/O效率 簡(jiǎn)單清晰是提高人 機(jī)通信效率的關(guān)鍵 ， 應(yīng)采用： – 所有 I/O都應(yīng)該有緩沖 ， 以減少用于通信的額外開銷 – 對(duì)二級(jí)存儲(chǔ)器 （ 磁盤 ） 應(yīng)選用最簡(jiǎn)單的訪問方法 – 二級(jí)存儲(chǔ)器的 I/O應(yīng)該以信息組為單位進(jìn)行 。 ? 目的 發(fā)現(xiàn)軟件中隱藏的各種差錯(cuò)。 ? 結(jié)論 由于測(cè)試目標(biāo)是為了找出程序中的錯(cuò)誤 ， 因此 ， 由程序設(shè)計(jì)者本人進(jìn)行測(cè)試是不明智的 。 ? 白盒測(cè)試法 按程序的內(nèi)部邏輯結(jié)構(gòu)和處理過程進(jìn)行的測(cè)試 ， 稱為結(jié)構(gòu)測(cè)試 。 4）應(yīng)該長(zhǎng)期保留所有的測(cè)試用例，直到該系統(tǒng)被廢棄不用為止。測(cè)試方法： ? 邏輯覆蓋 – 語(yǔ)句覆蓋 – 判定覆蓋 – 條件覆蓋 – 判定 /條件覆蓋 – 條件組合覆蓋 ? 等價(jià)類劃分 ? 邊值分析 下一頁(yè) 上一頁(yè) 停止放映 第 117 頁(yè) 邏輯（路徑）覆蓋（白盒法） ? 按程序的內(nèi)部邏輯結(jié)構(gòu)進(jìn)行測(cè)試，為了衡量測(cè)試的覆蓋程度，建立下列標(biāo)準(zhǔn)（從低到高）： – 語(yǔ)句覆蓋 – 判定覆蓋 – 條件覆蓋 – 判定 /條件覆蓋 – 條件組合覆蓋 下一頁(yè) 上一頁(yè) 停止放映 第 118 頁(yè) 舉例 有一要測(cè)試的程序如下： sub （ a ， b，ｘ） float a， b，ｘ； { float y。 if(a=2||x＞ 1） ｘ＝ｘ＋１； ｝ 結(jié)束 程序邏輯結(jié)構(gòu)圖 開始 a1amp。選擇輸入數(shù)據(jù)為： ａ＝２，ｂ＝０，ｘ＝３ 就可達(dá)到 “ 語(yǔ)句覆蓋 ” 的標(biāo)準(zhǔn)。 下一頁(yè) 上一頁(yè) 停止放映 第 121 頁(yè) 邏輯覆蓋分析 ——條件覆蓋 ? 使判別中每個(gè)條件可能的值至少出現(xiàn)一次，及條件表達(dá)式中各個(gè)條件取兩個(gè)不同的值。 下一頁(yè) 上一頁(yè) 停止放映 第 122 頁(yè) 邏輯覆蓋分析 ——判別／條件覆蓋 ? 使判定的 ” 真 “ 、 ” 假 “ 各執(zhí)行一次，還要使判定中每個(gè)條件取兩種不同的值。 下一頁(yè) 上一頁(yè) 停止放映 第 123 頁(yè) 邏輯覆蓋分析 ——判別組合覆蓋 ? 使每個(gè)判定中的條件的各種組合都出現(xiàn)一次。 下一頁(yè) 上一頁(yè) 停止放映 第 124 頁(yè) 等價(jià)類劃分（黑盒法） ? 鑒于列舉所有可能的測(cè)試數(shù)據(jù)進(jìn)行測(cè)試的工作量太大，實(shí)際上無(wú)法實(shí)現(xiàn)，只好選取一部分測(cè)試數(shù)據(jù)進(jìn)行測(cè)試。 ? 劃分等價(jià)類需要經(jīng)驗(yàn)，以下是一些啟發(fā)性原則： – 若輸入條件規(guī)定了輸入值的范圍，則可能劃分一個(gè)有效的等價(jià)類和兩個(gè)無(wú)效的等價(jià)類（小于 MIN或大于 MAX）； – 如果規(guī)定輸入數(shù)據(jù)必須遵循的規(guī)則，則可劃分出一個(gè)有效的等價(jià)類（符合規(guī)則）和若干個(gè)無(wú)效的等價(jià)類（不符合規(guī)則）。 ? 使用邊值分析方法設(shè)計(jì)測(cè)試用例首先應(yīng)確定邊界情況，這需要經(jīng)驗(yàn)和創(chuàng)造性。 下一頁(yè) 上一頁(yè) 停止放映 第 127 頁(yè) 測(cè)試實(shí)施方法