【正文】 d e 覆蓋情況： 應(yīng)執(zhí)行路徑 ace ∧ abd 或： acd ∧ abe 選擇用例 (其一）： ⑴ [(2,0,4),(2,0,3)] ace [(1,1,1),(1,1,1)] abd ⑵ [(2,1,1),(2,1,2)] abe [(3,0,3),(3,1,1)] acd Y Y N N 條件覆蓋 A1 AND B=0 X:=X/A A=2 OR X1 X:=X+1 a b c d e 使得判定中的每個(gè)條件獲得各種可能的結(jié)果。 無效等價(jià)類 —對(duì)于程序的規(guī)格說明，是不合理的、沒有意義的輸入數(shù)據(jù)構(gòu)成的集合。 邊界 選擇原則： A 按照輸入值范圍的邊界。 C 輸出值域的邊界 。 輸入條件 合理的等價(jià)類 不合理的等價(jià)類 數(shù)組描述的個(gè)數(shù) 1個(gè)（ 1）、多于 1個(gè)（ 2） 沒有數(shù)組描述（ 3） 數(shù)組名的字符數(shù) 1—6個(gè)（ 4） 0（ 5）， 6（ 6） 數(shù)組名 有字母（ 7）有數(shù)字（ 8） 有其他字符（ 9） 數(shù)組名的第 1個(gè)字符為字母 是（ 10） 不是（ 11） 維數(shù) 1—7（ 12） 0（ 13）， 7（ 14） 上界 常數(shù)（ 15） 數(shù)組元素名（ 16 40 個(gè)等價(jià)類 憑經(jīng)驗(yàn)或直覺推測(cè)可能的錯(cuò)誤，列出程序中可能有的錯(cuò)誤和容易發(fā)生錯(cuò)誤的特殊情況，選擇測(cè)試用例。 a b a b a b d ∨ a b d ∧ （ cause effcet graphicei） 對(duì) “ 與 ” 、 “ 或 ” 函數(shù)的限制符號(hào) E約束（異） — 排斥 即 a、 b不能同時(shí)為 1。 分析規(guī)范語義、內(nèi)容，轉(zhuǎn)換為因果圖。測(cè)試過程通?？煞?4步進(jìn)行： 單元 測(cè)試 單元 測(cè)試 單元 測(cè)試 被測(cè)模塊 被測(cè)模塊 集成 測(cè)試 設(shè)計(jì)信息 已測(cè)試的模塊 確認(rèn) 測(cè)試 已集成的模塊 軟件需求 系統(tǒng) 測(cè)試 已確認(rèn)的軟件 可交付的軟件 系統(tǒng)其他元素 一、模塊測(cè)試 （ Module Testing） 模塊 模塊接口測(cè)試 局部數(shù)據(jù)結(jié)構(gòu)測(cè)試 重要路徑測(cè)試 錯(cuò)誤處理測(cè)試 邊界條件測(cè)試 I/O 參數(shù)值的個(gè)數(shù) 、 類型 、 次序 、 格式是否正確 ， I/O文件屬性 、 操作是否正確等 。 一般，驅(qū)動(dòng)模塊比樁模塊容易設(shè)計(jì)。 兩種方案： 設(shè)計(jì)驅(qū)動(dòng)模塊或樁模塊，對(duì)每一個(gè)新組裝的子 系統(tǒng)進(jìn)行測(cè)試，對(duì)發(fā)現(xiàn)問題較多的子系統(tǒng)或模 塊應(yīng)該用白盒法作回歸測(cè)試。 第三步，設(shè)計(jì)驅(qū)動(dòng)模塊 D D5 和 D6模擬調(diào)用，分別對(duì)新子系統(tǒng)進(jìn)行測(cè)試。 缺點(diǎn)：最后才能發(fā)現(xiàn)系統(tǒng)主控方面的問題。其任務(wù)是驗(yàn)證系統(tǒng)的功能、性能等特性是否符合需求規(guī)格說明。 五、驗(yàn)收測(cè)試（ acceptance testing） 驗(yàn)收測(cè)試是以用戶為主的測(cè)試。 最后進(jìn)行 驗(yàn)收測(cè)試 （ Acceptance Testing） ， 是以用戶為主的測(cè)試 ， 測(cè)試過程 、 方法和測(cè)試內(nèi)容與系統(tǒng)測(cè)試基本相同 。 例如： 封裝 —對(duì)數(shù)據(jù)的隱蔽，減少了對(duì)數(shù)據(jù)非法操作，可簡(jiǎn)化該類測(cè)試。 將類進(jìn)行聯(lián)合測(cè)試，以確定它們能否在一起共同工作。 一、分析模型測(cè)試的重要性 減少需求的模糊性 用戶需求是用戶對(duì)待實(shí)現(xiàn)的系統(tǒng)的要求，通常以一種非正規(guī)的形式給出，具有一定的模糊性。 以系統(tǒng)的用戶為主要的出發(fā)點(diǎn)設(shè)計(jì)測(cè)試用例，通過模擬某個(gè)系統(tǒng)用戶的行為來測(cè)試整個(gè)系統(tǒng)，對(duì)于該用戶的服務(wù)提供情況，從而檢查系統(tǒng)功能的完整性，用戶需求可跟蹤性等情況。 管理者考慮將訂單分配到某倉庫的因素： (1)首先倉庫必須能夠滿足訂單上的貨物要求； (2)選擇地理位置與發(fā)貨點(diǎn)較近的倉庫發(fā)貨； (3)信譽(yù)滿意度越高的客戶就越應(yīng)該以較高的服務(wù)質(zhì)量來回報(bào)。在 calendarUnit類中，也有操作decrease（），并通過繼承關(guān)系在 Day、 Month、 Yers三個(gè)類中重寫。測(cè)試方法是評(píng)審會(huì)。如果無典型場(chǎng)景的順序圖模型，可以把幾個(gè)不同用例的順序圖模型聯(lián)合起來，并選擇一條對(duì)象交互鏈作為一個(gè)典型場(chǎng)景，這個(gè)場(chǎng)景就是測(cè)試用例。 不能只修改錯(cuò)誤的征兆、表現(xiàn)。 收集 有關(guān)數(shù)據(jù) 組織數(shù)據(jù) 研究數(shù)據(jù) 間的關(guān)系 提出假設(shè) 證明假設(shè) 糾正錯(cuò)誤 能 能 不能 不能 列出所有已知 的測(cè)試用例和 程序執(zhí)行結(jié)果 常用的構(gòu)造 線索的技術(shù) 是“分類法” 分析線索之間 的關(guān)系，找出 矛盾，設(shè)計(jì)出 錯(cuò)原因的假設(shè) 歸納排錯(cuò)法步驟 將假設(shè)與原始線索 或數(shù)據(jù)進(jìn)行比較， 能否解釋現(xiàn)象，證 明假設(shè)。 主存信息轉(zhuǎn)儲(chǔ)法 關(guān)鍵部分設(shè)置打印語句 使用自動(dòng)糾錯(cuò)工具 回 溯法排錯(cuò) 適用于小程序。 功能測(cè)試與系統(tǒng)測(cè)試 與上類似。 1..* 典型場(chǎng)景是指系統(tǒng)用戶經(jīng)常使用系統(tǒng)的方式。劃分等價(jià)類時(shí)要考慮邊界及閏年等情況。 類測(cè)試包括：類屬性的測(cè)試、類操作的測(cè)試等。 管理者需要做： 生成訂單；查詢訂單時(shí)輸入訂單號(hào)。 測(cè)試作為項(xiàng)目開發(fā)活動(dòng)中的一部分，在時(shí)間上應(yīng)該有明確的要求，測(cè)試計(jì)劃對(duì)于測(cè)試來說也是至關(guān)重要的。 發(fā)布測(cè)試：為了確保系統(tǒng)安裝軟件包能夠正常交付使用。 模型測(cè)試方法包括： ? 用例場(chǎng)景測(cè)試； ? 系統(tǒng)原型走查； ? 需求模型一致性檢查； ? 分析模型的檢查和走查。 傳統(tǒng)的觀點(diǎn)認(rèn)為測(cè)試要在編碼之后才進(jìn)行 ，主要測(cè)試的對(duì)象是程序代碼。 綜合測(cè)試策略 軟件測(cè)試是保證軟件可靠性的主要手段 ， 也是軟件開發(fā)過程中最艱巨 、 最繁雜的任務(wù) 。應(yīng)復(fù)查 SCI是否齊全。 自底而上 —自頂而下增值 對(duì)含有讀操作的子系統(tǒng)采用自底而上。 A B C D H G J E F I K L M N 問 題 （ 1）自頂而下增值與 自底而上 增值各有何優(yōu)、缺點(diǎn)？ （ 2）為什么在實(shí)際的組裝測(cè)試中，都應(yīng)該采用混合增值的方法？ （ 3）請(qǐng)自己設(shè)計(jì) 23個(gè)混合增值的測(cè)試方法。 M5 M6 第四步，依次用模塊 M5和 M6替代樁模塊 S S5， 并同時(shí)進(jìn)行新的測(cè)試。組裝方案分為 漸增式 及 非漸增式。 重要 路徑通常是指完成模塊功能的主要路徑，一般是控制結(jié)構(gòu)。 原 因 結(jié) 果 1 — 第一列字符為 A 50—修改文件 2 — 第一列字符為 B 51—發(fā)信息 X12 3 — 第二列字符為數(shù)字 52—發(fā)信息 X13 中間結(jié)點(diǎn) 是導(dǎo)出結(jié)果的進(jìn)一步原因 。 a b E a b c I a b R a b O a b M ⑵ 因果圖法的步驟 分析規(guī)范，即將問題分為若干可工作的步驟。 （ cause effcet graphicei） ⑴ 因果圖的基本符號(hào) 0 表示“不出現(xiàn)” 1 表示“出現(xiàn)” 恒等 若 a為 1，則 b為 1，否則 b為 0。 應(yīng)選擇第一個(gè)元素和最后一個(gè)元素 。 A 按照輸入值范圍的邊界 。 ① 劃分 “ 等價(jià)類 ” 顯然 ， 關(guān)鍵是 如何劃分等價(jià)類 A 為每個(gè)等價(jià)類編號(hào)； B 使一個(gè)測(cè)試用例盡可能覆蓋多個(gè)有效等價(jià)類 C 特別要注意 :一個(gè)測(cè)試用例只能覆蓋一個(gè)無效等價(jià)類 。 A1 X:=X/A A=2 X:=X+1 a b c d e B=0 X1 Y N Y N Y N Y N 編譯系統(tǒng)下的執(zhí)行情況： 部分路徑未被執(zhí)行。 邏輯結(jié)構(gòu) 白盒法舉例 Procedure （ VAR A,B,X:REAL）； BEGIN IF（ A1) AND (B=0) THEN X:=X