【正文】 對(duì)程序模塊進(jìn)行如下的檢查： （ 1）對(duì)程序模塊的所有獨(dú)立的執(zhí)行路徑至少測(cè)試一次； （ 2） 對(duì)所有的邏輯判定 ， 取 “ 真 ” 與取“ 假 ” 的兩種情況都至少測(cè)試一次； 白盒測(cè)試 （ 3） 在循環(huán)的邊界和運(yùn)行界限內(nèi)執(zhí)行循環(huán)體； （ 4） 測(cè)試內(nèi)部數(shù)據(jù)結(jié)構(gòu)的有效性 。筆者主要從事企業(yè)管理軟件的測(cè)試。 測(cè)試用例設(shè)計(jì) —— 等價(jià)類劃分方法 ? 一 .方法簡(jiǎn)介 是把所有可能的輸入數(shù)據(jù) ,即程序的輸入域劃分成若干部分（子集） ,然后從每一個(gè)子集中選取少數(shù)具有代表性的數(shù)據(jù)作為測(cè)試用例。無效等價(jià)類指對(duì)程序的規(guī)格說明是不合理的或無意義的輸入數(shù)據(jù)所構(gòu)成的集合。 5)同一類中標(biāo)識(shí)（選擇）一個(gè)測(cè)試用例，同一等價(jià)類中，往往處理相同，相同處理映射到 相同的執(zhí)行路徑 。 測(cè)試用例設(shè)計(jì) —— 等價(jià)類劃分方法 ?在規(guī)定了輸入數(shù)據(jù)的一組值（假定 n個(gè)） ,并且程序要對(duì)每一個(gè)輸入值分別處理的情況下 ,可確立 n個(gè)有效等價(jià)類和一個(gè)無效等價(jià)類。 ? 測(cè)試數(shù)據(jù) 覆蓋的有效等價(jià)類 期望結(jié)果 ? 級(jí)別、時(shí)間片、閾值、類型 ? 0 10 100 單一 1)5)8)11) 有效輸入 ? 0 10 100 與關(guān)系 1)5)8)12) 有效輸入 ? 0 10 100 或關(guān)系 1)5)8)13) 有效輸入 ? 1 10 100 單一 2)5)8)11) 有效輸入 ? 1 10 100 與關(guān)系 2)5)8)12) 有效輸入 ? 1 10 100 或關(guān)系 2)5)8)13) 有效輸入 ? 3 10 100 單一 3)5)8)11) 有效輸入 ? 3 10 100 與關(guān)系 3)5)8)12) 有效輸入 ? 3 10 100 或關(guān)系 3)5)8)13) 有效輸入 測(cè)試用例設(shè)計(jì) —— 等價(jià)類劃分方法 ? 2)為每一個(gè)無效等價(jià)類設(shè)計(jì)一個(gè)測(cè)試用例 ? 測(cè)試數(shù)據(jù) 覆蓋的有無效等價(jià)類 期望結(jié)果 ? 級(jí)別、時(shí)間片、閾值、類型 ? 4 4) 無效輸入 ? 4 6) 無效輸入 ? 61 7) 無效輸入 ? 0 9) 無效輸入 ? 100000 10) 無效輸入 ? 非單一、與、或關(guān)系 14) 無效輸入 測(cè)試用例設(shè)計(jì) —— 邊界值分析方法 ?：邊界值分析法就是對(duì)輸入或輸出的邊界值進(jìn)行測(cè)試的一種黑盒測(cè)試方法。應(yīng)當(dāng)選取正好等于，剛剛大于或剛剛小于邊界的值作為測(cè)試數(shù)據(jù)，而不是選取等價(jià)類中的典型值或任意值作為測(cè)試數(shù)據(jù)。對(duì)應(yīng)的各個(gè)級(jí)別的默認(rèn)閾值系數(shù)分別為 15，允許用戶對(duì)閾值系數(shù)做調(diào)整，各級(jí)別的閾值系數(shù)配置最小值配置為 1，最大值配置為99999 測(cè)試用例設(shè)計(jì) —— 邊界值分析方法 測(cè)試用例 關(guān)鍵字級(jí)別 時(shí)間片 閾值 關(guān)鍵字類型 預(yù)期輸出 test1 0（ 3） 4 100 單一（與、或） 時(shí)間片無效 test2 0（ 3） 5 100 單一（與、或） 單一（與、或）關(guān)鍵字 0（ 3）級(jí)告警 test3 0（ 3） 6 100 單一（與、或） 單一（與、或）關(guān)鍵字 0（ 3）級(jí)告警 test4 0（ 3） 59 100 單一（與、或） 單一（與、或）關(guān)鍵字 0（ 3）級(jí)告警 test5 0（ 3） 60 100 單一（與、或） 單一（與、或）關(guān)鍵字 0（ 3）級(jí)告警 test6 0（ 0、 3） 61 100 單一（與、或） 時(shí)間片無效 測(cè)試用例設(shè)計(jì) —— 邊界值分析方法 測(cè)試用例 關(guān)鍵字級(jí)別 時(shí)間片 閾值 關(guān)鍵字類型 預(yù)期輸出 test7 0（ 3） 10 0 單一（與、或） 閾值無效 test8 0（ 3） 10 1 單一（與、或） 單一（與、或）關(guān)鍵字 0 （ 3）級(jí)告警 test9 0 （ 3） 10 2 單一（與、或） 單一（與、或）關(guān)鍵字 0 （ 3）級(jí)告警 test10 0 （ 3） 10 99998 單一（與、或） 單一（與、或）關(guān)鍵字 0 （ 3）級(jí)告警 test11 0 （ 3） 10 99999 單一（與、或） 單一（與、或）關(guān)鍵字 0 （ 3）級(jí)告警 test12 0 （ 3） 10 100000 單一（與、或） 閾值無效 測(cè)試用例設(shè)計(jì) —— 正交試驗(yàn)法 ? :利用因果圖來設(shè)計(jì)測(cè)試用例時(shí) , 作為輸入條件的原因與輸出結(jié)果之間的因果關(guān)系 ,有時(shí)很難從軟件需求規(guī)格說明中得到。 測(cè)試用例設(shè)計(jì) —— 正交試驗(yàn)法 均衡分散性 ?在同一張正交表中，任意兩列（兩個(gè)因素）的水平搭配（橫向形成的數(shù)字對(duì)）是完全相同的。本模型只分析用戶在時(shí)間片內(nèi)的發(fā)送數(shù)據(jù)總量，對(duì)被叫號(hào)碼以及短消息內(nèi)容不做分析判斷。只有當(dāng)某一主叫號(hào)碼的小時(shí)間片的發(fā)送量統(tǒng)計(jì)值超過小時(shí)間片定義的最小閾值系數(shù)時(shí)，才開始對(duì)該號(hào)碼的大時(shí)間片發(fā)送總量做分析統(tǒng)計(jì)。左結(jié)點(diǎn)表示輸入狀態(tài)（或稱原因），右結(jié)點(diǎn)表示輸出狀態(tài)（或稱結(jié)果）?！芭c”也可有任意個(gè)輸入。 ? ④ R約束（要求）： a是 1時(shí)， b必須是 1，即不可能 a是 1時(shí)b是 0。 測(cè)試用例設(shè)計(jì) —— 因果圖方法 ? 2) 其對(duì)應(yīng)的因果圖如下： ? 11為中間節(jié)點(diǎn)；考慮到原因 1和原因 2不可能同時(shí)為 1，因此在因果圖上施加 E約束。判定表很適合于處理這類問題。 ? 4)動(dòng)作項(xiàng)（ Action Entry）：列出在條件項(xiàng)的各種取值情況下應(yīng)該采取的動(dòng)作。 ? 3)填入條件項(xiàng)。這種在軟件設(shè)計(jì)方面的思想也可被引入到軟件測(cè)試中，生動(dòng)的描繪出事 ? 件觸發(fā)時(shí)的情景，有利于測(cè)試設(shè)計(jì)者設(shè)計(jì)測(cè)試用例，同時(shí)測(cè)試用例也更容易的得到理解和執(zhí)行。 ? :采用條件構(gòu)造樹 . 測(cè)試用例設(shè)計(jì) —— 綜合策略 ? 1. Myers提出了使用各種測(cè)試方法的綜合策略： ? 1)在任何情況下都必須使用邊界值分析方法，經(jīng)驗(yàn)表明用這種方法設(shè)計(jì)出測(cè)試用例發(fā)現(xiàn)程序錯(cuò)誤的能力