【正文】 ? 使用邊值分析方法設(shè)計(jì)測(cè)試用例首先應(yīng)確定邊界情況，這需要經(jīng)驗(yàn)和創(chuàng)造性。 下一頁(yè) 上一頁(yè) 停止放映 第 124 頁(yè) 等價(jià)類(lèi)劃分（黑盒法） ? 鑒于列舉所有可能的測(cè)試數(shù)據(jù)進(jìn)行測(cè)試的工作量太大，實(shí)際上無(wú)法實(shí)現(xiàn)，只好選取一部分測(cè)試數(shù)據(jù)進(jìn)行測(cè)試。 下一頁(yè) 上一頁(yè) 停止放映 第 122 頁(yè) 邏輯覆蓋分析 ——判別／條件覆蓋 ? 使判定的 ” 真 “ 、 ” 假 “ 各執(zhí)行一次，還要使判定中每個(gè)條件取兩種不同的值。選擇輸入數(shù)據(jù)為： ａ＝２，ｂ＝０，ｘ＝３ 就可達(dá)到 “ 語(yǔ)句覆蓋 ” 的標(biāo)準(zhǔn)。測(cè)試方法： ? 邏輯覆蓋 – 語(yǔ)句覆蓋 – 判定覆蓋 – 條件覆蓋 – 判定 /條件覆蓋 – 條件組合覆蓋 ? 等價(jià)類(lèi)劃分 ? 邊值分析 下一頁(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。 ? 白盒測(cè)試法 按程序的內(nèi)部邏輯結(jié)構(gòu)和處理過(guò)程進(jìn)行的測(cè)試 ， 稱(chēng)為結(jié)構(gòu)測(cè)試 。 ? 目的 發(fā)現(xiàn)軟件中隱藏的各種差錯(cuò)。 特別在維護(hù)階段 ， 對(duì)理解程序提供了指導(dǎo) 。 ? 可以得到的軟件工具 好的開(kāi)發(fā)工具 ， 將有利于系統(tǒng)的實(shí)現(xiàn)和驗(yàn)證 。 ? 獨(dú)立編譯 便于程序的開(kāi)發(fā)和調(diào)試 ， 提高開(kāi)發(fā) 、 維護(hù)效率 。 ? 循環(huán)控制結(jié)構(gòu) 常見(jiàn)的循環(huán)結(jié)構(gòu)有三種： FOR 循環(huán) 、 WHILE… 循環(huán) 、 REPEAT … UNTIL循環(huán) 。 程序設(shè)計(jì)語(yǔ)言的特點(diǎn)是： – 名字說(shuō)明 – 類(lèi)型說(shuō)明 – 初始化 – 程序?qū)ο蟮木植啃? – 程序模塊 – 循環(huán)控制結(jié)構(gòu) – 分支控制結(jié)構(gòu) – 異常處理 – 獨(dú)立編譯 下一頁(yè) 上一頁(yè) 停止放映 第 97 頁(yè) 程序設(shè)計(jì)語(yǔ)言的特點(diǎn)（一） ? 名字說(shuō)明 預(yù)先說(shuō)明程序中使用的變量名 ， 這是許多編譯系統(tǒng)所要求的 ， 目的是檢查變量名的合法性 ， 使錯(cuò)誤能消除在語(yǔ)義 、 語(yǔ)法檢查階段 。 ? SP方法的模塊化設(shè)計(jì)的子程序 、 函數(shù)的可重用性很小 。 采用劃整為零的開(kāi)發(fā)技術(shù) ， 便于各層次人員發(fā)揮各自的創(chuàng)造性勞動(dòng) 。圖 形 工 具 有 程 序 流 程 圖 、 PAD （ Problen Analysis Diagram ） 圖 、 NS （ 由 Nassi 和 Shneidermen開(kāi)發(fā) ） 圖 ， 語(yǔ)言工具有偽碼和 PDL（ Program Design Languige） 等 。 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ì)中、下層模塊。 下一頁(yè) 上一頁(yè) 停止放映 第 75 頁(yè) 變換分析的步驟 ? 確定 DFD及其類(lèi)型 ? 確定輸入流 、 中心加工 、 輸出流的流界； ? 第一級(jí)分解；設(shè)計(jì)上層模塊； ? 第二級(jí)分解 ， 設(shè)計(jì)中 、 下層模塊； ? 進(jìn)一步精細(xì)化 。 下一頁(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ī)界面等。 ? 內(nèi)聚性是指一個(gè)模塊內(nèi)部各種數(shù)據(jù)和各種處理之間聯(lián)系的緊密程度 。 傳遞參數(shù)可以是： 加工的數(shù)據(jù)或控制用數(shù)據(jù) （ 這是推薦和常用的藕合方法 ） ? 標(biāo)記藕合 通過(guò)參數(shù)傳遞一種數(shù)據(jù)結(jié)構(gòu)值 。 ? 根據(jù)心理學(xué)研究表明 ， 一個(gè)模塊的語(yǔ)句數(shù)量以 30~50句為易 （ 在一張打印紙上可完整地輸出 ） 。 但有這樣一個(gè)實(shí)際問(wèn)題 ， 一個(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)具有倒置水缸形；即頂部寬度最小 ， 中間寬度最大 ， 底部寬度小于中間的寬度 。 它可對(duì)編程和測(cè)試提供指南服務(wù) ， 還可在系統(tǒng)交付使用后 ， 為維護(hù)人員提供幫助 。 2． 建立當(dāng)前系統(tǒng)的邏輯模型 邏輯模型是指系統(tǒng)的功能模型 ，反映了數(shù)據(jù)處理系統(tǒng)的本質(zhì) 。如果開(kāi)發(fā)的系統(tǒng)中使用的基本數(shù)據(jù)是正文行和文件，適合用Shell描述算法。 ? PSL/PSA有 4種主要功能： – 描述任何應(yīng)用領(lǐng)域的信息系統(tǒng) – 創(chuàng)建一個(gè) DB保存對(duì)該信息系統(tǒng)的描述符 – 對(duì)描述符可執(zhí)行增、刪、改等操作 – 產(chǎn)生格式化文檔及規(guī)格說(shuō)明書(shū)的各種分析報(bào)告 ? PSL/PSA的主要優(yōu)點(diǎn)是改進(jìn)了文檔質(zhì)量、使之具有完整性、一致性和無(wú)二義性，從而減少管理維護(hù)費(fèi)用。例如， 結(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ù)能浖ぞ咧С中枨蠓治龉ぷ鳌? 下一頁(yè) 上一頁(yè) 停止放映 第 39 頁(yè) 結(jié)構(gòu)化語(yǔ)言 ? 例如，選擇結(jié)構(gòu)的描述語(yǔ)句、循環(huán)結(jié)構(gòu)的描述語(yǔ)句等。因此，通常采用分層次結(jié)構(gòu)。 3． 能夠?qū)λＰ桶匆欢ㄐ问竭M(jìn)行分解 分解是為了降低問(wèn)題的復(fù)雜性 ， 增加問(wèn)題的可解性和可描述性 。 下一頁(yè) 上一頁(yè) 停止放映 第 28 頁(yè) 書(shū)寫(xiě)文檔資料 ? 在軟件生命周期的各個(gè)階段，作為階段成果的組成部分 ——文檔資料，其作用如何強(qiáng)調(diào)都不過(guò)份。把對(duì)算法的簡(jiǎn)明描述記錄在IPO（輸入 |處理 |輸出圖）圖中。而這一階段是面向用戶(hù)問(wèn)題的，而不是面向軟件求解的。 ? 目標(biāo) 它要規(guī)定項(xiàng)目必須滿(mǎn)足的總目標(biāo)；確定項(xiàng)目的可行性；擬定完成項(xiàng)目各個(gè)目標(biāo)的策略，制定項(xiàng)目資源成本和進(jìn)度。 ? SD是一種用于概要設(shè)計(jì)的方法 ， 與 SA方法配合使用 。 ? 1978年 Kernihan和 Plauger對(duì)一些編碼風(fēng)格進(jìn)行歸納 ， 提出了 16種具體方法 。 求解 （ 抽象 ） 過(guò)程可以劃分為若干個(gè)階段 ， 在不同階段用不同工具來(lái)描述 。 ? 基本要點(diǎn)是： – 自頂向下 – 逐步求精 – 模塊化設(shè)計(jì) – 結(jié)構(gòu)化編碼 – 主程序員組織 – 結(jié)構(gòu)化設(shè)計(jì) SD ? SP的基本思想： 把一個(gè)復(fù)雜問(wèn)題的求解過(guò)程分階段進(jìn)行 ， 每個(gè)階段處理的問(wèn)題都控制在人們?nèi)菀桌斫夂吞幚淼姆秶鷥?nèi) 。 下一頁(yè) 上一頁(yè) 停止放映 第 6 頁(yè) “逐步求精” ? 將現(xiàn)實(shí)世界的問(wèn)題經(jīng)抽象轉(zhuǎn)化為邏輯空間或求解空間的問(wèn)題 。 ? 模塊化的目的是為了降低軟件復(fù)雜度 ， 使軟件設(shè)計(jì) ， 調(diào)試和維護(hù)等操作變得簡(jiǎn)易 。 下一頁(yè) 上一頁(yè) 停止放映 第 11 頁(yè) 結(jié)構(gòu)化方法的體系結(jié)構(gòu) ? 結(jié)構(gòu)化方法的體系結(jié)構(gòu)是 : – 結(jié)構(gòu)化分析（ SA— Structure Analysis） – 結(jié)構(gòu)化設(shè)計(jì)（ SD— Structure Design） – 結(jié)構(gòu)化程序設(shè)計(jì)（ SP— Structure Programing） 下一頁(yè) 上一頁(yè) 停止放映 第 12 頁(yè) 結(jié)構(gòu)化分析 SA ? SA方法是建立在自頂向下 、 逐步求精思想基礎(chǔ)上的分析方法 ， 它的要點(diǎn)是 分解和抽象： – 把復(fù)雜問(wèn)題自頂向下逐層分解 ， 再?gòu)姆纸獬龅膶?duì)象中抽象出相對(duì)簡(jiǎn)單的子問(wèn)題 。 ? 在長(zhǎng)期程序設(shè)計(jì)的實(shí)踐中 ， SP方法不斷得以完善 ， 使之成為開(kāi)發(fā)傳統(tǒng)應(yīng)用領(lǐng)域應(yīng)用系統(tǒng)的主要方法之一 。 – 用戶(hù)熟悉業(yè)務(wù)，但不了解計(jì)算機(jī)；而軟件人員則相反；這種隔閡使雙方不能進(jìn)行交流。 ? 將來(lái)可能提出的要求 為系統(tǒng)將來(lái)可能的擴(kuò)充和修改預(yù)做準(zhǔn)備。 下一頁(yè) 上一頁(yè) 停止放映 第 26 頁(yè) 細(xì)化數(shù)據(jù)流圖 ? 在反復(fù)循環(huán)的分析過(guò)程中，不斷細(xì)化DFD（即把數(shù)據(jù)流圖擴(kuò)展到更低的層次）。 下一頁(yè) 上一頁(yè) 停止放映 第 29 頁(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)限制 ? 用戶(hù)系統(tǒng)描述 – 系統(tǒng)功能和性能的描述 – 使用系統(tǒng)的主要步驟和方法 – 系統(tǒng)用戶(hù)的責(zé)任等 下一頁(yè) 上一頁(yè) 停止放映 第 30 頁(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ù)；離開(kāi)的是輸出數(shù)據(jù)。大的數(shù)據(jù)處理系統(tǒng)在 DD上投入的工作量是相當(dāng)大的。判定樹(shù)中縱向各列給出的是不同的條件，橫向各行則表示在任何條件下相應(yīng)的處理。它是CADSAT（計(jì)算機(jī)輔助設(shè)計(jì)和規(guī)格說(shuō)明分析工具）的一部分。用它來(lái)開(kāi)發(fā)一個(gè)原型系統(tǒng)所需要的時(shí)間通常只相當(dāng)于實(shí)現(xiàn)最終系統(tǒng)所用時(shí)間的一小部分。 ? 第 4代語(yǔ)言具有非過(guò)程性、交互性、可視性、智能化缺省設(shè)置、易使用、高生產(chǎn)率、易調(diào)試、易維護(hù)、 OO及基于 DBMS等，是快速構(gòu)造軟件原型的高效軟件工具。 下一頁(yè) 上一頁(yè) 停止放映 第 48 頁(yè) 三、系統(tǒng)設(shè)計(jì)（軟件的設(shè)計(jì)） ? 系統(tǒng)設(shè)計(jì)概述 – 目標(biāo)和任務(wù) – 設(shè)計(jì)方法和步驟 – 文檔 – 設(shè)計(jì)復(fù)審 下一頁(yè) 上一頁(yè) 停止放映 第 49 頁(yè) 軟件設(shè)計(jì)流程圖 概要設(shè)計(jì) 復(fù)審 要求說(shuō)明書(shū) 軟件 結(jié)構(gòu) 可接收 詳細(xì)設(shè)計(jì) 模塊 描述 設(shè)計(jì) 說(shuō)明書(shū) 復(fù)審 修改 修改 下一頁(yè) 上一頁(yè) 停止放映 第 50 頁(yè) 軟件設(shè)計(jì)概述 ? 目標(biāo)和任務(wù) – 任務(wù) 依據(jù)分析結(jié)果 ， 明確系統(tǒng) “ 如何做 ？ ” ， 建立實(shí)現(xiàn)方案 。 下一頁(yè) 上一頁(yè) 停止放映 第 55 頁(yè) 軟件設(shè)計(jì)準(zhǔn)則 ? 如何度量軟件設(shè)計(jì)的標(biāo)準(zhǔn) ， 計(jì)算機(jī)業(yè)界對(duì)該問(wèn)題還處于初期認(rèn)識(shí)階段 。 M E A B C D F G H 下一頁(yè) 上一頁(yè) 停止放映 第 60 頁(yè) 模塊化準(zhǔn)則 ? 設(shè) C(X） 是關(guān)于問(wèn)題 X的復(fù)雜性 ， E(X） 是完成問(wèn)題 X的工作量 ， 有兩個(gè)問(wèn)題 P1和 P2： 若 C(P1） C(P2) , (即 P1比 P2復(fù)雜 ) E(P1) E(P2), (即 P1比 P2用的工作量多 ) 而 C(P1+P2) C(P1) + C(P2), (即組合問(wèn)題比單個(gè)問(wèn)題復(fù)雜 ) 則 E(P1+P2) E(P1) + E(P2) (組合問(wèn)題的工作量大于單個(gè)問(wèn)題的工作量之和 ) ? 這說(shuō)明 : 軟件分解為若個(gè)模塊后 ,則總的工作量減少 ， 但并不是說(shuō) ， 模塊分解的越多 ， 工作量就一定越少 。 ? 度量模塊的獨(dú)立性標(biāo)準(zhǔn)： – 內(nèi)聚性 模塊內(nèi)部各部分之間聯(lián)系緊密程度的度量； – 藕合性 模塊之間聯(lián)系緊密程度的度量。 不光是模塊間數(shù)據(jù)引用的沖突問(wèn)題 ， 還有時(shí)間差數(shù)據(jù)變更問(wèn)題 。 ? 功能內(nèi)聚 指模塊只包含完成單一功能的任務(wù) 。 下一頁(yè) 上一頁(yè) 停止放映 第 73 頁(yè) 設(shè)計(jì)過(guò)程 流 類(lèi)型？ 區(qū)分事物中心和 數(shù)據(jù)接受路徑 區(qū)分輸入和 輸出分支 ”事物“ ”變換“ 映射成事物結(jié)構(gòu) 映射成變換結(jié)構(gòu) 用啟發(fā)式設(shè)計(jì)規(guī)則精化軟件結(jié)構(gòu) 導(dǎo)出接口描述和 全程數(shù)據(jù)結(jié)構(gòu) 詳細(xì)設(shè)計(jì) 下一頁(yè) 上一頁(yè) 停止放映 第 74 頁(yè) 變換分析技術(shù) ? 變換分析技術(shù)是從典型的變換型數(shù)據(jù)流程圖 （ DFD） 中推導(dǎo)出相應(yīng)的結(jié)構(gòu)圖 。 – rpm 每分鐘轉(zhuǎn)數(shù) – gph 每小時(shí)加侖數(shù) – mph 每小時(shí)英里數(shù) – mpg 每加侖英里數(shù) 下一頁(yè) 上一頁(yè) 停止放映 第 79 頁(yè) 設(shè)計(jì)步驟（二） ? 確定流界 （ 輸入流 、 變換流和輸出流 ） – 輸入流 讀旋轉(zhuǎn)信號(hào) 、 收集求和平均值 、