軟體黑盒測試是以用戶的角度，從輸入數據與輸出數據的對應關係出發進行測試的。很明顯，如果外部特性本身有問題或規格說明的規定有誤，用黑盒測試方法是發現不了的。
基本介紹
定義,作用,設計方法,工具選擇,區別,實施方案,
定義
軟體黑盒測試也是軟體測試的主要方法之一，也可以稱為功能測試、數據驅動測試或基於規格說明的測試。測試者不了解程式的內部情況，只知道程式的輸入、輸出和系統的功能，這是從用戶的角度針對軟體界面、功能及外部結構進行測試，而不考慮程式內部邏輯結構。
作用
軟體黑盒測試法注重於測試軟體的功能需求，主要試圖發現下列幾類錯誤：
1.功能不正確或遺漏；
2.界面錯誤；
3.資料庫訪問錯誤；
4.性能錯誤；
5.初始化和終止錯誤等。
從理論上講，軟體黑盒測試只有採用窮舉輸入測試，把所有可能的輸入都作為測試情況考慮，才能查出程式中所有的錯誤。實際上測試情況有無窮多個，人們不僅要測試所有合法的輸入，而且還要對那些不合法但可能的輸入進行測試。這樣看來，完全測試是不可能的，所以我們要進行有針對性的測試，通過制定測試案例指導測試的實施，保證軟體測試有組織、按步驟，以及有計畫地進行。軟體黑盒測試行為必須能夠加以量化，才能真正保證軟體質量，而測試用例就是將測試行為具體量化的方法之一。具體的軟體黑盒測試用例設計方法包括等
設計方法
大致可以分為以下幾種：等價類劃分法、邊界值分析法、錯誤推測法、因果圖法、判定表驅動法、正交試驗設計法、功能圖法等下面詳細列舉幾種僅供參考。
等價類劃分法：
是把程式的輸入域劃分成若干部分(子集)，然後從每個部分中選取少數代表性數據作為測試用例。每一類的代表性數據在測試中的作用等價於這一類中的其他值。該方法是一種重要的，常用的軟體黑盒測試用例設計方法。
1) 劃分等價類：等價類是指某個輸入域的子集合。在該子集合中，各個輸入數據對於揭露程式中的錯誤都是等效的，併合理地假定：測試某等價類的代表值就等於對這一類其它值的測試。因此，可以把全部輸入數據合理劃分為若干等價類，在每一個等價類中取一個數據作為測試的輸入條件，就可以用少量代表性的測試數據，取得較好的測試結果，等價類劃分可有兩種不同的情況：有效等價類和無效等價類。
有效等價類：是指對於程式的規格說明來說是合理的，有意義的輸入數據構成的集合，利用有效等價類可檢驗程式是否實現了規格說明中所規定的功能和性能。
無效等價類：與有效等價類的定義恰巧相反。
設計測試用例時，要同時考慮這兩種等價類。因為，軟體不僅要能接收合理的數據，也要能經受意外的考驗，這樣的測試才能確保軟體具有更高的可靠性。
2)劃分等價類的方法：下面給出六條確定等價類的原則。
①在輸入條件規定了取值範圍或值的個數的情況下，則可以確立一個有效等價類和兩個無效等價類。
②在輸入條件規定了輸入值的集合或者規定了“必須如何”的條件的情況下，可確立一個有效等價類和一個無效等價類。
③在輸入條件是一個布爾量的情況下，可確定一個有效等價類和一個無效等價類。
④在規定了輸入數據的一組值(假定n個)，並且程式要對每一個輸入值分別處理的情況下，可確立n個有效等價類和一個無效等價類。
⑤在規定了輸入數據必須遵守的規則的情況下，可確立一個有效等價類(符合規則)和若干個無效等價類(從不同角度違反規則)。
⑥在確知已劃分的等價類中各元素在程式處理中的方式不同的情況下，則應再將該等價類進一步的劃分為更小的等價類。
3)設計測試用例：在確立了等價類後，可建立等價類表，列出所有劃分出的等價類：
輸入條件 有效等價類無效等價類
... ... ...
... ... ...
然後從劃分出的等價類中按以下三個原則設計測試用例：
①為每一個等價類規定一個唯一的編號。
②設計一個新的測試用例，使其儘可能多地覆蓋尚未被覆蓋地有效等價類，重複這一步，直到所有的有效等價類都被覆蓋為止。
③設計一個新的測試用例，使其僅覆蓋一個尚未被覆蓋的無效等價類，重複這一步，直到所有的無效等價類都被覆蓋為止。
邊界值分析
邊界值分析是通過選擇等價類邊界的測試用例。邊界值分析法不僅重視輸入條件邊界，而且也必須考慮輸出域邊界。它是對等價類劃分方法的補充。
(1)邊界值分析方法的考慮：
長期的測試工作經驗告訴我們，大量的錯誤是發生在輸入或輸出範圍的邊界上，而不是發生在輸入輸出範圍的內部。因此針對各種邊界情況設計測試用例，可以查出更多的錯誤。
使用邊界值分析方法設計測試用例，首先應確定邊界情況。通常輸入和輸出等價類的邊界，就是應著重測試的邊界情況，應當選取正好等於，剛剛大於或剛剛小於邊界的值作為測試數據，而不是選取等價類中的典型值或任意值作為測試數據。
(2)基於邊界值分析方法選擇測試用例的原則：
1)如果輸入條件規定了值的範圍，則應取剛達到這個範圍的邊界的值，以及剛剛超越這個範圍邊界的值作為測試輸入數據。
2)如果輸入條件規定了值的個數，則用最大個數，最小個數，比最小個數少一，比最大個數多一的數作為測試數據。
3)根據規格說明的每個輸出條件，使用前面的原則1).
4)根據規格說明的每個輸出條件，套用前面的原則2).
5)如果程式的規格說明給出的輸入域或輸出域是有序集合，則應選取集合的第一個元素和最後一個元素作為測試用例。
6)如果程式中使用了一個內部數據結構，則應當選擇這個內部數據結構的邊界上的值作為測試用例。
7)分析規格說明，找出其它可能的邊界條件。
錯誤推測法
是基於經驗和直覺推測程式中所有可能存在的各種錯誤， 從而有針對性的設計測試用例的方法。 錯誤推測方法的基本思想：
列舉出程式中所有可能有的錯誤和容易發生錯誤的特殊情況，根據他們選擇測試用例。 例如， 在單元測試時曾列出的許多在模組中常見的錯誤，以前產品測試中曾經發現的錯誤等， 這些就是經驗的總結。 還有， 輸入數據和輸出數據為0的情況，輸入表格為空格或輸入表格只有一行，這些都是容易發生錯誤的情況， 可選擇這些情況下的例子作為測試用例。
因果圖法
前面介紹的等價類劃分方法和邊界值分析方法，都是著重考慮輸入條件，但未考慮輸入條件之間的聯繫， 相互組合等。考慮輸入條件之間的相互組合，可能會產生一些新的情況。 但要檢查輸入條件的組合不是一件容易的事情， 即使把所有輸入條件劃分成等價類，他們之間的組合情況也相當多，因此必須考慮採用一種適合於描述對於多種條件的組合，相應產生多個動作的形式來考慮設計測試用例，這就需要利用因果圖(邏輯模型)。
因果圖方法最終生成的就是判定表，它適合於檢查程式輸入條件的各種組合情況。
利用因果圖生成測試用例的基本步驟：
(1) 分析軟體規格說明描述中， 那些是原因(即輸入條件或輸入條件的等價類)，那些是結果(即輸出條件)， 並給每個原因和結果賦予一個標識符。
(2) 分析軟體規格說明描述中的語義.找出原因與結果之間， 原因與原因之間對應的關係，根據這些關係，畫出因果圖。
(3) 由於語法或環境限制， 有些原因與原因之間，原因與結果之間的組合情況不不可能出現，為表明這些特殊情況， 在因果圖上用一些記號表明約束或限制條件。
(4) 把因果圖轉換為判定表。
(5) 把判定表的每一列拿出來作為依據，設計測試用例。
從因果圖生成的測試用例(局部，組合關係下的)包括了所有輸入數據的取TRUE與取FALSE的情況，構成的測試用例數目達到最少，且測試用例數目隨輸入數據數目的增加而線性地增加。
判定表(Decision Table)
前面因果圖方法中已經用到了判定表，判定表(Decision Table)是分析和表達多邏輯條件下執行不同操作的情況下的工具，在程式設計發展的初期，判定表就已被當作編寫程式的輔助工具了，由於它可以把複雜的邏輯關係和多種條件組合的情況表達得既具體又明確。
判定表通常由四個部分組成。
條件樁(Condition Stub)：列出了問題得所有條件，通常認為列出得條件的次序無關緊要。
動作樁(Action Stub)：列出了問題規定可能採取的操作，這些操作的排列順序沒有約束。
條件項(Condition Entry)：列出針對它左列條件的取值，在所有可能情況下的真假值。
動作項(Action Entry)：列出在條件項的各種取值情況下應該採取的動作。
規則：任何一個條件組合的特定取值及其相應要執行的操作，在判定表中貫穿條件項和動作項的一列就是一條規則。顯然，判定表中列出多少組條件取值，也就有多少條規則，既條件項和動作項有多少列。
判定表的建立步驟：(根據軟體規格說明)
①確定規則的個數，假如有n個條件，每個條件有兩個取值(0.1)，故有 種規則。
②列出所有的條件樁和動作樁。
③填入條件項。
④填入動作項，等到初始判定表。
⑤簡化，合併相似規則(相同動作)。
B. Beizer 指出了適合使用判定表設計測試用例的條件:
①規格說明以判定表形式給出，或很容易轉換成判定表。
②條件的排列順序不會也不影響執行哪些操作。
③規則的排列順序不會也不影響執行哪些操作。
④每當某一規則的條件已經滿足，並確定要執行的操作後，不必檢驗別的規則。
⑤如果某一規則得到滿足要執行多個操作，這些操作的執行順序無關緊要。
正交試驗設計法
就是使用已經造好了的正交表格來安排試驗並進行數據分析的一種方法，目的是用最少的測試用例達到最高的測試覆蓋率。
軟體黑盒測試的優點
1. 基本上不用人管著，如果程式停止運行了一般就是被測試程式crash了
2. 設計完測試例之後，下來的工作就是爽了，當然更苦悶的是確定crash原因
軟體黑盒測試的缺點
1. 結果取決於測試例的設計，測試例的設計部分來勢來源於經驗，OUSPG的東西很值得借鑑
2. 沒有狀態轉換的概念，目前一些成功的例子基本上都是針對PDU來做的，還做不到針對被測試程式的狀態轉換來作
3. 就沒有狀態概念的測試來說，尋找和確定造成程式crash的測試例是個麻煩事情，必須把周圍可能的測試例單獨確認一遍。而就有狀態的測試來說，就更麻煩了，尤其不是一個單獨的testcase造成的問題。這些在堆的問題中表現的更為突出。
工具選擇
那么，如何高效地完成功能測試？選擇一款合適的功能測試工具並培訓一支高素質的工具使用隊伍無疑是至關重要的。儘管現階段存在少數不採用任何功能測試工具，從事功能測試外包項目的軟體服務企業。短期來看，這類企業盈利狀況尚可，但長久來看，它們極有可能被自動化程度較高的軟體服務企業取代。
目前，用於功能測試的工具軟體有很多，針對不同架構軟體的工具也不斷推陳出新。這裡重點介紹的是其中一個較為典型自動化測試工具，即Mercury公司的WinRunner。
WinRunner
是一種用於檢驗應用程式能否如期運行的企業級軟體功能測試工具。通過自動捕獲、檢測和模擬用戶互動操作，WinRunner能識別出絕大多數軟體功能缺陷，從而確保那些跨越了多個功能點和資料庫的應用程式在發布時儘量不出現功能性故障。
WinRunner的特點
與傳統的手工測試相比，它能快速、批量地完成功能點測試；能針對相同測試腳本，執行相同的動作，從而消除人工測試所帶來的理解上的誤差； 此外，它還能重複執行相同動作，測試工作中最枯燥的部分可交由機器完成； 它支持程式風格的測試腳本，一個高素質的測試工程師能藉助它完成流程極為複雜的測試，通過使用通配符、宏、條件語句、循環語句等，還能較好地完成測試腳本的重用；它針對於大多數程式語言和Windows技術，提供了較好的集成、支持環境，這對基於Windows平台的應用程式實施功能測試而言帶來了極大的便利。
WinRunner的工作流程
1.識別應用程式的GUI
在WinRunner中，我們可以使用GUI Spy來識別各種GUI對象，識別後，WinRunner會將其存儲到GUI Map File中。它提供兩種GUI Map File模式: Global GUI Map File和GUI Map File per Test。其最大區別是後者對每個測試腳本產生一個GUI檔案，它能自動建立、存儲、載入，推薦初學者選用這種模式。但是，這種模式不易於描述對象的改變，其效率比較低，因此對於一個有經驗的測試人員來說前者不失為一種更好的選擇，它只產生一個共享的GUI檔案，這使得測試腳本更容易維護，且效率更高。
2.建立測試腳本
在建立測試腳本時，一般先進行錄製，然後在錄製形成的腳本中手工加入需要的TSL(與C語言類似的測試腳本語言)。錄製腳本有兩種模式：Context Sensitive和Analog，選擇依據主要在於是否對滑鼠軌跡進行模擬，在需要回放時一般選用Analog。在錄製過程中這兩種模式可以通過F2鍵相互切換。
3.對測試腳本除錯(debug)
在WinRunner中有專門一個Debug Toolbar用於測試腳本除錯。可以使用step、pause、breakpoint等來控制和跟蹤測試腳本和查看各種變數值。
4.在新版應用程式執行測試腳本
當應用程式有新版本發布時，我們會對應用程式的各種功能包括新增功能進行測試，這時當然不可能再來重新錄製和編寫所有的測試腳本。我們可以使用已有的腳本，批量運行這些測試腳本測試舊的功能點是否正常工作。可以使用一個call命令來載入各測試腳本。還可在call命令中加各種TSL腳本來增加批量能力。
5.分析測試結果
分析測試結果在整個測試過程中最重要，通過分析可以發現應用程式的各種功能性缺陷。當運行完某個測試腳本後，會產生一個測試報告，從這個測試報告中我們能發現應用程式的功能性缺陷，能看到實際結果和期望結果之間的差異，以及在測試過程中產生的各類對話框等。
6.回報缺陷(defect)
在分析完測試報告後，按照測試流程要回報應用程式的各種缺陷，然後將這些缺陷發給指定人，以便進行修改和維護。
區別
軟體黑盒測試：
已知產品的功能設計規格，可以進行測試證明每個實現了的功能是否符合要求。
已知產品的內部工作過程，可以通過測試證明每種內部操作是否符合設計規格要求，所有內部成分是否以經過檢查。
軟體的黑盒測試意味著測試要在軟體的接口處進行。這種方法是把測試對象看做一個黑盒子，測試人員完全不考慮程式內部的邏輯結構和內部特性，只依據程式的需求規格說明書，檢查程式的功能是否符合它的功能說明。因此軟體黑盒測試又叫功能測試或數據驅動測試。
軟體黑盒測試主要是為了發現以下幾類錯誤：
1、是否有不正確或遺漏的功能。
2、在接口上，輸入是否能正確的接受，能否輸出正確的結果。
3、是否有數據結構錯誤或外部信息(例如數據檔案)訪問錯誤。
4、性能上是否能夠滿足要求。
5、是否有初始化或終止性錯誤。
軟體的白盒測試是對軟體的過程性細節做細緻的檢查。這種方法是把測試對象看做一個打開的盒子，它允許測試人員利用程式內部的邏輯結構及有關信息，設計或選擇測試用例，對程式所有邏輯路徑進行測試。通過在不同點檢查程式狀態，確定實際狀態是否與預期的狀態一致。因此白盒測試又稱為結構測試或邏輯驅動測試。
白盒測試主要是想對程式模組進行如下檢查：
1、對程式模組的所有獨立的執行路徑至少測試一遍。
2、對所有的邏輯判定，取“真”與取“假”的兩種情況都能至少測一遍。
3、在循環的邊界和運行的界限內執行循環體。
4、測試內部數據結構的有效性，等等。
以上事實說明，軟體測試有一個致命的缺陷，即測試的不完全、不徹底性。由於任何程式只能進行少量(相對於窮舉的巨大數量而言)的有限的測試，在未發現錯誤時，不能說明程式中沒有錯誤。
實施方案
傳統系統的程式語言和邏輯全是過程式的。這種邏輯順序只有當數據中的值引起不同的循環或控制順序改變時才會發生變化。
另外，隨著RAD(快速套用開發方式)的引入，導致套用的實現速度很快，但這種方式也有它的不足。一個重要的缺點是項目規劃經常漏掉重要的測試階段。測試象在傳統開發項目中一樣，經常被忽視，並且給予很不現實的少量時間和資源。對於這一點，測試RAD方式下提交的套用並保證軟體質量是測試團隊的首要工作。
軟體黑盒測試在實施時又分為客戶端的測試和伺服器端的性能測試。客戶端的測試主要關注套用的業務邏輯，用戶界面，功能測試等;伺服器端的測試主要關注伺服器的性能，衡量系統的回響時間、事務處理速度和其他時間敏感的需求。在套用系統最終被交付之前保證這兩方面的測試沒有缺陷。
