概念：
黑盒測試是把測試物件看做一個黑盒子，利用黑盒測試法進行動態測試時，需要測試軟體產品已經實現的功能是否符合功能設計要求，不需測試軟體產品的內部結構和處理過程。
黑盒測試注重於測試軟體的功能性需求，也即黑盒測試使軟體工程師派生出執行程式所有功能需求的輸入條件。黑盒測試並不是白盒測試的替代品，而是用於輔助白盒測試發現其他型別的錯誤。

黑盒測試試圖發現以下型別的錯誤：

1. 功能錯誤或遺漏；

2. 介面錯誤；

3. 資料結構或外部資料庫訪問錯誤；

4. 效能錯誤；

5. 初始化和終止錯誤。

黑盒技術設計測試用例的方法有：

1. 等價類劃分方法
   

2. 邊界值分析方法
   

3. 錯誤推測方法
   

4. 因果圖方法
   

5. 判定表驅動分析方法
   

6. 正交實驗設計方法
   

7. 功能圖分析方法

 1.等價類劃分：

等價類劃分法是把所有可能的輸入資料

1） 劃分等價類：

等價類是指某個輸入域的子集合。在該子集合中，各個輸入資料對於揭露程式中的錯誤都是等效的。併合理地假定：測試某等價類的代表值就等於對這一類其它值的測試。因此，可以把全部輸入資料合理劃分為若干等價類，在每一個等價類中取一個數據作為測試的輸入條件，就可以用少量代表性的測試資料。取得較好的測試結果。等價類劃分可有兩種不同的情況：有效等價類和無效等價類。
有效等價類：是指對於程式的規格說明來說是合理的，有意義的輸入資料構成的集合。利用有效等價類可檢驗程式是否實現了規格說明中所規定的功能和效能。
無效等價類：與有效等價類的定義恰巧相反。

2）劃分等價類的方法：

下面給出六條確定等價類的原則。
① 在輸入條件規定了取值範圍或值的個數的情況下，則可以確立一個有效等價類和兩個無效等價類。
例：輸入值是學生成績，範圍是0～100：

② 在輸入條件規定了輸入值的集合或者規定了“必須如何”的條件的情況下，可確立一個有效等價類和一個無效等價類。
③ 在輸入條件是一個布林量的情況下，可確定一個有效等價類和一個無效等價類; 布林量是一個二值列舉型別, 一個布林量具有兩種狀態:true和 false 。
④ 在規定了輸入資料的一組值（假定n個），並且程式要對每一個輸入值分別處理的情況下，可確立n個有效等價類和一個無效等價類。
⑤ 在規定了輸入資料必須遵守的規則的情況下，可確立一個有效等價類（符合規則）和若干個無效等價類（從不同角度違反規則）。
⑥ 在確知已劃分的等價類中各元素在程式處理中的方式不同的情況下，則應再將該等價類進一步的劃分為更小的等價類。

3）設計測試用例(將等價類轉化成測試用例)：

在確立了等價類後，可建立等價類表，列出所有劃分出的等價類：
[輸入條件] [有效等價類] [無效等價類]
然後從劃分出的等價類中按以下三個原則設計測試用例：
① 為每一個等價類規定一個唯一的編號。
② 設計一個新的測試用例，使其儘可能多地覆蓋尚未被覆蓋地有效等價類，重複這一步。直到所有的有效等價類都被覆蓋為止。
③ 設計一個新的測試用例，使其僅覆蓋一個尚未被覆蓋的無效等價類，重複這一步。直到所有的無效等價類都被覆蓋為止。

2.邊界值分析法

（1）邊界值分析方法的考慮：

長期的測試工作經驗告訴我們，大量的錯誤是發生在輸入或輸出範圍的邊界上，而不是發生在輸入輸出範圍的內部。因此針對各種邊界情況設計測試用例，可以查出更多的錯誤。
使用邊界值分析方法設計測試用例，首先應確定邊界情況。通常輸入和輸出等價類的邊界，就是應著重測試的邊界情況。應當選取正好等於，剛剛大於或剛剛小於邊界的值作為測試資料，而不是選取等價類中的典型值或任意值作為測試資料。

