【正文】 ； ； ，并將訂單發(fā)送給倉(cāng)庫(kù)； ； ； ； ； ； 更新 。 二、 測(cè)試過(guò)程 通常測(cè)試步驟如下： 測(cè)試用例模型 ? 測(cè)試某些用例中的典型場(chǎng)景 ? 類及對(duì)象模型 ? 某些類測(cè)試其狀態(tài)模型 單個(gè)用例測(cè)試采取典型應(yīng)用場(chǎng)景的測(cè)試方法，用例模型的測(cè)試相當(dāng)于系統(tǒng)測(cè)試，測(cè)試的主要目標(biāo)是用例模型對(duì)于用戶需求的可跟蹤性。 測(cè)試也有需求 、 設(shè)計(jì)和實(shí)現(xiàn) ， 并且測(cè)試本身也會(huì)有測(cè)試(測(cè)試中的測(cè)試 )。而且，需求模型、設(shè)計(jì)模型和實(shí)現(xiàn)代碼之間還具備解釋特性。 系統(tǒng)測(cè)試包括： ? 功能測(cè)試 ? 壓力測(cè)試 ? 安全測(cè)試 ? 兼容性測(cè)試 ? 安裝測(cè)試 ? 恢復(fù)測(cè)試 面向?qū)ο鬁y(cè)試類型 模型測(cè)試 類測(cè)試 交互測(cè)試 系統(tǒng)（子系統(tǒng)）測(cè)試 驗(yàn)收和發(fā)布測(cè)試 驗(yàn)收測(cè)試：交付用戶前的系統(tǒng)測(cè)試。 面向?qū)ο鬁y(cè)試類型 模型測(cè)試 類測(cè)試 交互測(cè)試 系統(tǒng)（子系統(tǒng)）測(cè)試 驗(yàn)收和發(fā)布測(cè)試 交互測(cè)試用于代替?zhèn)鹘y(tǒng)測(cè)試方法中的集成測(cè)試。 面向?qū)ο鬁y(cè)試類型 模型測(cè)試 類測(cè)試 交互測(cè)試 系統(tǒng)（子系統(tǒng)）測(cè)試 驗(yàn)收和發(fā)布測(cè)試 采用正式技術(shù)評(píng)審的方法，檢查分析與設(shè)計(jì)模型的正確性、完整性和一制性。 ，根據(jù) 面向?qū)ο蟮闹饕匦裕枰淖儨y(cè)試策略和方法。 面向?qū)ο蟮臏y(cè)試，既要使用許多傳統(tǒng)的成熟的軟件測(cè)試方法和技術(shù)，也有其不同的特點(diǎn)；主要反映在測(cè)試對(duì)象和內(nèi)容的不同。 一般都應(yīng)該先進(jìn)行靜態(tài)測(cè)試 ， 再考慮動(dòng)態(tài)測(cè)試 。 （ 2）由教師進(jìn)行測(cè)試。 Function Testing 功能測(cè)試 Local Area Testing 局域化測(cè)試 Usability Testing 可使用性測(cè)試 Regression Testing 回歸測(cè)試 Performance Testing 性能測(cè)試 Supportability Testing 可支持 性測(cè)試 四、系統(tǒng)測(cè)試 （ system testing ） 將經(jīng)過(guò)確認(rèn)測(cè)試的軟件，與計(jì)算機(jī)硬件、外設(shè)、 支持軟件等一起，在實(shí)際運(yùn)行環(huán)境下測(cè)試。隨著軟 件工程過(guò)程的進(jìn)展軟件配置項(xiàng)（ SCI software Configuration Item） 快速增加和變化。 三、確認(rèn)測(cè)試 (validation testing) 又稱為有效性測(cè)試或功能測(cè)試。 常見(jiàn)的 混合增值方案： 衍變的自頂而下 先自底而上集成子系統(tǒng)，再自頂而下集成總系統(tǒng)。 自底而上 增值 優(yōu)點(diǎn)：驅(qū)動(dòng)模塊較容易編寫樁模塊，能夠盡早查出底層涉及較復(fù)雜的算法和實(shí)際的 I/O模塊中的錯(cuò)誤。 舉例：按自頂而下增值法，寫出下圖中分別按照 深度優(yōu)先 或者 寬度優(yōu)先 增值的模塊組裝次序。 D4 D5 M1 M4 M3 M2 M6 M5 程序模塊示意圖 第一步，對(duì)最底層的模塊 MM M6進(jìn)行測(cè)試 ,設(shè)計(jì)驅(qū)動(dòng)模塊 D D D3來(lái)模擬調(diào)用。 S4 第三步，對(duì)由主控模塊 M1和模塊 M M M4構(gòu)成的子系統(tǒng)進(jìn)行測(cè)試，設(shè)計(jì)樁模塊S S5。 問(wèn)題： 漸增式與非漸增式各有何優(yōu)、缺點(diǎn)？為什么通常采用漸增式？ 漸增式是先進(jìn)行模塊測(cè)試 ， 然后將這些模塊逐步組裝成較大的系統(tǒng) ， 每連接一個(gè)模塊進(jìn)行一次測(cè)試 。 被測(cè)模塊 驅(qū)動(dòng)模塊 樁模塊 樁模塊 樁模塊 二、組裝測(cè)試 （ Integration Testing） ①確定模塊組裝方案，將經(jīng)過(guò)測(cè)試的模塊組裝為一個(gè)完整的系統(tǒng)。 樁模塊 （ stub） — 又稱為假模塊，用于模擬那些由被測(cè)模塊所調(diào)用的下屬模塊功能。 邊界條件常包括循環(huán)邊界，最大最小值、控制流中等于、大于、小于的比較值等。并事先制訂測(cè)試計(jì) 劃。第一字符不正 確發(fā)出信息 X12， 第二個(gè)字符不正確發(fā)出信息 X13。 將判斷表的每一列，轉(zhuǎn)換為一個(gè)測(cè)試用例。 R約束（要求 ） — 需要 a為 1時(shí)， b必須為 1 M約束（強(qiáng)制 ） — 屏蔽 若 a為 1時(shí)，則 b強(qiáng)制為 1。 “ 與 ” 函數(shù) 若 a與 b同為 1，則 d為 1，否則 d為 0。 因果圖是一種形式化語(yǔ)言，是一種組合邏輯 網(wǎng)絡(luò)圖。 D為界偶 （ 17個(gè) ） ： [ld:]nd ld 和 nd 的值為 165535， ld缺省為 1。 D 輸入 /輸出有序集 （ 如順序文件 、 線性表 ） 的邊界 。 例如：輸入文件可有 1255個(gè)記錄 ， 則 設(shè)計(jì)用例：文件的記錄數(shù)為 0個(gè) 、 1個(gè) 、 255個(gè) 、 256個(gè) 。 D 輸入 /輸出有序集的邊界。 B 選擇測(cè)試用例，測(cè)試等價(jià)類邊界。 可以劃分兩個(gè)無(wú)效等價(jià)類：未選修課 ， 選修課超過(guò) 3門 。 等價(jià)類分為： 有效等價(jià)類 — 對(duì)于程序的規(guī)格說(shuō)明，是合理的、有意義的輸入數(shù)據(jù)構(gòu)成的集合。 A1 AND B=0 X:=X/A A=2 OR X1 X:=X+1 a b c d e 應(yīng)滿足以下覆蓋情況： 條件 : A1, A≤1, B=0, B≠0 A=2, A≠2, X1, X≤1 應(yīng)執(zhí)行路徑 ace ∧ abd 或： acd ∧ abe 選擇用例： [(2,0,4),(2,0,3)]（ ace) [(1,1,1),(1,1,1)] (abd) Y Y N N 條件組合覆蓋 使得每個(gè)判定中條件的各種可能組合都至少出現(xiàn)一次。 A1 AND B=0 X:=X/A A=2 OR X1 X:=X+1 a b c d e 滿足語(yǔ)句覆蓋的情況： 執(zhí)行路徑： ace 選擇用例： [(2,0,4),(2,0,3)] 用例格式： [輸入 (A,B,X)，輸出 (A,B,X)] Y N Y N 判定覆蓋 使得程序中每個(gè)判定至少為TRUE 或 FALSE各一次。 4）驗(yàn)證分析運(yùn)行結(jié)果與預(yù)期結(jié)果。 IF (A=2) OR (X1) THEN X:=X+1 END。 ③ 條件覆蓋 ：執(zhí)行足夠的測(cè)試用例 ， 使得判定中的每個(gè)條件獲得各種可能的結(jié)果 。 黑盒法 不考慮程序的內(nèi)部結(jié)構(gòu)與特性，只根據(jù)程序功能或程序的外部特性設(shè)計(jì)測(cè)試用例。 ② 數(shù)據(jù)流分析圖 節(jié)點(diǎn) —表示單個(gè)語(yǔ)句。 桌前檢查 代碼會(huì)審 步行檢查 步行檢查時(shí)，還常使用以下分析方法： ① 調(diào)用圖 從語(yǔ)義的角度考察程序的控制路線。 輸入數(shù)據(jù)的組成（輸入數(shù)據(jù)、預(yù)期的輸出結(jié)果） 既有合理輸入數(shù)據(jù)，也有不合理的輸入數(shù)據(jù)。 32 32 64 P X Y Z 二、軟件測(cè)試的 特點(diǎn) — 結(jié)論 軟件測(cè)試難度大 根據(jù)上述分析，既然不能進(jìn)行 “窮舉”測(cè)試，又要查出盡可能多的錯(cuò)誤，軟件測(cè)試工作的難度大。例如： APPOLLO登月計(jì)劃，80%的經(jīng)費(fèi)用于軟件測(cè)試。第 八 章 8 更多軟件測(cè)試技術(shù)文章請(qǐng)?jiān)L問(wèn)： 一、軟件測(cè)試的目的和重要性 因?yàn)殚_(kāi)發(fā)工作的前期不可避免地會(huì)引入錯(cuò)誤，測(cè)試的 目的是為了發(fā)現(xiàn)和改正錯(cuò)誤 ，這對(duì)于某些涉及人的生命安全或重要的軍事、經(jīng)濟(jì)目標(biāo)的項(xiàng)目顯得尤其重要。 二、軟件測(cè)試的 特點(diǎn) 軟件測(cè)試的開(kāi)銷大 按照 Boehm的統(tǒng)計(jì)，軟件測(cè)試的開(kāi)銷大約占總成本的 30%50%。所有的測(cè)試數(shù)據(jù)組（ Xi， Yi） 的數(shù)目為： 2 2 = 2 1毫秒執(zhí)行 1次，共需 5億年。 關(guān)鍵是注重測(cè)試用例的選擇。 四、測(cè)試的基本步驟 模塊測(cè)試 整體測(cè)試 功能測(cè)試 預(yù)測(cè)試 系統(tǒng)測(cè)試 驗(yàn)收測(cè)試 安裝測(cè)試 概要設(shè)計(jì)審查 詳細(xì)設(shè)計(jì)審查 代碼審查 測(cè)試 (單元測(cè)試） （組裝測(cè)試） （有效性測(cè)試） （確認(rèn)