在G.J.Myers的經典著作《軟件測試之藝術》(The Art of Software Testing)中，給出了測試的定義：“程序測試是為了發現錯誤而執行程序的過程”。這個定義，被業界所認可，經常被引用。除此之外，G.J.Myers還給出了與測試相關的三個重要觀點，那是：

　　測試是為了證明程序有錯，而不是證明程序無錯誤;

　　一個好的測試用例是在于它能發現至今未發現的錯誤;

　　一個成功的測試是發現了至今未發現的錯誤的測試。

　　實際上，這里暗示了“軟件測試”在不同側面上的含義，也決定了對軟件測試不同的定義和不同的理解。根據作者多年的經驗和理解，軟件測試的不同視野，概括為如下5類：

　　軟件測試的狹義論和廣義論??靜態和動態的測試

　　軟件測試的辨證論??正向思維和反向思維

　　軟件測試的風險論??測試是評估

　　軟件測試的經濟學觀點??為盈利而測試

　　軟件測試的標準論??驗證和確認

　　1. 軟件測試的狹義論和廣義論

　　G.J.Myers所給出了測試定義??“程序測試是為了發現錯誤而執行程序的過程”，實際是一個狹義的概念，因為他認為測試是執行程序的過程，也是傳統意義上的測試??在代碼完成后，通過運行程序來發現程序代碼或軟件系統中錯誤。但是，這種意義上的測試是不能在代碼完成之前發現軟件系統需求、發現設計上的問題，把需求、發現設計上的問題遺留到后期，這樣會可能造成設計、編程的部分返工。增加軟件開發的成本、延長開發的周期等。需求階段和設計階段的缺陷產生的放大效應會加大。這非常不利于保證軟件質量。這種狹義論是受軟件開發瀑布模型影響。

　　正是為了更早地發現問題，所以將測試延伸到需求評審、設計審查活動中去，也是將“軟件質量保證”的部分活動歸為測試活動。實際上，在軟件開發實際操作中，常常將軟件測試和質量保證??這兩種努力(efforts)合并起來。

　　延伸后的軟件測試，被認為是一種軟件測試的廣義概念。這引出軟件測試的兩個概念“靜態測試”和“動態測試”，如 測試方法的辯證統一 (1)所述，這樣由靜態測試和動態測試構成一個全過程的、完整的軟件測試，而且靜態測試顯得更為重要。

　　2.軟件測試的辨證論

　　G.J.Myers的第2個觀點“測試是為了證明程序有錯，而不是證明程序無錯誤”，引出了軟件測試的另外一個爭論，軟件測試究竟是證明所有軟件的功能特性是正確的呢?還是其反向思維??對軟件系統進行各種試探和攻擊，找出軟件系統中不正常或不工作的地方呢?從我個人理解，這兩個方面都有一定道理，前者(證明所有軟件的功能特性是正確的)是從質量保證的角度來思考軟件測試，后者(證明程序有錯)從軟件測試的直接目標和測試效率來思考，兩者應該相輔相成。在后者的思想背景下，我們認為，測試不是為了證明所有的功能可以正常工作，恰恰相反，測試是為了找出那些不能正常工作、不一致性的地方。也是說，測試的一般工作是發現缺陷 (detect bug)，即在軟件開發過程中，分析、設計與編碼等工作都是建設性的，而測試是帶有“破壞性”的工作。

　　對于不同的應用領域，兩者的比重是不一樣的，如國防、航天、銀行等軟件系統，承受不了任何系統失效，因為一次系統的失效完全有可能導致災難性的損失，所以強調前者以保證非常高的軟件質量。而一般的軟件服務應用則不同，強調后者，質量目標設置在“用戶可接受水平”，不要國度追求質量，從而可以降低軟件開發成本。作者建議，在我們實際操作中，可以分階段實施不同的測試思想，在早期階段集中在“證明程序有錯”?? 發現Bug，后期集中在驗證所有特性是否正常工作??降低風險，見作者的另外一篇討論：測試執行中非常有效的策略

　　下面是這兩種觀點的基本描述：

　　驗證軟件是驗證軟件是“工作的”，以正向思維，針對軟件系統的所有功能點，逐個驗證其正確性。其代表人物是軟件測試領域的先驅Dr. Bill Hetzel (代表論著《The Complete Guide to Software Testing》)。

　　證明軟件是“不工作的”，以反向思維方式，不斷思考開發人員理解的誤區、不良的習慣、程序代碼的邊界、無效數據的輸入以及系統的弱點，試圖破壞系統、摧毀系統，目標是發現系統中各種各樣的問題。其代表人物是上面多次提到的G.J.Myers。他強調，一個成功的測試必須是發現Bug Bug的測試，不然沒有價值。
$News_page$

　　3.軟件測試的風險論