（2）基於邊界值分析方法選擇測試用例的原則：

1）如果輸入條件規定了值的範圍，則應取剛達到這個範圍的邊界的值，以及剛剛超越這個範圍邊界的值作為測試輸入資料。
2）如果輸入條件規定了值的個數，則用最大個數，最小個數，比最小個數少一，比最大個數多一的數作為測試資料。
3）根據規格說明的每個輸出條件，使用前面的原則1）。
4）根據規格說明的每個輸出條件，應用前面的原則2）。
5）如果程式的規格說明給出的輸入域或輸出域是有序集合，則應選取集合的第一個元素和最後一個元素作為測試用例。
6）如果程式中使用了一個內部資料結構，則應當選擇這個內部資料結構的邊界上的值作為測試用例。
7）分析規格說明，找出其它可能的邊界條件。

3.錯誤推測法

錯誤推測法： 基於經驗和直覺推測程式中所有可能存在的各種錯誤， 從而有針對性的設計測試用例的方法。

錯誤推測方法的基本思想：

列舉出程式中所有可能有的錯誤和容易發生錯誤的特殊情況，根據他們選擇測試用例。例如， 在單元測試時曾列出的許多在模組中常見的錯誤。 以前產品測試中曾經發現的錯誤等， 這些就是經驗的總結。 還有， 輸入資料和輸出資料為0的情況。 輸入表格為空格或輸入表格只有一行。 這些都是容易發生錯誤的情況。 可選擇這些情況下的例子作為測試用例。

4.因果圖方法

前面介紹的等價類劃分方法和邊界值分析方法，都是著重考慮輸入條件，但未考慮輸入條件之間的聯絡， 相互組合等。考慮輸入條件之間的相互組合，可能會產生一些新的情況。 但要檢查輸入條件的組合不是一件容易的事情， 即使把所有輸入條件劃分成等價類，他們之間的組合情況也相當多。因此必須考慮採用一種適合於描述對於多種條件的組合，相應產生多個動作的形式來考慮設計測試用例。 這就需要利用因果圖（邏輯模型）。

因果圖方法最終生成的就是判定表。 它適合於檢查程式輸入條件的各種組合情況。

1)  利用因果圖生成測試用例的基本步驟：

（1） 分析軟體規格說明描述中， 那些是原因（即輸入條件或輸入條件的等價類），那些是結果（即輸出條件），並給每個原因和結果賦予一個識別符號。

（2） 分析軟體規格說明描述中的語義。找出原因與結果之間，原因與原因之間對應的關係。 根據這些關係，畫出因果圖。

（3） 由於語法或環境限制， 有些原因與原因之間，原因與結果之間的組合情況不不可能出現。為表明這些特殊情況， 在因果圖上用一些記號表明約束或限制條件。

（4） 把因果圖轉換為判定表。
（5） 把判定表的每一列拿出來作為依據，設計測試用例。
從因果圖生成的測試用例（區域性，組合關係下的）包括了所有輸入資料的取TRUE與取FALSE的情況，構成的測試用例數目達到最少，且測試用例數目隨輸入資料數目的增加而線性地增加。

前面因果圖方法中已經用到了判定表。判定表（DECisionTable）是分析和表達多邏輯條件下執行不同操作的情況下的工具。在程式設計發展的初期，判定表就已被當作編寫程式的輔助工具了。由於它可以把複雜的邏輯關係和多種條件組合的情況表達得既具體又明確。

2） 因果圖示識 
原因和結果之間的關係有： 

①恆等：若C1是1，則E1也是1；否則E1為0。 
②非：若C1是1，則E1是0；否則E1是1。 
③或：若c1或c2是1，則E1是1；否則E1為0。 
④與：若c1和c2都是1，則E1為1；否則E1為0。

3）因果圖約束 
約束條件符號： 

