白盒測試

       白盒測試是指基於一個應用代碼的內部邏輯知識，即覆蓋全部代碼、分支、路徑、條件，使用程序設計的控制結構導出測試用例。

白盒測試的主要方法有邏輯驅動、基路測試等，主要用於軟件驗證。

白盒測試方法必須遵循以下4條原則：

（1）保證一個模塊中的所有獨立路徑至少被測試一次；

（2）所有邏輯值均需要測試真和假兩種情況；

（3）檢查程序的內部數據結構，保證其結構的有效性；

（4）在上、下邊界及可操作範圍內運行所有循環。

白盒測試的具體內容：

（1）軟件各層公用問題的測試；

（2）Java語言的測試；

（3）數據類型的測試；

（4）SQL語句的測試；

（5）界面（UI）的測試；

（6）數值對象（VO）的測試；

（7）業務對象（BO）的測試；

（8）數據管理對象（DMO）的測試。

白盒測試在不同測試階段的側重點：

（1）單元測試：代碼檢查、邏輯覆蓋

（2）集成測試：增加靜態結構分析、靜態質量度量

（3）系統測試：根據黑盒測試結果，採用白盒測試。

白盒測試的方法：

白盒測試的優點是幫助軟件測試人員增大代碼的覆蓋率、提高代碼的質量、發現代碼中隱藏的問題。白盒測試主要用於檢查程序的內部結構、邏輯、循環和路徑。常用的測試用例設計方法如下：

代碼檢查法：它主要通過桌面檢查、走查和代碼審查的方式進行。

靜態結構分析法：測試者通過使用測試工具分析程序源代碼的系統結構、數據結構、數據接口、內部控制邏輯等內部結構，生成函數調用關係圖、模塊控制流圖、內部文件調用關係圖等各種圖形圖表，清晰地標識整個軟件的組成結構的方法。

靜態質量度量法：測試者通過軟件質量、質量度量和度量規則進行分析的。

邏輯覆蓋法：通過對程序邏輯結構的遍歷實現對程序的覆蓋。

基本路徑測試法：在控制流圖的基礎上，通過分析控制結構的環路複雜度，導出執行路徑的基本集，再從該基本集設計測試用例。

域測試方法：它是一種基於程序結構的測試方法，基於對程序輸入空間（域）的分析，選擇測試點進行測試。

符號測試法：允許程序的輸入不僅僅是具體的數值數據，而且包括符號值，符號值可以是基本的符號變量值，也可以是符號變量值的表達式。

Z路徑覆蓋法：它是對循環機制進行了簡化，減少了路徑的數量，使得覆蓋所有路徑稱爲可能。

程序變異測試法：它是一種錯誤驅動測試。專門測試某類錯誤是否存在。