　　測試被定義為“對軟件系統中潛在的各種風險進行評估的活動”，這是軟件測試的風險論。軟件測試自身的風險性是大家公認的，測試的覆蓋度不能做到。測試的這種風險定義一方面源于這層含義，另外軟件測試的標準有時不清楚，“軟件規格說明書(Specification/ Spec)”是其中的一個標準，但也不是的，因為Spec中有些內容完全有可能是錯誤的。所以，我們常常強調軟件測試人員應該站在客戶的角度去進行測試，除了發現程序中的錯誤，還要發現需求定義的錯誤、設計上的缺陷，可以針對Spec 去報Bug。但是，測試在大多數時間/情況下，是由工程師完成，而不是客戶自己來做，所以又怎么能保證工程師和客戶想得一樣呢?

　　有人把開發比作打靶，目標明確，是按照Spec 去實現系統的功能。而把測試比作撈魚，目標不明確，自己判斷哪些地方魚多，去哪些地方撈;如果只撈大魚(嚴重缺陷)，網眼可以大些、撒網區域相對比較集中(測試點集中在主要功能-major features)。如果想把大大小小的魚撈上來，網眼要小、普遍撒網，不放過任何一塊區域(測試點遍及所有功能??all features)。

　　在“風險”論的框架下，軟件測試可以被看作是一個動態的監控過程，對軟件開發全過程進行檢測，隨時發現不健康的征兆，發現問題、報告問題，并重新評估新的風險，設置新的監控基準，不斷地持續下去，包括回歸測試。這時，軟件測試可以完全看作是軟件質量控制的過程。

　　對應這種觀點，產生基于風險的測試策略，首先評估測試的風險，功能出問題的概率有多大?哪些是用戶常用的20%功能??Pareto原則(也叫80/20原則)?如果某個功能出問題，其對用戶的影響有多大?然后根據風險大小確定測試的優先級。優先級高的測試，優先得到執行，一般來講，針對用戶常用的20%功能(優先級高)的測試會得到完全執行，而低優先級的測試(另外用戶不經常用的80%功能)不是必要的，如果時間或經費不夠，暫時不做或少做。

　　4.軟件測試的經濟學觀點

　　“一個好的測試用例是在于它能發現至今未發現的錯誤”，體現了軟件測試的經濟學觀點。實際上，軟件測試經濟學問題至今仍是業界關注的問題之一。經濟學的核心是要盈利，盈利的基礎是要有一個清楚的商業性目標。同樣，商業性目標是否正確，直接決定了企業是否盈利的結果。多數情況下，軟件測試是在公司內的執行。正是公司的行為目的，決定了軟件測試含義或定義的經濟性一面。正如，對軟件質量的定義不僅僅局陷于“和客戶需求的一致性、適用性”，而且要增加其它的要求??“預算內、按時發布、易于維護”。

　　軟件測試也一樣，要盡快盡早地發現更多的缺陷，并督促和幫助開發人員修正缺陷。原因很簡單：平均而言，如果在需求階段修正一個錯誤的代價是1，那么，在設計階段是它的3～6倍，在編程階段是它的10倍，在內部測試階段是它的20～40倍，在外部測試階段是它的30～70倍，而到了產品發布出去時，這個數字是 40～ 1000倍。修正錯誤的代價不是隨時間線性增長，而幾乎是呈指數級增長的。

　　5. 軟件測試的標準論

　　如果從標準論來看軟件測試，可以定義為軟件測試是“驗證(Verification)”和“有效性確認(Validation)”活動構成的整體，即軟件測試 = V&V。

　　“驗證”是檢驗軟件是否已正確地實現了產品規格書所定義的系統功能和特性。驗證過程提供證據表明軟件相關產品與所有生命周期活動的要求(如正確性、完整性、一致性、準確性等)相一致。相當于，以Spec為標準進行軟件測試活動，驗證軟件產品和Spec的一致性。

　　“有效性確認”是確認所開發的軟件是否滿足用戶真正需求的活動。相當于，保持對軟件需求定義、設計的懷疑，一切從客戶出發，理解客戶的需求，發現需求定義和產品設計中的問題。這主要通過各種軟件評審活動來實現。

　　需要說明的是，軟件測試的對象是產品(包括階段性產品，如市場需求說明書、產品規格說明書、技術設計文檔、數據字典、程序包、用戶文檔等)，而質量保證和管理的對象集中在軟件開發的標準、流程和方法等。

　　究竟什么是軟件測試呢?綜上所述，軟件測試的定義為：

　　軟件測試是貫穿整個軟件開發生命周期、對軟件產品(包括階段性產品)進行驗證和確認的活動過程，

　　其目的是盡快盡早地發現在軟件產品中所存在的各種問題??與用戶需求、預先定義的不一致性。