【正文】 。 測(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è)試用例。 ? 4)對(duì)照程序邏輯，檢查已設(shè)計(jì)出的測(cè)試用例的邏輯覆蓋程度，如果沒有達(dá)到要求的覆蓋標(biāo)準(zhǔn)，應(yīng)當(dāng)再補(bǔ)充足夠的測(cè)試用例。 ? 2)必要時(shí)用等價(jià)類劃分方法補(bǔ)充一些測(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ù)的組合。 ? ? 1)生成局部測(cè)試用例 :在每個(gè)狀態(tài)中 ,從因果圖生成局部測(cè)試用例 .局部測(cè)試用例由原因值（輸入數(shù)據(jù)）組合與對(duì)應(yīng)的結(jié)果值（輸出數(shù)據(jù)或狀態(tài)）構(gòu)成。 測(cè)試用例設(shè)計(jì) —— 功能圖方法 ? ? 功能圖由狀態(tài)遷移圖和布爾函數(shù)組成 .狀態(tài)遷移圖用狀態(tài)和遷移來描述 .一個(gè)狀態(tài)指出數(shù)據(jù)輸入的位置（或時(shí)間） ,而遷移則指明狀態(tài)的改變 .同時(shí)要依靠判定表或因果圖表示的邏輯功能 .例 ,一個(gè)簡(jiǎn)化的自動(dòng)出納機(jī) ATM的功能圖。 ? 提出這種測(cè)試思想的是 Rational 公司，在 RUP2000 中文版當(dāng)中有其詳盡的解釋和應(yīng)用，用例場(chǎng)景貫 ? 穿其中。 ? ? 現(xiàn)在的軟件幾乎都是由事件觸發(fā)來控制流程的，事件觸發(fā)時(shí)的情景便形成了場(chǎng)景，而同一事件不同的 ? 觸發(fā)順序和處理結(jié)果形成事件流。 ?： ?列舉出程序中所有可能有的錯(cuò)誤和容易發(fā)生錯(cuò)誤的特殊情況 ,根據(jù)他們選擇測(cè)試用例。 ? 5)簡(jiǎn)化 .合并相似規(guī)則（相同動(dòng)作）。 ? 4)填入動(dòng)作項(xiàng)。 ? 2)列出所有的條件樁和動(dòng)作樁。 測(cè)試用例設(shè)計(jì) —— 判定表驅(qū)動(dòng)分析法 ? ：（根據(jù)軟件規(guī)格說明） ? 1)確定規(guī)則的個(gè)數(shù) .假如有 n個(gè)條件。顯然 ,判定表中列出多少組條件取值 ,也就有多少條規(guī)則 ,既條件項(xiàng)和動(dòng)作項(xiàng)有多少列。 測(cè)試用例設(shè)計(jì) —— 判定表驅(qū)動(dòng)分析法 ? ? 1)規(guī)則：任何一個(gè)條件組合的特定取值及其相應(yīng)要執(zhí)行的操作稱為規(guī)則。在所有可能情況下的真假值。這些操作的排列順序沒有約束。通常認(rèn)為列出的條件的次序無關(guān)緊要。 測(cè)試用例設(shè)計(jì) —— 判定表驅(qū)動(dòng)分析法 ?3. 判定表通常由四個(gè)部分組成如下圖所示。 ? 在一些數(shù)據(jù)處理問題當(dāng)中，某些操作的實(shí)施依賴于多個(gè)邏輯條件的組合，即：針對(duì)不同邏輯條件的組合值，分別執(zhí)行不同的操作。 ? ? 能夠?qū)?fù)雜的問題按照各種可能的情況全部列舉出來，簡(jiǎn)明并避免遺漏。表的最下一欄給出了 6種情況的測(cè)試用例，這是我們所需要的數(shù)據(jù)。 測(cè)試用例設(shè)計(jì) —— 因果圖方法 ? 3)根據(jù)因果圖建立判定表。 ? 結(jié)果： ? 21—— 修改文件； ? 22 —— 給出信息 L； ? 23—— 給出信息 M。 測(cè)試用例設(shè)計(jì) —— 因果圖方法 ?舉例： ?1. 某軟件規(guī)格說明書包含這樣的要求：第一列字符必須是 A或 B，第二列字符必須是一個(gè)數(shù)字，在此情況下進(jìn)行文件的修改，但如果第一列字符不正確，則給出信息 L；如果第二列字符不是數(shù)字，則給出信息 M。 ? 2)分析軟件規(guī)格說明描述中的語義，找出原因與結(jié)果之間 , 原因與原因之間對(duì)應(yīng)的關(guān)系，根據(jù)這些關(guān)系 ,畫出因果圖。 ? ? 輸出條件的約束只有 M約束（強(qiáng)制）：若結(jié)果 a是 1，則結(jié)果 b強(qiáng)制為 0。 ? ③ O約束（唯一）； a和 b必須有一個(gè)，且僅有 1個(gè)為 1。 用例設(shè)計(jì)測(cè)試 —— 因果圖方法 用例設(shè)計(jì)測(cè)試 —— 因果圖方法 ? 4類： ? ① E約束（異）： a和 b中至多有一個(gè)可能為 1，即 a和 b不能同時(shí)為 1。輸出狀態(tài)之間也往往存在約束。 用例設(shè)計(jì)測(cè)試 —— 因果圖方法 ?2) 約束 ?輸入狀態(tài)相互之間還可能存在某些依賴關(guān)系，稱為約束。 ?④與：若 c1和 c2都是 1，則 ei為 1；否則 ei為 0。 ?③或：若 c1或 c2或 c3是 1，則 ei是 1；否則 ei為 0。 用例設(shè)計(jì)測(cè)試 —— 因果圖方法 ?4. 因果圖概念 ?1) 關(guān)系 ?①恒等：若 ci是 1，則 ei也是 1；否則 ei為 0。 ?3) Ci表示原因，通常置于圖的左部； ei表示結(jié)果，通常在圖的右部。 用例設(shè)計(jì)測(cè)試 —— 因果圖方法 ?2) 因果圖中使用了簡(jiǎn)單的邏輯符號(hào)，以直線聯(lián)接左右結(jié)點(diǎn)。 ? 如果在測(cè)試時(shí)必須考慮輸入條件的各種組合，則可能的組合數(shù)目將是天文數(shù)字，因此必須考慮采用一種適合于描述多種條件的組合、相應(yīng)產(chǎn)生多個(gè)動(dòng)作的形式來進(jìn)行測(cè)試用例的設(shè)計(jì)，這就需要利用因果圖（邏輯模型）。 測(cè)試用例設(shè)計(jì) —— 因果圖方法 ? ： ? 等價(jià)類劃分法和邊界值分析方法都是著重考慮輸入條件，但沒有考慮輸入條件的各種組合、輸入條件之間的相互制約關(guān)系。產(chǎn)生的告警數(shù)據(jù)保留最后一條短消息的短消息內(nèi)容。本模型只分析用戶在時(shí)間片內(nèi)的發(fā)送數(shù)據(jù)總量，對(duì)被叫號(hào)碼以及短消息內(nèi)容不做分析判斷。其中大時(shí)間片的時(shí)間片最小值為 1小時(shí)，最大值可配置為 24小時(shí)；小時(shí)間片的時(shí)間片最小值為 5分鐘，最大值為30分鐘。 測(cè)試用例設(shè)計(jì) —— 正交試驗(yàn)法 ?選取因素和水平： ?大時(shí)間片： 24 ?小時(shí)間片： 30 ?大時(shí)間片大閾值： 2 999999 ?大時(shí)間片小閾值： 2 999998 ?小時(shí)間片閾值： 999997 測(cè)試用例設(shè)計(jì) —— 正交試驗(yàn)法 ?選取正交表： ?表中的因素?cái)?shù) =5 ?表中至少有 5因素的水平數(shù) =2 ?行數(shù)取最少的一個(gè) ?得出結(jié)果： L8（ 2**7） 測(cè)試用例設(shè)計(jì) —— 正交試驗(yàn)法 ?大時(shí)間片： 1 242 ?小時(shí)間片： 1 302 ?大時(shí)間片大閾值： 23 9999992 ?大時(shí)間片小閾值： 21 9999982 ?小時(shí)間片閾值： 20 9999972 測(cè)試用例設(shè)計(jì)方法 —— 正交試驗(yàn)法 ? L8(27) ? 列號(hào) 1 2 3 4 5 6 7 ? 1 1 1 1 1 1 1 1 ? 2 1 1 1 2 2 2 2 ? 3 1 2 2 1 1 2 2 ? 4 1 2 2 2 2 1 1 ? 5 2 1 2 1 2 1 2 ? 6 2 1 2 2 1 2 1 ? 7 2 2 1 1 2 2 1 ? 8 2 2 1 2 1 1 2 ? 根據(jù)實(shí)際情況， ? 拋出不合理的 ? 加上異常用例 大時(shí)間片 小時(shí)間片 大時(shí)間片大閾值 大時(shí)間片小閾值 小時(shí)間片閾值 1 5 22 21 20 1 5 22 21 999997 X 1 30 999999 21 20 1 30 999999 999998 999997 24 5 999999 21 999997 X 24 5 999999 999998 20 24 30 22 21 999998 X 24 30 22 999998 20 X 測(cè)試用例設(shè)計(jì) —— 正交試驗(yàn)法 ?3)水平數(shù)不相同 ?因素（變量）的水平（變量的取值）不相同 測(cè)試用例設(shè)計(jì) —— 正交試驗(yàn)法 ? 舉例 ? 以浙江優(yōu)化版本的行為分析累計(jì)流量分析模型： ? 用戶累計(jì)發(fā)送行為分析模型只有兩級(jí)告警級(jí)別， 0級(jí)告警并對(duì)主叫號(hào)碼做黑名單增加處理， 1級(jí)只告警，不做黑名單增加處理。只有當(dāng)某一主叫號(hào)碼的小時(shí)間片的發(fā)送量統(tǒng)計(jì)值超過小時(shí)間片定義的最小閾值系數(shù)時(shí)，才開始對(duì)該號(hào)碼的大時(shí)間片發(fā)送總量做分析統(tǒng)計(jì)。對(duì)于每種時(shí)間片的閾值系數(shù)，小時(shí)間片設(shè)置一級(jí)閾值系數(shù)，最小閾值系數(shù)設(shè)置為 20條，大時(shí)間片設(shè)置兩級(jí)閾值系數(shù)，最小閾值系數(shù)限制為大于小時(shí)間片最小閾值系數(shù)。此模型支持雙時(shí)間片（大時(shí)間片和小時(shí)間片）分析方式。 ?2)因素?cái)?shù)不相符 ?3)水平數(shù)不相符