【正文】 行測試 ,在設(shè)計測試用例時，采用等價分類法。 類的測試 類測試即傳統(tǒng)測試中的單元測試，即驗證類的實現(xiàn)與類的規(guī)約是否一致的活動。 識別五個主要的系統(tǒng)角色 (用戶 )： 管理者 (Manager)、 發(fā)貨人員 (Shipper) 收款人員 (Toll collector)、 商務(wù)客戶 (Customer) 信用卡 (Creditcard) 從各個角色出發(fā)，通過下邊的問題識別用例： 角色要求系統(tǒng)提供的功能有哪些？系統(tǒng)在提供這些功能的時候該角色需要做什么？ 角色需要創(chuàng)建、閱讀、銷毀或存儲系統(tǒng)的哪些信息？ 系統(tǒng)中的哪些事件需要通知該角色？ 以管理者為例： (1)管理者要求系統(tǒng)為他提供什么功能？管理者需要做哪些工作？ 答：管理者要求系統(tǒng)提供： ； ； ，并將訂單發(fā)送給倉庫； ； ； ； ； ； 更新 。 測試也有需求 、 設(shè)計和實現(xiàn) ， 并且測試本身也會有測試(測試中的測試 )。 系統(tǒng)測試包括： ? 功能測試 ? 壓力測試 ? 安全測試 ? 兼容性測試 ? 安裝測試 ? 恢復(fù)測試 面向?qū)ο鬁y試類型 模型測試 類測試 交互測試 系統(tǒng)（子系統(tǒng)）測試 驗收和發(fā)布測試 驗收測試：交付用戶前的系統(tǒng)測試。 面向?qū)ο鬁y試類型 模型測試 類測試 交互測試 系統(tǒng)（子系統(tǒng)）測試 驗收和發(fā)布測試 采用正式技術(shù)評審的方法，檢查分析與設(shè)計模型的正確性、完整性和一制性。 面向?qū)ο蟮臏y試，既要使用許多傳統(tǒng)的成熟的軟件測試方法和技術(shù)，也有其不同的特點；主要反映在測試對象和內(nèi)容的不同。 （ 2）由教師進(jìn)行測試。隨著軟 件工程過程的進(jìn)展軟件配置項（ SCI software Configuration Item） 快速增加和變化。 常見的 混合增值方案： 衍變的自頂而下 先自底而上集成子系統(tǒng)，再自頂而下集成總系統(tǒng)。 舉例：按自頂而下增值法，寫出下圖中分別按照 深度優(yōu)先 或者 寬度優(yōu)先 增值的模塊組裝次序。 S4 第三步，對由主控模塊 M1和模塊 M M M4構(gòu)成的子系統(tǒng)進(jìn)行測試，設(shè)計樁模塊S S5。 被測模塊 驅(qū)動模塊 樁模塊 樁模塊 樁模塊 二、組裝測試 （ Integration Testing） ①確定模塊組裝方案，將經(jīng)過測試的模塊組裝為一個完整的系統(tǒng)。 邊界條件常包括循環(huán)邊界，最大最小值、控制流中等于、大于、小于的比較值等。第一字符不正 確發(fā)出信息 X12， 第二個字符不正確發(fā)出信息 X13。 R約束（要求 ） — 需要 a為 1時， b必須為 1 M約束（強(qiáng)制 ） — 屏蔽 若 a為 1時，則 b強(qiáng)制為 1。 因果圖是一種形式化語言，是一種組合邏輯 網(wǎng)絡(luò)圖。 D 輸入 /輸出有序集 （ 如順序文件 、 線性表 ） 的邊界 。 D 輸入 /輸出有序集的邊界。 可以劃分兩個無效等價類：未選修課 ， 選修課超過 3門 。 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)一次。 4）驗證分析運行結(jié)果與預(yù)期結(jié)果。 ③ 條件覆蓋 ：執(zhí)行足夠的測試用例 ， 使得判定中的每個條件獲得各種可能的結(jié)果 。 ② 數(shù)據(jù)流分析圖 節(jié)點 —表示單個語句。 輸入數(shù)據(jù)的組成（輸入數(shù)據(jù)、預(yù)期的輸出結(jié)果） 既有合理輸入數(shù)據(jù)，也有不合理的輸入數(shù)據(jù)。例如： APPOLLO登月計劃，80%的經(jīng)費用于軟件測試。 二、軟件測試的 特點 軟件測試的開銷大 按照 Boehm的統(tǒng)計，軟件測試的開銷大約占總成本的 30%50%。 關(guān)鍵是注重測試用例的選擇。 READY Y0 N X:=Y X0 Y N Y 調(diào)用子程序 A B C D E 即執(zhí)行 ABC后，是不可能執(zhí)行路徑CDE的。 ② 判定覆蓋 ： 執(zhí)行足夠的測試用例，使得程序中每個判定至少都獲得一次 “ 真 ” 值和 “ 假 ” 值。 3）選擇確定測試用例。 判定 /條件覆蓋 同時滿足判斷覆蓋和條件覆蓋。 例如：每個學(xué)生可選修 13門課程 可以劃分一個有效等價類：選修 13門課程 。 C 輸出值域的邊界。 設(shè)計用例：可檢索0篇 、 1篇 、 4篇 ， 和 5篇 （ 錯誤 ） 。根據(jù)這種關(guān)系可選擇高效的測試用例。 O約束（唯一 ） — 選一 a、 b中僅有一個為 1。滿足則修改文件。 檢查“錯誤處理程序”本身的錯誤。測試方法以白盒法為主。 M2 M3 M4 第二步，依次用 M MM4替代樁模塊 S S S3，每替代一次進(jìn)行一次測試。 D6 深度優(yōu)先與寬度優(yōu)先 無論是 自頂而下增值還是自底而上增值，還可選擇 深度優(yōu)先 或者 寬度優(yōu)先 增值。 ② 盡早測試包含 I/O的模塊。 （ 2）軟件配置復(fù)查 軟件配置 —指軟件工程過程中所產(chǎn)生的所有信 息項：文檔、報告、程序、表格、數(shù)據(jù)。 ： （ 1）由課題組根據(jù)測試用例，自己演示系統(tǒng)所有功能。 面向?qū)ο蟮臏y試 而面向?qū)ο蟮臏y試貫穿軟件開發(fā)的全過程，是與開發(fā)過程密切相關(guān)，而又分離出來的過程。 多態(tài)性 —提供強(qiáng)大的處理能力，但也增加測試的復(fù)雜性。 面向?qū)ο鬁y試類型 模型測試 類測試 交互測試 系統(tǒng)（子系統(tǒng)）測試 驗收和發(fā)布測試 測試系統(tǒng)或獨立子系統(tǒng)，確保系統(tǒng)無明顯故障，并滿足用戶需求。 測試實際上也是一個項目。 三、 用例模型的測試 下面以一個訂貨中心系統(tǒng)的用例模型為例說明測試用例的設(shè)計。 以上測試未觸及某個具體用例，體現(xiàn)了用例模型測試和用例測試的區(qū)別。 類的測試 date dd:Day mm:Month yy:Yers Date(pDay:integer,pMonth:integer,pYers:integer) decrease(argname) printDate() calendarUnit currentVal:Integer CalenderUnit(pVal:Integer) SetValue(pVal:Integer) decrease() Day Month Yers 注意：操作測試應(yīng)該考慮其可能被調(diào)用的各種情況 。 類模型的測試 針對每個類提問： (1)該類在問題域中對應(yīng)的實體 (或?qū)ο?)是什么？ (2)履行什么職責(zé)？ (3)在類圖中被賦予了哪些職責(zé)？ (4)該類在問題域中的職責(zé)和在類圖中的職責(zé)能匹配嗎？ (5)該類的每個數(shù)據(jù)屬性都是問題域所關(guān)心的嗎？ 針對類圖中的類之間的關(guān)系提問： (1)這種類關(guān)系是反映了問題域本質(zhì)的關(guān)系還是為管理類模型而引入的關(guān)系 ？ (如果類之間的關(guān)系并非反映問題域的本質(zhì) ， 那么這個關(guān)系的存在就值得懷疑 。 A、 綜合測試策略（靜態(tài)分析、白盒法為主，輔以黑盒法） B、 測試情況（根據(jù)覆蓋標(biāo)準(zhǔn)列出） C、 測試用例（保留） D、 查錯記錄（數(shù)量、位置）、分析結(jié)果。 注意在修改一個錯誤的同時，又引入新的錯誤。 列舉可能 的原因 排除不適 當(dāng)?shù)脑? 對保留的假 設(shè)繼續(xù)推斷 證明 假設(shè) 糾正 錯誤 收集更多 的數(shù)據(jù) 沒有剩余 不能 能 有剩余 演繹法排錯的步驟