什么是軟件測試(software testing)？(7)

　　G.Alpha測試

　　H.Beta測試

　　軟件測試的方法：

　　1、軟件測試的基本方法

　　2、單元測試的基本方法

　　3、綜合測試的基本方法

　　4、確認測試的基本方法

　　5、系統測試的基本方法

　　軟件測試的基本方法

　　軟件測試的方法和技術是多種多樣的。

　　對于軟件測試技術，可以從不同的角度加以分類：

　　從是否需要執行被測軟件的角度，可分為靜態測試和動態測試。

　　從測試是否針對系統的內部結構和具體實現算法的角度來看，可分為白盒測試和黑盒測試;

　　1、黑盒測試

　　黑盒測試也稱功能測試或數據驅動測試，它是在已知產品所應具有的功能，通過測試來檢測每個功能是否都能正常使用，在測試時，把程序看作一個不能打開的黑盆子，在完全不考慮程序內部結構和內部特性的情況下，測試者在程序接口進行測試，它只檢查程序功能是否按照需求規格說明書的規定正常使用，程序是否能適當地接收輸入數鋸而產生正確的輸出信息，并且保持外部信息(如數據庫或文件)的完整性。黑盒測試方法主要有等價類劃分、邊值分析、因果圖、錯誤推測等，主要用于軟件確認測試。 “黑盒”法著眼于程序外部結構、不考慮內部邏輯結構、針對軟件界面和軟件功能進行測試。“黑盒”法是窮舉輸入測試，只有把所有可能的輸入都作為測試情況使用，才能以這種方法查出程序中所有的錯誤。實際上測試情況有無窮多個，人們不僅要測試所有合法的輸入，而且還要對那些不合法但是可能的輸入進行測試。

　　2、白盒測試

　　白盒測試也稱結構測試或邏輯驅動測試，它是知道產品內部工作過程，可通過測試來檢測產品內部動作是否按照規格說明書的規定正常進行，按照程序內部的結構測試程序，檢驗程序中的每條通路是否都有能按預定要求正確工作，而不顧它的功能，白盒測試的主要方法有邏輯驅動、基路測試等，主要用于軟件驗證。

　　“白盒”法全面了解程序內部邏輯結構、對所有邏輯路徑進行測試。“白盒”法是窮舉路徑測試。在使用這一方案時，測試者必須檢查程序的內部結構，從檢查程序的邏輯著手，得出測試數據。貫穿程序的獨立路徑數是天文數字。但即使每條路徑都測試了仍然可能有錯誤。第一，窮舉路徑測試決不能查出程序違反了設計規范，即程序本身是個錯誤的程序。第二，窮舉路徑測試不可能查出程序中因遺漏路徑而出錯。第三，窮舉路徑測試可能發現不了一些與數據相關的錯誤。

　　3.ALAC(Act-like-a-customer)測試

　　ALAC測試是一種基于客戶使用產品的知識開發出來的測試方法。ALAC測試是基于復雜的軟件產品有許多錯誤的原則。最大的受益者是用戶，缺陷查找和改正將針對那些客戶最容易遇到的錯誤。

　　單元測試的基本方法

　　單元測試的對象是軟件設計的最小單位模塊。單元測試的依據是詳細設描述，單元測試應對模塊內所有重要的控制路徑設計測試用例，以便發現模塊內部的錯誤。單元測試多采用白盒測試技術，系統內多個模塊可以并行地進行測試。

　　單元測試任務

　　單元測試任務包括：1 模塊接口測試;2 模塊局部數據結構測試;3 模塊邊界條件測試;4 模塊中所有獨立執行通路測試;5 模塊的各條錯誤處理通路測試。

　　模塊接口測試是單元測試的基礎。只有在數據能正確流入、流出模塊的前提下，其他測試才有意義。

　　測試接口正確與否應該考慮下列因素：

　　1 輸入的實際參數與形式參數的個數是否相同;

　　2 輸入的實際參數與形式參數的屬性是否匹配;

　　3 輸入的實際參數與形式參數的量綱是否一致;

　　4 調用其他模塊時所給實際參數的個數是否與被調模塊的形參個數相同;

　　5 調用其他模塊時所給實際參數的屬性是否與被調模塊的形參屬性匹配;

　　6 調用其他模塊時所給實際參數的量綱是否與被調模塊的形參量綱一致;

　　7 調用預定義函數時所用參數的個數、屬性和次序是否正確;

　　8 是否存在與當前入口點無關的參數引用;

　　9 是否修改了只讀型參數;

　　10 對全程變量的定義各模塊是否一致;

　　11是否把某些約束作為參數傳遞。

原文轉自：http://www.uml.org.cn/Test/test-bk.asp