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