A.輸入條件的約束有以下4類： 
① E約束（互斥/異）：a和b中至多有一個可能為1，即a和b不能同時為1。 
② I約束（或）：a、b和c中至少有一個必須是1，即 a、b 和c不能同時為0。 
③ O約束（唯一）；a和b必須有一個，且僅有1個為1。

B.輸出條件約束型別 
輸出條件的約束只有M約束（遮蔽/強制）：若結果a是1，則結果b強制為0。

5.判定表驅動分析方法 

判定表通常由四個部分組成。
條件樁（ConDItion STub）：列出了問題得所有條件。通常認為列出得條件的次序無關緊要。
動作樁（Action Stub）：列出了問題規定可能採取的操作。這些操作的排列順序沒有約束。
條件項（Condition Entry）：列出針對它左列條件的取值。在所有可能情況下的真假值。
動作項（Action Entry）：列出在條件項的各種取值情況下應該採取的動作。
規則：任何一個條件組合的特定取值及其相應要執行的操作。在判定表中貫穿條件項和動作項的一列就是一條規則。顯然，判定表中列出多少組條件取值，也就有多少條規則，既條件項和動作項有多少列。

判定表的建立步驟：（根據軟體規格說明）

① 確定規則的個數。假如有n個條件。每個條件有兩個取值（0，1），故有種規則。

② 列出所有的條件樁和動作樁。
③ 填入條件項。
④ 填入動作項。等到初始判定表。
⑤ 簡化、合併相似規則（相同動作）。
B.Beizer 指出了適合使用判定表設計測試用例的條件：
① 規格說明以判定表形式給出，或很容易轉換成判定表。
② 條件的排列順序不會也不影響執行哪些操作。
③ 規則的排列順序不會也不影響執行哪些操作。
④ 每當某一規則的條件已經滿足，並確定要執行的操作後，不必檢驗別的規則。
⑤ 如果某一規則得到滿足要執行多個操作，這些操作的執行順序無關緊要。

概念：
黑盒測試是把測試物件看做一個黑盒子，利用黑盒測試法進行動態測試時，需要測試軟體產品已經實現的功能是否符合功能設計要求，不需測試軟體產品的內部結構和處理過程。
黑盒測試注重於測試軟體的功能性需求，也即黑盒測試使軟體工程師派生出執行程式所有功能需求的輸入條件。黑盒測試並不是白盒測試的替代品，而是用於輔助白盒測試發現其他型別的錯誤。

黑盒測試試圖發現以下型別的錯誤：

1. 功能錯誤或遺漏；

2. 介面錯誤；

3. 資料結構或外部資料庫訪問錯誤；

4. 效能錯誤；

5. 初始化和終止錯誤。

黑盒技術設計測試用例的方法有：

1. 等價類劃分方法
   

2. 邊界值分析方法
   

3. 錯誤推測方法
   

4. 因果圖方法
   

5. 判定表驅動分析方法
   

6. 正交實驗設計方法
   

7. 功能圖分析方法

 1.等價類劃分：

等價類劃分法是把所有可能的輸入資料，即程式的輸入域劃分成若干部分（子集），然後從每個部分中選取少數代表性資料作為測試用例；該方法是一種重要的，常用的黑盒測試用例設計方法。

1） 劃分等價類：

等價類是指某個輸入域的子集合。在該子集合中，各個輸入資料對於揭露程式中的錯誤都是等效的。併合理地假定：測試某等價類的代表值就等於對這一類其它值的測試。因此，可以把全部輸入資料合理劃分為若干等價類，在每一個等價類中取一個數據作為測試的輸入條件，就可以用少量代表性的測試資料。取得較好的測試結果。等價類劃分可有兩種不同的情況：有效等價類和無效等價類。
有效等價類：是指對於程式的規格說明來說是合理的，有意義的輸入資料構成的集合。利用有效等價類可檢驗程式是否實現了規格說明中所規定的功能和效能。
無效等價類：與有效等價類的定義恰巧相反。
設計測試用例時，要同時考慮這兩種等價類。因為，軟體不僅要能接收合理的資料，也要能經受意外的考驗。這樣的測試才能確保軟體具有更高的可靠性。

