1.測試用例是將測試行爲具體量化的方法之一，設計軟件測試用例的目的，就是爲了能將軟件測試的行爲轉換爲可管理的模式。
2.黑盒測試用例設計方法包括：等價類劃分法、邊界值分析法、錯誤推測法、因果圖法、判定表驅動法、正交實驗設計法、功能圖法等。
等價類劃分
- 把程序的輸入域劃分成若干部分，然後從每個部分中選取少數代表性數據作爲測試用例。
- 等價類劃分有兩種不同的情況：有效等價類和無效等價類
確定等價類--> 確定測試用例
確定測試用例步驟：
- 爲每個等價類規定一個唯一的編號
- 設計一個新的測試用例，使其儘可能多的覆蓋尚未覆蓋的有效等價類；重複直至所有有效等價類均被覆蓋
- 設計一個新的測試用例，使其每次只覆蓋一個無效等價類；重複直至所有無效等價類均被覆蓋
邊界值分析
- 大量的錯誤是發生在輸入或輸出範圍的邊界上的，而不是發生在輸入範圍的內部
- 如果輸入條件/輸出條件規定了值的範圍，則應取剛到達這個範圍的邊界的值，以及剛剛超越這個範圍邊界的值作爲測試輸入/輸出數據
- 如果輸入條件/輸出條件規定了值的個數，則用最大個數、最小個數、比最小個數少1、比最大個數多1的數作爲測試數據
- 如果程序的規格說明給出的輸入域或輸出域是有序集合，則應選取集合的第一個元素和最後一個元素作爲測試用例
- 如果程序中使用了一個內部數據結構，則應當選擇這個內部數據結構邊界上的值作爲測試用例
錯誤推測法
- 基於經驗和直覺推測程序中所有可能存在的各種錯誤，有針對性的設計測試用例的方法
因果圖法
- 分析程序規格說明的描述中，哪些是原因，哪些是結果。原因常常是輸入條件或輸入條件的等價類，而結果是輸出條件
- 將程序規格說明中的描述表示成連接各個原因與各個結果的“因果圖”
- 標明約束條件
- 把因果圖轉換成判定表
- 把判定表中的每一列設計成一個測試用例
- 因果圖生成的測試用例數目達到最少，在較爲複雜的問題中，這個方法十分有效。
- 原因和結果的狀態：恆等、非、或、與
- 約束條件：（1）從輸入/原因考慮：互斥、包含、唯一、要求 （2）從輸出/結果考慮：屏蔽
- 判定表由4部分組成：條件樁、動作樁、條件項、動作項
正交實驗法
功能圖法
- 功能圖模型由狀態遷移圖和邏輯功能模型構成。
- 狀態遷移圖用於表示輸入數據序列以及相應的輸出數據。在狀態遷移圖中，由輸入數據和當前狀態決定輸出數據和後續狀態
- 邏輯功能模型用於表示在狀態中輸入條件和輸出條件之間的對應關係。邏輯功能模型只適合於描述靜態說明，輸出數據僅有輸入數據決定。
3.測試用例計劃的目的
- 組織好用例，以便有效的審查和使用
- 確定原有的測試是否得到重複
- 正確的測試用例計劃和跟蹤提供了一種證實測試的手段
4.測試設計說明
定義：在測試計劃中提煉測試方法，明確指出設計包含的特性以及相關的測試用例和測試程序，並指定判斷特性通過/失敗的規則
目的：組織和描述針對具體特性需要進行的測試
5.白盒測試方法
- 代碼檢查法
- 靜態結構分析法
- 靜態質量度量法
- 邏輯覆蓋法
（未完）