【正文】 ? 5)如果程序的功能說明中含有輸入條件的組合情況，則一開始就可選用因果圖法。 ? ? 從功能圖生成測試用例 ,得到的測試用例數(shù)是可接受的 . 問題的關(guān)鍵的是如何從狀態(tài)遷移圖中選取測試用例 . 若用節(jié)點代替狀態(tài) ,用弧線代替遷移 ,則狀態(tài)遷移圖就可轉(zhuǎn)化成一個程序的控制流程圖形式 .問題就轉(zhuǎn)化為程序的路徑測試問題（如白盒測試）問題了 . 測試用例設(shè)計 —— 功能圖方法 ? ? 為了把狀態(tài)遷移（測試路徑）的測試用例與邏輯模型（局部測試用例）的測試用例組合起來 ,從功能圖生成實用的測試用例 ,須定義下面的規(guī)則 .在一個結(jié)構(gòu)化的狀態(tài)遷移（ SST）中 ,定義三種形式的循環(huán) :順序 ,選擇和重復(fù) .但分辨一個狀態(tài)遷移中的所有循環(huán)是有困難的 .（其表示圖形省略）。 測試用例設(shè)計 —— 判定表驅(qū)動分析法 ? 舉例：公交刷卡系統(tǒng) 測試用例設(shè)計 —— 判定表驅(qū)動分析法 ?舉例 測試用例設(shè)計 —— 錯誤推測法 ?：基于經(jīng)驗和直覺推測程序中所有可能存在的各種錯誤 , 從而有針對性的設(shè)計測試用例的方法。 ? 2)化簡：就是規(guī)則合并有兩條或多條規(guī)則具有相同的動作，并且其條件項之間存在著極為相似的關(guān)系。 ? 2)動作樁（ Action Stub）：列出了問題規(guī)定可能采取的操作。 測試用例設(shè)計 —— 因果圖方法 ? 舉例：公交刷卡系統(tǒng) ? 1)寫出原因與結(jié)果： ? 原因： ? 1—— 有余額 ? 2—— 電子錢包 ? 3—— 次卡 ? 4—— 空調(diào)車 ? 5—— 非空調(diào)車 ? 6—— 刷卡時間超過 2小時 測試用例設(shè)計 —— 因果圖方法 ? 結(jié)果： ? 21—— 余額不足請投幣 ? 22—— 扣除 ? 23—— 扣除 ? 24—— 扣除 2次 ? 25—— 扣除 1次 ? 26—— 時間未超過 2小時不做扣除 測試用例設(shè)計 —— 因果圖方法 ? 3)對應(yīng)的因果圖如下： 1 2 5 3 6 4 21 26 25 24 23 22 I E 12 11 上的車 該扣除次數(shù) 13 可扣除次數(shù) ∨ ∧ ∧ ∧ 14 ∧ ∧ ∧ 該扣除余額 ∧ 測試用例設(shè)計 —— 判定表驅(qū)動分析法 ? ：判定表是分析和表達(dá)多邏輯條件下執(zhí)行不同操作的情況的工具。 ? 3)由于語法或環(huán)境限制 , 有些原因與原因之間 ,原因與結(jié)果之間的組合情況不可能出現(xiàn)，為表明這些特殊情況 , 在因果圖上用一些記號表明約束或限制條件。在因果圖中 ,用特定的符號標(biāo)明這些約束。 ?②非：若 ci是 1，則 ei是 0；否則 ei是 1。這樣雖然各種輸入條件可能出錯的情況已經(jīng)測試到了，但多個輸入條件組合起來可能出錯的情況卻被忽視了。此模型支持雙時間片（大時間片和小時間片）分析方式。 測試用例設(shè)計 —— 正交試驗法 ?2)因素數(shù)不相同 ?水平數(shù)（變量的取值）相同，但在正交表中找不到相同因素數(shù)（變量）（取因素數(shù)最接近但略大于實際值的表） 測試用例設(shè)計 —— 正交試驗法 ? 舉例 ? 以浙江優(yōu)化版本的行為分析累計流量分析模型： ? 用戶累計發(fā)送行為分析模型只有兩級告警級別， 0級告警并對主叫號碼做黑名單增加處理， 1級只告警，不做黑名單增加處理。 測試用了設(shè)計 —— 正交試驗法 水平數(shù) (Levels)：任何單個因素能夠取得的值的最大個數(shù)，正交表中的包含的值為從 0到數(shù)“水平數(shù) 1”或從 1到“水平數(shù)”。 ? 4)如果程序的規(guī)格說明給出的輸入域或輸出域是有序集合 ,則應(yīng)選取集合的第一個元素和最后一個元素作為測試用例。 測試用例設(shè)計 —— 邊界值分析方法 ? ： 長期的測試工作經(jīng)驗告訴我們，大量的錯誤是發(fā)生在輸入或輸出范圍的邊界上，而不是發(fā)生在輸入輸出范圍的內(nèi)部。 測試用例設(shè)計 —— 等價類劃分方法 ?6)在確知已劃分的等價類中各元素在程序處理中的方式不同的情況下 ,則應(yīng)再將該等價類進一步的劃分為更小的等價類。 ?舉例： 客戶行為關(guān)系管理派單規(guī)則。 測試用例設(shè)計 —— 等價類劃分方法 ? ： 1)完備測試、避免冗余 。等價類劃分可有兩種不同的情況：有效等價類和無效等價類。 測試用例設(shè)計生成的基本原則 ? 測試用例的代表性：能夠代表并覆蓋各種合理的和不合理、合法的和非法的、邊界的和越界的、以及極限的輸入數(shù)據(jù)、操作和環(huán)境設(shè)置等 。 什么是測試用例 測試用例是軟件測試的核心， 那么什么是測試用例？ 什么是測試用例 ? 測試用例（ Test Case）目前沒有經(jīng)典的定義。 ?妥善保存測試計劃，測試用例，出錯統(tǒng)計和最終分析報告，為維護提供方便 軟件測試的對象 ?軟件測試并不等于程序測試，軟件測試應(yīng)貫穿與軟件工程的整個期間。 軟件測試的原則 ?應(yīng)當(dāng)把“盡早地和不斷地進行軟件測試”作為軟件開發(fā)者的座右銘。經(jīng)驗表明，測試后程序中殘存的錯誤數(shù)目與該程序中已發(fā)現(xiàn)的錯誤數(shù)目成正比。 對一個具有多重選擇和循環(huán)嵌套的程序 ， 不同的路徑數(shù)目可能是天文數(shù)字 。因此我們的做法是把測試數(shù)據(jù)和測試腳本從測試用例中劃分出來。該方法是一種重要的 ,常用的黑盒測試用例設(shè)計方法。對于具體的問題，無效等價類至少應(yīng)有一個，也可能有多個。 測試用例設(shè)計 —— 等價類劃分方法 ? 1)在輸入條件規(guī)定了取值范圍或值的個數(shù)的情況下 ,則可以確立一個有效等價類和兩個無效等價類。 ?舉例：系統(tǒng)初始化時默認(rèn)關(guān)鍵字級別包含 4級，由高到低分別為 0級、 1級、 2級、 3級，其中2級關(guān)鍵字為消息內(nèi)容替換，目前版本保留該級別但不做任何相關(guān)處理，該級別也不在系統(tǒng)管理模塊相應(yīng)的配置界面上呈現(xiàn)。通常邊界值分析法是作為對等價類劃分法的補充，這種情況下，其測試用例來自等價類的邊界。 測試用例設(shè)計 —— 邊界值分析方法 ? 1)如果輸入條件規(guī)定了值的范圍 ,則應(yīng)取剛達(dá)到這個范圍的邊界的值 ,以及剛剛超越這個范圍邊界的值作為測試輸入數(shù)據(jù)。往往因果關(guān)系非常龐大 ,以至于據(jù)此因果圖而得到的測試用例數(shù)目多的驚人，給軟件測試帶來沉重的負(fù)擔(dān)，為了有效地 ,合理地減少測試的工時與費用 ,可利用正交實驗設(shè)計方法進行測試用例的設(shè)計。這 樣就保證了試驗條件均衡地分散在在因素水平的完全組合之中，因而具有很強的代表性，容易得到 好的試驗條件。只有當(dāng)某一主叫號碼的小時間片的發(fā)送量統(tǒng)計值超過小時間片定義的最小閾值系數(shù)時，才開始對該號碼的大時間片發(fā)送總量做分析統(tǒng)計。產(chǎn)生的告警數(shù)據(jù)保留最后一條短消息的短消息內(nèi)容。 ?3) Ci表示原因，通常置于圖的左部； ei表示結(jié)果，通常在圖的右部。 用例設(shè)計測試 —— 因果圖方法 ?2) 約束 ?輸入狀態(tài)相互之間還可能存在某些依賴關(guān)系，稱為約束。 ? ? 輸出條件的約束只有 M約束（強制）：若結(jié)果 a是 1，則結(jié)果 b強制為 0。 測試用例設(shè)計 —— 因果圖方法 ? 3)根據(jù)因果圖建立判定表。 測試用例設(shè)計 —— 判定表驅(qū)動分析法 ?3. 判定表通常由四個部分組成如下圖所示。 測試用例設(shè)計 —— 判定表驅(qū)動分析法 ? ? 1)規(guī)則：任何一個條件組合的特定取值及其相應(yīng)要執(zhí)行的操作稱為規(guī)則。 ? 4)填入動作項。 ? 提出這種測試思想的是 Rational 公司，在 RUP2000 中文版當(dāng)中有其詳盡的解釋和應(yīng)用，用例場景貫 ? 穿其中。 ? 2)必要時用等價類劃分方法補充一些測試用例。 。 ? 3)測試用例合成 :合成測試路徑與功能圖中每個狀態(tài)中的局部測試用例 .結(jié)果是初始狀態(tài)到最后狀態(tài)的一個狀態(tài)序列 ,以及每個狀態(tài)中輸入數(shù)據(jù)與對應(yīng)輸出數(shù)據(jù)的組合。 ? ? 現(xiàn)在的軟件幾乎都是由事件觸發(fā)來控制流程的，事件觸發(fā)時的情景便形成了場景，而同一事件不同的 ? 觸發(fā)順序和處理結(jié)果形成事件流。 ? 2)列出所有的條件樁和動作樁。在所有可能情況下的真假值。