【正文】 邏輯覆蓋法 (1)語句覆蓋 (2)判定覆蓋 (3)條件覆蓋 (4)判定 /條件覆蓋 (5)條件組合覆蓋 (6)路徑覆蓋 (7)點覆蓋 (8)邊覆蓋 例 :PROCEDURE SAMPAL (A， B： REAL； VAR X： REAL)。 開始 (A1) AND (B=0) (A=2) OR (X1) 返回 X=X/A X=X+1 F F T T a b d c e (1)語句覆蓋 使程序中每個語句至少執(zhí)行一次 語句覆蓋 開始 (A1) AND (B=0) (A=2) OR (X1) 返回 X=X/A X=X+1 F F T T a b d c e 只需設計一個測試用例 : 輸入數據： A=2， B=0， X=4 則覆蓋 ace,可以執(zhí)行程序中的每一條語句 ,即達到了語句覆蓋 。 語句覆蓋仍是 弱 的邏輯覆蓋。 未覆蓋 c、 d分支 ，不滿足判定覆蓋的要 求 . 條件覆蓋不一定包含判定覆蓋 判定覆蓋也不一定包含條件覆蓋 (4)判定 /條件覆蓋 選取足夠多的測試用例 ， 使判斷中的每個條件的所有可能取值至少執(zhí)行一次 ， 同時每個判斷本身的所有可能判斷結果至少執(zhí)行一次 . 判定 /條件 覆蓋 開始 (A1) AND (B=0) (A=2) OR (X1) 返回 X=X/A X=X+1 F F T T a b d c e 滿足條件 : T1,T1, T2,T2 T3,T3 T4,T4 測試用例 通過 滿足的 覆蓋 A B X 路徑 條件 分支 2 0 4 ace T1,T2,T3,T4 c,e 2 1 1 abd T1,T2,T3,T4 b,d 能同時滿足判定、條件兩種覆蓋標準取值。 （ 2） 嵌套循環(huán)測試 ? 如果把簡單循環(huán)的方法直接用于嵌套循環(huán) ， 可能的測試次數會隨著嵌套循環(huán)的層數的增加按幾何級數增加 ， 導致不現實的測試數目 ， 可以進行下列的測試： ? 從最內層循環(huán)開始測試 ， 把其他循環(huán)都設置為最小值； ? 對最內層循環(huán)使用簡單測試方法 ， 使外層循環(huán)的迭代參數取最小值 （ 例如 ， 循環(huán)計算器等 ） ， 并且 ， 為越界或非法值增加一些額外的測試； ? 由內向外 ， 對下一個循環(huán)進行測試 ， 保持它的所有外層循環(huán)為最小值 ， 其他的嵌套循環(huán)取 “ 典型” 值 。 （ 3） 串接循環(huán)測試 ? 如果串接循環(huán)的各個循環(huán)都彼此獨立 ，則可以使用簡單循環(huán)測試的方法來進行。 這時 ， 建議使用嵌套循環(huán)測試方法來進行 。 基本路徑測試步驟： ? 導出程序流程圖的拓撲結構 流圖 (程序圖 ) ? 計算流圖 G的環(huán)路復雜度 V(G) ? 確定只包含獨立路徑的基本路徑集 ? 設計測試用例 ?導出程序流程圖的拓撲結構 流圖 1 2,3 6 4,5 7 10 11 a 節(jié)點 邊 R4 區(qū)域 1 2 3 4 5 8 7 6 9 10 11 程序流程圖 8 9 R1 R2 R3 計算流圖 G的環(huán)路復雜度 V(G) V(G)=區(qū)域個數 =4 V(G)=邊的條數 節(jié)點個數 +2=4 V(G)=判定節(jié)點個數 +1=4 確定只包含獨立路徑的基本路徑集 path1:111 path2:1234510111 path3:12368910111 path4:12367910111 一條新路徑必須包含一條新邊。 4(環(huán) 路復雜度 V(G))是構成這個基本路徑集的獨立 路徑數的上界，也是設計 測試用例的數目。 黑盒測試的測試用例設計 等價類劃分法 把所有可能的輸入數據 (有效的 和無效的 )劃分成若干個等價的子集 (稱為等價類 )， 使得每個子集中的 一個典型值在測試中的作用與這一 子集中所有其它值的作用相同 . 可從每個子集中選取一組數據來測試程序 例 :某報表處理系統(tǒng)要求用戶輸入處理 報表的日期，日期限制在 2022年 1 月至 2022年 12月，即系統(tǒng)只能對該 段期間內的報表進行處理，如日期 不在此范圍內，則顯示輸入錯誤信 息。 如何用等價類劃分法設計測試用例 , 來測試程序的日期檢查功能？ 如何劃分等價類？ ?有效等價類 (合理等價類 ) ?無效等價類 (不合理等價類 ) 劃分等價類的標準： ?覆蓋 ?不相交 ?代表性 劃分等價類的規(guī)則 (1)如果輸入條件規(guī)定了取值范圍， 可定義一個有效等價類和兩個無 效等價類。 劃分等價類的規(guī)則： (3)如規(guī)定了輸入數據的一組值 ， 且 程序對不同輸入值做不同處理 ， 則每個允許的輸入值是一個有 效等價類 ， 并有一個無效等價類 (所有不允許的輸入值的集合 )。 (5)如已劃分的等價類各元素在程序中 的處理方式不同 ， 則應將此等價 類進一步劃分成更小的等價類 。 軟件錯誤分為兩類： 計算錯誤 域錯誤 ?針對 計算錯誤的測試方法 ?針對 域錯誤 的測試方法 :測試 域邊界 劃定的正確性 邊界值分析法 邊界值分析法與等價類劃分法區(qū)別 (1)邊界值分析不是從某等價類中 隨便挑一個作為代表，而是使 這個等價類的每個邊界都要作 為測試條件。 例如，數據測試中的 : ?缺省值 ?空白 ?空值 ?零值 ?無 狀態(tài)測試 軟件必須測試程序的狀態(tài)及其轉換。 ?競爭條件和時序錯亂 ?重復 ?壓迫 ?重負 應聯(lián)合使用，同時進行 有效等價類和用來測試 getNumDaysInMonth()方法所選的有效輸入 有效 等價類 一個月有 31天 ,非閏年 1901 7(七月 ) 一個月有 31天 , 閏年 1904 7(七月 ) 一個月有 30天 ,非閏年 1901 6(六月 ) 一個月有 30天 , 閏年 1904 6(六月 ) 一個月為 28或 29天 ,非閏年 1901 2(二月 ) 月份 輸入值 年份 輸入值 一個月為 28或 29天 , 閏年 2(二月 ) 1904 用來測試 getNumDaysInMonth()方法的附加邊界值 等價類 可以被 400整除的閏年 2022 2(二月 ) 可以被 100整除的非閏年 1900 2(二月 ) 非正數無效月份 1291 0 正數無效月份 1315 13 月份 輸入值 年份 輸入值 因果圖法 因果圖適合于描述對于多種輸入條件的組合，相應產生多個動作的形式來設計測試用例。 因果圖方法實例 某電力公司有 A、 B、 C、 D四類收費標準 , 并規(guī)定： 居民用電 100度 /月 按 A類收費 ≥ 100度 /月按 B類收費 動力用電 10000度 /月 ,非高峰 ,B類收費 ≥ 10000度 /月 ,非高峰 ,C類收費 10000度 /月 , 高峰 ,C類收費 ≥ 10000度 /月 , 高峰 ,D類收費 用因果圖表明輸入和輸出間的邏輯關系 1 I1 2 B ∨ ∧ 4 A C 3 5 ∧ D I4 I3 I2 ∨ ∧ ∧ ∧ ∧ 把因果圖轉換為判定表 組合條件 條件 (原因 ) 動作 (結果 ) A B C 1 2 3 1 2 3 4 5 6 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 0 4 1 0 1 0 5 0 0 1 1 D 0 0 0 1 1 0 0 1 0 0 0 0 測試用例 為判定表每一列設計一個測試用例 : 1列 居民電 ,90度 /月 A 2列 居民電 ,110度 /月 B 3列 動力電 ,非高峰 ,8000度 /月 B 4列 動力電 ,非高峰 , /月 C 5列 動力電 , 高峰 , /月 C 6列 動力電 , 高峰 , /月 D 條件 測試用例 預期結果 組合 (輸入數據 ) (輸出動作 ) 軟件測試的過程 被測 模塊 單元 測試 設計 信息 集成 測試 被測 模塊 單元 測試 被測 模塊 單元 測試 測試過 的模塊 確認 測試 系統(tǒng) 測試 軟件 需求 其它系 統(tǒng)元素 裝配好的軟件 確認 的軟件 可運 行的 軟件 軟件測試的步驟 軟件測試策略 單元測試 U C D R S I V ST 集成測試 確認測試 系統(tǒng)測試 系統(tǒng)工程 軟件需求分析 軟件設計 代碼編寫 單元測試 一 .單元測試的內容 主要對模塊的 五個基本特性 進行評價 模塊 錯誤處理 模塊接口 局部數 據結構 重要的 執(zhí)行路徑 邊界條件 ?接口錯誤 ?I/O錯誤 ?數據結構錯誤 ?算法錯誤 ?比較及控制邏輯錯誤 ?錯誤處理錯誤 ?至少一次測試所有語句 ?測試所有可能的執(zhí)行或邏輯路徑的組合 ?測試每個模塊的所有入口和出口 3. 確定單元測試數據集 ?值域 ?值類 ?離散值 ?值的次序集 (測試順序文件和 表 ) 二 .單元測試的方法 單元測試一般為編碼步驟的附屬部分。 單元測試的測試環(huán)境舉例 : 實際軟件 華氏到懾氏 轉換模塊 溫度數據 實際配置 測試用例數據 結果 測試驅動軟件 華氏到懾氏 轉換模塊 結果 測試驅動際配置 單元測試的測試環(huán)境舉例 溫度顯示模塊 溫度接口 模塊 實際配置 測試驅動實際配置 溫度顯示模塊 程序員編寫的樁模塊 (測試存根 ) 溫度值的測試文件 結構性模式 (structural patterns) ?適配器模式 (Adapter)—打包器 (Wrapper) ?橋模式 (Bridge)—句柄 (Handle) ?組合模式 (Composite) ?修飾模式 (Decorator)—包裝器 (Wrapper) ?外觀模式 (Facade) ?輕量模式 (Flyweight) ?代理模式 —(Proxy) Implementor OperationaImp( ) 橋模式 (Bridge) 意圖：將抽象部分和實現部分分離，使他們都可以獨立地變化 Abstraction Contextinterface( ) ConcreteImplementorA OperationaImp( ) ConcreteImplementorB OperationaImp( ) RefinedAbstraction 支持多種窗口系統(tǒng)的設計 —窗口與窗口實現分離 Window Raise( ) DrawRact(…) ApplicationWindow IconWindow DialogWindow MacWindowlmp DeviceRaise( ) DeviceRect(… ) …… PMWindowlmp DeviceRaise( ) DeviceRect(… ) …… XWindowlmp DeviceRaise( ) DeviceRect(… ) …… Windowl