【導(dǎo)讀】測(cè)試是程序執(zhí)行的過(guò)程，目的在于發(fā)現(xiàn)錯(cuò)誤；應(yīng)當(dāng)把“盡早地和不斷地進(jìn)行軟件測(cè)試”作。為軟件開發(fā)者的座右銘。測(cè)試用例應(yīng)由測(cè)試輸入數(shù)據(jù)和對(duì)應(yīng)的預(yù)期輸。出結(jié)果兩部分組成。程序員應(yīng)該避免檢查自己的程序。在設(shè)計(jì)測(cè)試用例時(shí)，應(yīng)當(dāng)包括合理的輸入條。充分注意測(cè)試中的群集現(xiàn)象?，F(xiàn)的錯(cuò)誤數(shù)目成正比。嚴(yán)格執(zhí)行測(cè)試計(jì)劃，排除測(cè)試的隨意性。妥善保存測(cè)試計(jì)劃，測(cè)試用例，出錯(cuò)統(tǒng)計(jì)和。軟件測(cè)試并不等于程序測(cè)試，軟件測(cè)試應(yīng)貫。穿與軟件工程的整個(gè)期間。通過(guò)在不同點(diǎn)檢查程序的狀態(tài)，確定實(shí)際的。又稱為結(jié)構(gòu)測(cè)試或邏輯驅(qū)動(dòng)測(cè)試。軟件人員使用白盒測(cè)試方法，主要想對(duì)程序?！凹佟钡膬煞N情況都至少測(cè)試一次；果應(yīng)當(dāng)是相同的。利用有效等價(jià)類可檢驗(yàn)程序是否實(shí)現(xiàn)了規(guī)格說(shuō)明中所規(guī)定的功能和。不相交的一組子集，而子集的并是整個(gè)集合;干個(gè)無(wú)效等價(jià)類。有效等價(jià)類和一個(gè)無(wú)效等價(jià)類。且程序要對(duì)每一個(gè)輸入值分別處理的情況下,

　　

