1.等價類測試
在輸入域的子集合中，利用其中一部分輸入數據來揭露程序中的錯誤是等效的
2.等價類的劃分
有效等價類
對程序的規格說明來說是合理的、有意義的輸入數據構成的集合，一般是檢查程序是否實現了該功能
無效等價類
與有效等價類正好相反，利用一些不合理的數據來證明程序不符合規格說明
3.等價類的測試類型
- 弱一般等價類測試
- 強一般等價類測試
- 弱健壯性等價類測試
- 強健壯性等價類測試
4.等價類測試的原則
- 輸入條件規定取值範圍和個數，則確定一個有效等價類和兩個無效的
- 輸入條件規定輸入數據的一組值，則確定一個有效的和一個無效的
- 輸入條件規定輸入數據必須遵守的規則，則確定一個有效和若干個無效
- 確知已劃分的等價類中各元素處理方式不同，則進一步對等價類進行劃分
5.等價類測試用例設計實例
- 以語言標示符規格說明爲例
- 以三角形問題爲例
6.邊界值測試
對輸入等價類和輸出等價類而言，位於其邊界的值，或稍高於邊界的值及稍低於邊界的值
7.邊界值測試的原則
- 輸入條件規定值的範圍，則取剛到達這個範圍的值，以及剛超越這個範圍的值作爲測試輸入數據
- 輸入條件規定值的個數，則取最大個數、最小個數、比最大個數多1、比最小個數少1的數作爲測試輸入數據
- 根據規格說明的每個輸出條件，使用前面的原則1和原則2
- 輸入域或輸出域是有序結合，則取第一個元素和最後一個元素作爲測試用例
- 程序中使用內部數據結構，則取它邊界上的值
- 分析規格說明，找出其他可能的邊界條件
8.判定表
也稱決策表，適合描述多個邏輯條件取值的組合所構成的複雜情況下應執行的動作
9.判定表的組成部分
- 條件樁：列出各種可能的單個條件
- 動作樁：列出可能採取的單個動作
- 條件項：針對各種條件給出多組條件取值的組合
- 動作項：指出在條件項的各組取值組合下應採取的動作
10.判定表的分類
- 有限條目判定表：把所有條件都是二元條件
- 擴展條目判定表：條件可以有多個值
11.因果圖
多種條件的組合，相應產生多個動作的方法來設計測試用例
12.因果圖的設計測試用例的基本步驟
- 分析具體問題，列出所有的原因和結果，並給每個原因和結果賦予一個標識符
- 進一步分析語義，找出原因與結果之間、原因與原因之間的對應關係，根據這些關係畫出因果圖
- 把因果圖轉換爲判定表
- 根據判定表的每一列，設計測試用例
13.狀態圖
也稱功能圖方法，它是用功能圖形式化的表示程序的功能說明，並機械地生成功能圖的測試用例
14.功能圖模型是由狀態圖和邏輯功能模型構成
15.功能圖生成測試用例過程
- 生成局部測試用例
- 測試路徑生成
- 測試用例的合成
16.功能圖是由狀態圖和布爾函數組成
17.場景法
是在面向對象測試中很有用的設計測試用例的方法，是指事件觸發時的情景
18.場景法設計測試用例的步驟
- 對用例進行分析
- 對用例場景進行分析，發現包含的基本流和備選流
- 根據場景設計測試用例
- 確定測試數據
19.其他黑盒測試用例設計技術
- 規格導出去：是一種正向的測試
- 內部邊界值測試
- 錯誤猜測法：基於經驗和其他一些測試技術
- 基於接口的測試：根據模塊和它們相互關係的特性選擇測試數據
20.基於接口有分爲
輸入域測試
目標是選用域的代表值，從它們的執行中得到整個輸入域的測試結果
特殊值測試
基於計算功能的特性來選擇測試用例的方法，該方法尤其適用於數學計算
輸出域測試：通過選擇能夠使得每個輸出域達到極端值的輸入數據作爲測試用例來執行測試