2）劃分等價類的方法：

下面給出六條確定等價類的原則。
① 在輸入條件規定了取值範圍或值的個數的情況下，則可以確立一個有效等價類和兩個無效等價類。
例：輸入值是學生成績，範圍是0～100：

② 在輸入條件規定了輸入值的集合或者規定了“必須如何”的條件的情況下，可確立一個有效等價類和一個無效等價類。
③ 在輸入條件是一個布林量的情況下，可確定一個有效等價類和一個無效等價類; 布林量是一個二值列舉型別, 一個布林量具有兩種狀態:true和 false 。
④ 在規定了輸入資料的一組值（假定n個），並且程式要對每一個輸入值分別處理的情況下，可確立n個有效等價類和一個無效等價類。
⑤ 在規定了輸入資料必須遵守的規則的情況下，可確立一個有效等價類（符合規則）和若干個無效等價類（從不同角度違反規則）。
⑥ 在確知已劃分的等價類中各元素在程式處理中的方式不同的情況下，則應再將該等價類進一步的劃分為更小的等價類。

3）設計測試用例(將等價類轉化成測試用例)：

在確立了等價類後，可建立等價類表，列出所有劃分出的等價類：
[輸入條件] [有效等價類] [無效等價類]
然後從劃分出的等價類中按以下三個原則設計測試用例：
① 為每一個等價類規定一個唯一的編號。
② 設計一個新的測試用例，使其儘可能多地覆蓋尚未被覆蓋地有效等價類，重複這一步。直到所有的有效等價類都被覆蓋為止。
③ 設計一個新的測試用例，使其僅覆蓋一個尚未被覆蓋的無效等價類，重複這一步。直到所有的無效等價類都被覆蓋為止。

2.邊界值分析法

（1）邊界值分析方法的考慮：

長期的測試工作經驗告訴我們，大量的錯誤是發生在輸入或輸出範圍的邊界上，而不是發生在輸入輸出範圍的內部。因此針對各種邊界情況設計測試用例，可以查出更多的錯誤。
使用邊界值分析方法設計測試用例，首先應確定邊界情況。通常輸入和輸出等價類的邊界，就是應著重測試的邊界情況。應當選取正好等於，剛剛大於或剛剛小於邊界的值作為測試資料，而不是選取等價類中的典型值或任意值作為測試資料。

（2）基於邊界值分析方法選擇測試用例的原則：

1）如果輸入條件規定了值的範圍，則應取剛達到這個範圍的邊界的值，以及剛剛超越這個範圍邊界的值作為測試輸入資料。
2）如果輸入條件規定了值的個數，則用最大個數，最小個數，比最小個數少一，比最大個數多一的數作為測試資料。
3）根據規格說明的每個輸出條件，使用前面的原則1）。
4）根據規格說明的每個輸出條件，應用前面的原則2）。
5）如果程式的規格說明給出的輸入域或輸出域是有序集合，則應選取集合的第一個元素和最後一個元素作為測試用例。
6）如果程式中使用了一個內部資料結構，則應當選擇這個內部資料結構的邊界上的值作為測試用例。
7）分析規格說明，找出其它可能的邊界條件。

3.錯誤推測法

錯誤推測法： 基於經驗和直覺推測程式中所有可能存在的各種錯誤， 從而有針對性的設計測試用例的方法。

錯誤推測方法的基本思想：

列舉出程式中所有可能有的錯誤和容易發生錯誤的特殊情況，根據他們選擇測試用例。例如， 在單元測試時曾列出的許多在模組中常見的錯誤。 以前產品測試中曾經發現的錯誤等， 這些就是經驗的總結。 還有， 輸入資料和輸出資料為0的情況。 輸入表格為空格或輸入表格只有一行。 這些都是容易發生錯誤的情況。 可選擇這些情況下的例子作為測試用例。

4.因果圖方法