【正文】 求：第一列字符必須是 A或 B，第二列字符必須是一個(gè)數(shù)字，在此情況下進(jìn)行文件的修改，但如果第一列字符不正確，則給出信息 L；如果第二列字符不是數(shù)字，則給出信息 M。 測(cè)試用例設(shè)計(jì) —— 因果圖方法 ? 1) 根據(jù)題意，原因和結(jié)果如下： ? 原因： ? 1—— 第一列字符是 A； ? 2—— 第一列字符是 B； ? 3—— 第二列字符是一數(shù)字。 ? 結(jié)果： ? 21—— 修改文件； ? 22 —— 給出信息 L； ? 23—— 給出信息 M。 測(cè)試用例設(shè)計(jì) —— 因果圖方法 ? 2) 其對(duì)應(yīng)的因果圖如下： ? 11為中間節(jié)點(diǎn)；考慮到原因 1和原因 2不可能同時(shí)為 1，因此在因果圖上施加 E約束。 測(cè)試用例設(shè)計(jì) —— 因果圖方法 ? 3)根據(jù)因果圖建立判定表。 ? 表中 8種情況的左面兩列情況中，原因①和原因②同時(shí)為 1，這是不可能出現(xiàn)的，故應(yīng)排除這兩種情況。表的最下一欄給出了 6種情況的測(cè)試用例，這是我們所需要的數(shù)據(jù)。 測(cè)試用例設(shè)計(jì) —— 因果圖方法 ? 舉例：公交刷卡系統(tǒng) ? 1)寫出原因與結(jié)果： ? 原因： ? 1—— 有余額 ? 2—— 電子錢包 ? 3—— 次卡 ? 4—— 空調(diào)車 ? 5—— 非空調(diào)車 ? 6—— 刷卡時(shí)間超過(guò) 2小時(shí) 測(cè)試用例設(shè)計(jì) —— 因果圖方法 ? 結(jié)果： ? 21—— 余額不足請(qǐng)投幣 ? 22—— 扣除 ? 23—— 扣除 ? 24—— 扣除 2次 ? 25—— 扣除 1次 ? 26—— 時(shí)間未超過(guò) 2小時(shí)不做扣除 測(cè)試用例設(shè)計(jì) —— 因果圖方法 ? 3)對(duì)應(yīng)的因果圖如下： 1 2 5 3 6 4 21 26 25 24 23 22 I E 12 11 上的車 該扣除次數(shù) 13 可扣除次數(shù) ∨ ∧ ∧ ∧ 14 ∧ ∧ ∧ 該扣除余額 ∧ 測(cè)試用例設(shè)計(jì) —— 判定表驅(qū)動(dòng)分析法 ? ：判定表是分析和表達(dá)多邏輯條件下執(zhí)行不同操作的情況的工具。 ? ? 能夠?qū)?fù)雜的問題按照各種可能的情況全部列舉出來(lái)，簡(jiǎn)明并避免遺漏。因此，利用判定表能夠設(shè)計(jì)出完整的測(cè)試用例集合。 ? 在一些數(shù)據(jù)處理問題當(dāng)中，某些操作的實(shí)施依賴于多個(gè)邏輯條件的組合，即：針對(duì)不同邏輯條件的組合值，分別執(zhí)行不同的操作。判定表很適合于處理這類問題。 測(cè)試用例設(shè)計(jì) —— 判定表驅(qū)動(dòng)分析法 ?3. 判定表通常由四個(gè)部分組成如下圖所示。 原因 結(jié)果（采取的動(dòng)作） 測(cè)試用例設(shè)計(jì) —— 判定表驅(qū)動(dòng)分析法 ? 1)條件樁（ Condition Stub）：列出了問題得所有條件。通常認(rèn)為列出的條件的次序無(wú)關(guān)緊要。 ? 2)動(dòng)作樁（ Action Stub）：列出了問題規(guī)定可能采取的操作。這些操作的排列順序沒有約束。 ? 3)條件項(xiàng)（ Condition Entry）：列出針對(duì)它左列條件的取值。在所有可能情況下的真假值。 ? 4)動(dòng)作項(xiàng)（ Action Entry）：列出在條件項(xiàng)的各種取值情況下應(yīng)該采取的動(dòng)作。 測(cè)試用例設(shè)計(jì) —— 判定表驅(qū)動(dòng)分析法 ? ? 1)規(guī)則：任何一個(gè)條件組合的特定取值及其相應(yīng)要執(zhí)行的操作稱為規(guī)則。在判定表中貫穿條件項(xiàng)和動(dòng)作項(xiàng)的一列就是一條規(guī)則。顯然 ,判定表中列出多少組條件取值 ,也就有多少條規(guī)則 ,既條件項(xiàng)和動(dòng)作項(xiàng)有多少列。 ? 2)化簡(jiǎn)：就是規(guī)則合并有兩條或多條規(guī)則具有相同的動(dòng)作，并且其條件項(xiàng)之間存在著極為相似的關(guān)系。 測(cè)試用例設(shè)計(jì) —— 判定表驅(qū)動(dòng)分析法 ? ：（根據(jù)軟件規(guī)格說(shuō)明） ? 1)確定規(guī)則的個(gè)數(shù) .假如有 n個(gè)條件。每個(gè)條件有兩個(gè)取值（ 0,1） ,故有 2n種規(guī)則。 ? 2)列出所有的條件樁和動(dòng)作樁。 ? 3)填入條件項(xiàng)。 ? 4)填入動(dòng)作項(xiàng)。等到初始判定表。 ? 5)簡(jiǎn)化 .合并相似規(guī)則（相同動(dòng)作）。 測(cè)試用例設(shè)計(jì) —— 判定表驅(qū)動(dòng)分析法 ? 舉例：公交刷卡系統(tǒng) 測(cè)試用例設(shè)計(jì) —— 判定表驅(qū)動(dòng)分析法 ?舉例 測(cè)試用例設(shè)計(jì) —— 錯(cuò)誤推測(cè)法 ?：基于經(jīng)驗(yàn)和直覺推測(cè)程序中所有可能存在的各種錯(cuò)誤 , 從而有針對(duì)性的設(shè)計(jì)測(cè)試用例的方法。 ?： ?列舉出程序中所有可能有的錯(cuò)誤和容易發(fā)生錯(cuò)誤的特殊情況 ,根據(jù)他們選擇測(cè)試用例。 測(cè)試用例設(shè)計(jì) —— 錯(cuò)誤推測(cè)法 ?舉例： ?infXAntiSpamming系統(tǒng) 測(cè)試用例設(shè)計(jì) —— 用例場(chǎng)景方法 ? ? 用例場(chǎng)景是通過(guò)描述流經(jīng)用例的路徑來(lái)確定的過(guò)程，這個(gè)流經(jīng)過(guò)程要從用例開始到結(jié)束遍歷其中所有基本流和備選流。 ? ? 現(xiàn)在的軟件幾乎都是由事件觸發(fā)來(lái)控制流程的，事件觸發(fā)時(shí)的情景便形成了場(chǎng)景，而同一事件不同的 ? 觸發(fā)順序和處理結(jié)果形成事件流。這種在軟件設(shè)計(jì)方面的思想也可被引入到軟件測(cè)試中，生動(dòng)的描繪出事 ? 件觸發(fā)時(shí)的情景，有利于測(cè)試設(shè)計(jì)者設(shè)計(jì)測(cè)試用例，同時(shí)測(cè)試用例也更容易的得到理解和執(zhí)行。 ? 提出這種測(cè)試思想的是 Rational 公司，在 RUP2000 中文版當(dāng)中有其詳盡的解釋和應(yīng)用，用例場(chǎng)景貫 ? 穿其中。 測(cè)試用例設(shè)計(jì) —— 用例場(chǎng)景法 ? 舉例：客戶行為關(guān)系管理服保工單流程。 測(cè)試用例設(shè)計(jì) —— 功能圖方法 ? ? 功能圖由狀態(tài)遷移圖和布爾函數(shù)組成 .狀態(tài)遷移圖用狀態(tài)和遷移來(lái)描述 .一個(gè)狀態(tài)指出數(shù)據(jù)輸入的位置（或時(shí)間） ,而遷移則指明狀態(tài)的改變 .同時(shí)要依靠判定表或因果圖表示的邏輯功能 .例 ,一個(gè)簡(jiǎn)化的自動(dòng)出納機(jī) ATM的功能圖。 ? ? 從功能圖生成測(cè)試用例 ,得到的測(cè)試用例數(shù)是可接受的 . 問題的關(guān)鍵的是如何從狀態(tài)遷移圖中選取測(cè)試用例 . 若用節(jié)點(diǎn)代替狀態(tài) ,用弧線代替遷移 ,則狀態(tài)遷移圖就可轉(zhuǎn)化成一個(gè)程序的控制流程圖形式 .問題就轉(zhuǎn)化為程序的路徑測(cè)試問題（如白盒測(cè)試）問題了 . 測(cè)試用例設(shè)計(jì) —— 功能圖方法 ? ? 為了把狀態(tài)遷移（測(cè)試路徑）的測(cè)試用例與邏輯模型（局部測(cè)試用例）的測(cè)試用例組合起來(lái) ,從功能圖生成實(shí)用的測(cè)試用例 ,須定義下面的規(guī)則 .在一個(gè)結(jié)構(gòu)化的狀態(tài)遷移（ SST）中 ,定義三種形式的循環(huán) :順序 ,選擇和重復(fù) .但分辨一個(gè)狀態(tài)遷移中的所有循環(huán)是有困難的 .（其表示圖形省略）。 ? ? 1)生成局部測(cè)試用例 :在每個(gè)狀態(tài)中 ,從因果圖生成局部測(cè)試用例 .局部測(cè)試用例由原因值（輸入數(shù)據(jù)）組合與對(duì)應(yīng)的結(jié)果值（輸出數(shù)據(jù)或狀態(tài)）構(gòu)成。 ? 2)測(cè)試路徑生成 :利用上面的規(guī)則（三種）生成從初始狀態(tài)到最后狀態(tài)的測(cè)試路徑。 ? 3)測(cè)試用例合成 :合成測(cè)試路徑與功能圖中每個(gè)狀態(tài)中的局部測(cè)試用例 .結(jié)果是初始狀態(tài)到最后狀態(tài)的一個(gè)狀態(tài)序列 ,以及每個(gè)狀態(tài)中輸入數(shù)據(jù)與對(duì)應(yīng)輸出數(shù)據(jù)的組合。 ? :采用條件構(gòu)造樹 . 測(cè)試用例設(shè)計(jì) —— 綜合策略 ? 1. Myers提出了使用各種測(cè)試方法的綜合策略： ? 1)在任何情況下都必須使用邊界值分析方法，經(jīng)驗(yàn)表明用這種方法設(shè)計(jì)出測(cè)試用例發(fā)現(xiàn)程序錯(cuò)誤的能力最強(qiáng)。 ? 2)必要時(shí)用等價(jià)類劃分方法補(bǔ)充一些測(cè)試用例。 ? 3)用錯(cuò)誤推測(cè)法再追加一些測(cè)試用例。 ? 4)對(duì)照程序邏輯，檢查已設(shè)計(jì)出的測(cè)試用例的邏輯覆蓋程度，如果沒有達(dá)到要求的覆蓋標(biāo)準(zhǔn)，應(yīng)當(dāng)再補(bǔ)充足夠的測(cè)試用例。 ? 5)如果程序的功能說(shuō)明中含有輸入條件的組合情況，則一開始就可選用因果圖法。 測(cè)試用例設(shè)計(jì) —— 綜合策略 ? ? 1)構(gòu)造根據(jù)設(shè)計(jì)規(guī)格得出的基本功能測(cè)試用例； ? 2)邊界值測(cè)試用例； ? 3)狀態(tài)轉(zhuǎn)換測(cè)試用例； ? 4)錯(cuò)誤猜測(cè)測(cè)試用例； ? 5)異常測(cè)試用例； ? 6)性能測(cè)試用例； ? 7)壓力測(cè)試用例。 ? ? 1)利用設(shè)計(jì)測(cè)試用例的 8種方法不斷的對(duì)測(cè)試用例進(jìn)行分解與合并； ? 2)采用遺傳算法理論進(jìn)化測(cè)試用例； ? 3)在測(cè)試時(shí)利用發(fā)散思維構(gòu)造測(cè)試用例。