前面介紹的等價類劃分方法和邊界值分析方法，都是著重考慮輸入條件，但未考慮輸入條件之間的聯絡， 相互組合等。考慮輸入條件之間的相互組合，可能會產生一些新的情況。 但要檢查輸入條件的組合不是一件容易的事情， 即使把所有輸入條件劃分成等價類，他們之間的組合情況也相當多。因此必須考慮採用一種適合於描述對於多種條件的組合，相應產生多個動作的形式來考慮設計測試用例。 這就需要利用因果圖（邏輯模型）。

因果圖方法最終生成的就是判定表。 它適合於檢查程式輸入條件的各種組合情況。

1)  利用因果圖生成測試用例的基本步驟：

（1） 分析軟體規格說明描述中， 那些是原因（即輸入條件或輸入條件的等價類），那些是結果（即輸出條件），並給每個原因和結果賦予一個識別符號。

（2） 分析軟體規格說明描述中的語義。找出原因與結果之間，原因與原因之間對應的關係。 根據這些關係，畫出因果圖。

（3） 由於語法或環境限制， 有些原因與原因之間，原因與結果之間的組合情況不不可能出現。為表明這些特殊情況， 在因果圖上用一些記號表明約束或限制條件。

（4） 把因果圖轉換為判定表。
（5） 把判定表的每一列拿出來作為依據，設計測試用例。
從因果圖生成的測試用例（區域性，組合關係下的）包括了所有輸入資料的取TRUE與取FALSE的情況，構成的測試用例數目達到最少，且測試用例數目隨輸入資料數目的增加而線性地增加。

前面因果圖方法中已經用到了判定表。判定表（DECisionTable）是分析和表達多邏輯條件下執行不同操作的情況下的工具。在程式設計發展的初期，判定表就已被當作編寫程式的輔助工具了。由於它可以把複雜的邏輯關係和多種條件組合的情況表達得既具體又明確。

2） 因果圖示識 
原因和結果之間的關係有： 

①恆等：若C1是1，則E1也是1；否則E1為0。 
②非：若C1是1，則E1是0；否則E1是1。 
③或：若c1或c2是1，則E1是1；否則E1為0。 
④與：若c1和c2都是1，則E1為1；否則E1為0。

3）因果圖約束 
約束條件符號： 

A.輸入條件的約束有以下4類： 
① E約束（互斥/異）：a和b中至多有一個可能為1，即a和b不能同時為1。 
② I約束（或）：a、b和c中至少有一個必須是1，即 a、b 和c不能同時為0。 
③ O約束（唯一）；a和b必須有一個，且僅有1個為1。

B.輸出條件約束型別 
輸出條件的約束只有M約束（遮蔽/強制）：若結果a是1，則結果b強制為0。

5.判定表驅動分析方法 

判定表通常由四個部分組成。
條件樁（ConDItion STub）：列出了問題得所有條件。通常認為列出得條件的次序無關緊要。
動作樁（Action Stub）：列出了問題規定可能採取的操作。這些操作的排列順序沒有約束。
條件項（Condition Entry）：列出針對它左列條件的取值。在所有可能情況下的真假值。
動作項（Action Entry）：列出在條件項的各種取值情況下應該採取的動作。
規則：任何一個條件組合的特定取值及其相應要執行的操作。在判定表中貫穿條件項和動作項的一列就是一條規則。顯然，判定表中列出多少組條件取值，也就有多少條規則，既條件項和動作項有多少列。

判定表的建立步驟：（根據軟體規格說明）

① 確定規則的個數。假如有n個條件。每個條件有兩個取值（0，1），故有種規則。

② 列出所有的條件樁和動作樁。
③ 填入條件項。
④ 填入動作項。等到初始判定表。
⑤ 簡化、合併相似規則（相同動作）。
B.Beizer 指出了適合使用判定表設計測試用例的條件：
① 規格說明以判定表形式給出，或很容易轉換成判定表。
② 條件的排列順序不會也不影響執行哪些操作。
③ 規則的排列順序不會也不影響執行哪些操作。
④ 每當某一規則的條件已經滿足，並確定要執行的操作後，不必檢驗別的規則。
⑤ 如果某一規則得到滿足要執行多個操作，這些操作的執行順序無關緊要。