軟件測試（英語：software testing），
描述一種用來促進鑒定軟件的正確性、完整性、安全性和質量的過程。
軟件測試的經典定義是：
在規定的條件下對程序進行操作，以發現程序錯誤，衡量軟件質量，并對其是否能滿足設計要求進行評估的過程。
?
軟件測試是使用人工操作或者軟件自動運行的方式來檢驗它是否滿足規定的需求或弄清預期結果與實際結果之間的差別的過程。
?
它是幫助識別開發完成（中間或最終的版本）的
計算機軟件
（整體或部分）的
正確度(correctness) 、完全度(completeness)和質量(quality)
的
軟件過程
；是
SQA
(software quality assurance)的重要子域。
?
?
軟件測試
(1)測試是為了發現程序中的錯誤而執行程序的過程。
(2)好的測試方案是極可能發現迄今為止尚未發現的錯誤的測試方案。
(3)成功的測試是發現了至今為止尚未發現的錯誤的測試。
(5)這種分析也能幫助測試人員設計出有針對性的測試方法，改善測試的效率和有效性。
(6)沒有發現錯誤的測試也是有價值的，完整的測試是評定
軟件質量
的一種方法。
?
測試原則
一，測試應該
盡早進行
，最好在需求階段就開始介入，因為最嚴重的錯誤不外乎是系統不能滿足用戶的需求。
二，程序員應該避免檢查自己的程序，軟件測試應該
由
第三方
來負責
。
三，設計測試用例時應考
慮到合法的輸入和不合法的輸入以及各種邊界條件
，特殊情況下要制造極端狀態和意外狀態，如網絡異常中斷、電源斷電等。
四，應該充分
注意測試中的
群集現象
。
五，對錯誤結果要進行一個確認過程。
一般由A測試出來的錯誤，一定要由B來確認
。嚴重的錯誤可以召開評審會議進行討論和分析，對測試結果要進行嚴格地確認，是否真的存在這個問題以及嚴重程度等。
六，
制定嚴格的測試計劃
。一定要制定測試計劃，并且要有指導性。測試時間安排盡量寬松，不要希望在極短的時間內完成也有一個高水平的測試。
七，
妥善保存測試計劃、
測試用例
、出錯統計和最終分析報告，為維護提供方便
。
?
?
?
測試目標
1．發現一些可以通過測試避免的開發風險。
2．實施測試來降低所發現的風險。
3．確定測試何時可以結束。
4．在開發項目的過程中將測試看作是一個標準項目。
?
測試內容
軟件測試主要工作內容是
驗證（verification）和確認（validation），
下面分別給出其概念：
驗證(verification)是保證軟件正確地實現了一些特定功能的一系列活動， 即保證軟件以正確的方式來做了這個事件(Do it right)
1.確定
軟件生存周期
中的一個給定階段的產品是否達到前階段確立的需求的過程。
2.程序正確性的形式證明，即采用形式理論證明程序符合設計規約規定的過程。
3.評審、審查、測試、檢查、審計等各類活動，或對某些項處理、服務或文件等是否和規定的需求相一致進行判斷和提出報告。
確認（validation）是一系列的活動和過程，目的是想證實在一個給定的外部環境中軟件的邏輯正確性。即保證軟件做了你所期望的事情。（Do the right thing）
1.靜態確認，不在計算機上實際執行程序，通過人工或
程序分析
來證明軟件的正確性。
2.動態確認，通過執行程序做分析，測試程序的動態行為，以證實軟件是否存在問題。
軟件測試的對象不僅僅是程序測試，軟件測試應該包括整個軟件開發期間各個階段所產生的文檔，如需求規格說明、
概要設計
文檔、詳細設計文檔，當然軟件測試的主要對象還是源程序。
?
測試方法
等價類
1.定義
是把所有可能的輸入數據，即程序的輸入域劃分成若干部分（子集），然后從每一個子集中選取少數具有代表性的數據作為測試用例。該方法是一種重要的，常用的
黑盒測試
用例設計方法。
2.劃分等價類
等價類是指某個輸入域的子集合。在該子集合中，各個輸入數據對于揭露程序中的錯誤都是等效的，并合理地假定：測試某等價類的代表值就等于對這一類其它值的測試，因此，可以把全部輸入數據合理劃分為若干等價類，在每一個等價類中取一個數據作為測試的輸入條件就可以用少量代表性的測試數據取得較好的測試結果。等價類劃分可有兩種不同的情況：有效等價類和無效等價類。
1)有效等價類
是指對于程序的規格說明來說是合理的、有意義的輸入數據構成的集合。利用有效等價類可檢驗程序是否實現了規格說明中所規定的功能和性能。
2)無效等價類
與有效等價類的定義恰巧相反。無效等價類指對程序的規格說明是不合理的或無意義的輸入數據所構成的集合。對于具體的問題，無效等價類至少應有一個，也可能有多個。
設計測試用例時，要同時考慮這兩種等價類。因為軟件不僅要能接收合理的數據，也要能經受意外的考驗，這樣的測試才能確保軟件具有更高的可靠性。
3.劃分等價類的標準
1)完備測試、避免冗余；
2)劃分等價類重要的是：集合的劃分，劃分為互不相交的一組子集，而子集的并是整個集合；
3)并是整個集合：完備性；
4)子集互不相交：保證一種形式的無冗余性；
5)同一類中標識（選擇）一個測試用例，同一等價類中，往往處理相同，相同處理映射到"相同的執行路徑"。
4.劃分等價類的方法
1)在輸入條件規定了取值范圍或值的個數的情況下，則可以確立一個有效等價類和兩個無效等價類。
如：輸入值是學生成績，范圍是0～100。
2)在輸入條件規定了輸入值的集合或者規定了"必須如何"的條件的情況下，可確立一個有效等價類和一個無效等價類。
?
邊界值
1. 定義：
邊界值分析法就是對輸入或輸出的邊界值進行測試的一種黑盒測試方法。通常邊界值分析法是作為對等價類劃分法的補充，這種情況下，其測試用例來自等價類的邊界。
2. 與等價劃分的區別
1) 邊界值分析不是從某等價類中隨便挑一個作為代表，而是使這個等價類的每個邊界都要作為測試條件。
2) 邊界值分析不僅考慮輸入條件，還要考慮輸出空間產生的測試情況。
3. 邊界值分析方法的考慮：
長期的測試工作經驗告訴我們，大量的錯誤是發生在輸入或輸出范圍的邊界上，而不是發生在輸入輸出范圍的內部。因此針對各種邊界情況設計測試用例，可以查出更多的錯誤。
使用邊界值分析方法設計測試用例，首先應確定邊界情況。通常輸入和輸出等價類的邊界，就是應著重測試的邊界情況。應當選取正好等于，剛剛大于或剛剛小于邊界的值作為測試數據，而不是選取等價類中的典型值或任意值作為測試數據。
4. 常見的邊界值
1) 對16-bit 的整數而言 32767 和 -32768 是邊界
2) 屏幕上光標在最左上、最右下位置
3) 報表的第一行和最后一行
4) 數組元素的第一個和最后一個
5) 循環的第 0 次、第 1 次和倒數第 2 次、最后一次
5. 邊界值分析
1) 邊界值分析使用與等價類劃分法相同的劃分，只是邊界值分析假定錯誤更多地存在于劃分的邊界上，因此在等價類的邊界上以及兩側的情況設計測試用例。
例：測試計算平方根的函數
--輸入：實數
--輸出：實數
--規格說明：當輸入一個0或比0大的數的時候，返回其正平方根；當輸入一個小于0的數時，顯示錯誤信息"平方根非法-輸入值小于0"并返回0；庫函數Print-Line可以用來輸出錯誤信息。
?
詳細分類
角度細分
從是否關心軟件內部結構和具體實現的角度劃分（按測試分類）
A.
白盒測試
B.
黑盒測試
C.
灰盒測試
從是否執行程序的角度
A.
靜態測試
B.
動態測試
。
階段細分
從軟件開發的過程按階段劃分有
A.
單元測試
B.
集成測試
C.
確認測試
D.
系統測試
E.
驗收測試
F.
回歸測試
G.
Alpha測試
H.
Beta測試
* 測試過程按4個
步驟
進行，即單元測試、集成測試、確認測試和系統測試及發布測試。
* 確認測試則是要檢查已實現的軟件是否滿足了需求規格說明中確定了的各種需求，以及
軟件配置
是否完全、正確。
* 系統測試把已經經過確認的軟件納入實際運行環境中，與其它系統成份組合在一起進行測試。
單元測試 (Unit Testing)
* 單元測試又稱模塊測試，是針對
軟件設計
的最小單位 ─ 程序模塊，進行正確性檢驗的測試工作。其目的在于發現各模塊內部可能存在的各種差錯。
* 單元測試需要從程序的內部結構出發設計測試用例。多個模塊可以平行地獨立進行單元測試。
1. 單元測試的內容
* 在單元測試時，測試者需要依據
詳細設計說明書
和源程序清單，了解該模塊的I/O條件和模塊的
邏輯結構
，主要采用白盒測試的測試用例，輔之以黑盒測試的測試用例，使之對任何合理的輸入和不合理的輸入，都能鑒別和響應。
(1) 模塊接口測試
* 在單元測試的開始，應對通過被測模塊的數據流進行測試。測試項目包括：
– 調用本模塊的輸入參數是否正確；
– 本模塊調用子模塊時輸入給子模塊的參數是否正確；
– 全局量的定義在各模塊中是否一致
* 在做內外存交換時要考慮：
– 文件屬性是否正確；
– OPEN與CLOSE語句是否正確；
– 緩沖區容量與記錄長度是否匹配；
– 在進行讀寫操作之前是否打開了文件；
– 在結束文件處理時是否關閉了文件；
– 正文書寫/輸入錯誤，
– I/O錯誤是否檢查并做了處理。
(2) 局部
數據結構
測試
* 不正確或不一致的數據類型說明
* 使用尚未賦值或尚未初始化的變量
* 錯誤的初始值或錯誤的缺省值
* 變量名拼寫錯或書寫錯
* 不一致的數據類型
* 全局數據對模塊的影響
(3) 路徑測試
* 選擇適當的測試用例，對模塊中重要的執行路徑進行測試。
* 應當設計測試用例查找由于錯誤的計算、不正確的比較或不正常的控制流而導致的錯誤。
* 對基本執行路徑和循環進行測試可以發現大量的路徑錯誤。
(4) 錯誤處理測試
* 出錯的描述是否難以理解
* 出錯的描述是否能夠對錯誤定位
* 顯示的錯誤與實際的錯誤是否相符
* 對錯誤條件的處理正確與否
* 在對錯誤進行處理之前，錯誤條件是否已經引起系統的干預等
(5) 邊界測試
* 注意數據流、控制流中剛好等于、大于或小于確定的比較值時出錯的可能性。對這些地方要仔細地選擇測試用例，認真加以測試。
* 如果對模塊運行時間有要求的話，還要專門進行關鍵路徑測試，以確定最壞情況下和平均意義下影響模塊運行時間的因素。
2. 單元測試的步驟
* 模塊并不是一個獨立的程序，在考慮測試模塊時，同時要考慮它和外界的聯系，用一些輔助模塊去模擬與被測模塊相聯系的其它模塊。
– 驅動模塊 (driver)
– 樁模塊 (stub) ── 存根模塊
* 如果一個模塊要完成多種功能，可以將這個模塊看成由幾個小程序組成。必須對其中的每個小程序先進行單元測試要做的工作，對關鍵模塊還要做性能測試。
* 對支持某些標準規程的程序，更要著手進行互聯測試。有人把這種情況特別稱為模塊測試，以區別單元測試。
集成測試（Integrated Testing）
* 集成測試 (組裝測試、聯合測試）
* 通常，在單元測試的基礎上，需要將所有模塊按照設計要求組裝成為系統。這時需要考慮的問題是：
– 在把各個模塊連接起來的時候，穿越模塊接口的數據是否會丟失；
– 一個模塊的功能是否會對另一個模塊的功能產生不利的影響
– 各個子功能組合起來，能否達到預期要求的父功能；
– 全局數據結構是否有問題；
– 單個模塊的誤差累積起來，是否會放大，從而達到不能接受的程度。
在單元測試的同時可進行集成測試，
發現并排除在模塊連接中可能出現
的問題，最終構成要求的
軟件系統
。
* 子系統的集成測試特別稱為部件測試，它所做的工作是要找出集成后的子系統與系統需求規格說明之間的不一致。
* 通常，把模塊集成成為系統的方式有兩種
– 一次性集成方式
– 增殖式集成方式
1. 一次性集成方式(big bang)
* 它是一種非增殖式組裝方式。也叫做整體拼裝。
* 使用這種方式，首先對每個模塊分別進行模塊測試，然后再把所有模塊組裝在一起進行測試，最終得到要求的軟件系統。
2. 增殖式集成方式
* 這種集成方式又稱漸增式集成
* 首先對一個個模塊進行模塊測試，然后將這些模塊逐步組裝成較大的系統
* 在集成的過程中邊連接邊測試，以發現連接過程中產生的問題
* 通過增殖逐步組裝成為要求的軟件系統。
(1) 自頂向下的增殖方式
* 這種集成方式將模塊按系統程序結構，沿控制層次自頂向下進行組裝。
* 自頂向下的增殖方式在測試過程中較早地驗證了主要的控制和判斷點。
* 選用按深度方向組裝的方式，可以首先實現和驗證一個完整的軟件功能。
(2) 自底向上的增殖方式
* 這種集成的方式是從程序模塊結構的最底層的模塊開始集成和測試。
* 因為模塊是自底向上進行組裝，對于一個給定層次的模塊，它的子模塊（包括子模塊的所有下屬模塊）已經組裝并測試完成，所以不再需要樁模塊。在模塊的測試過程中需要從子模塊得到的信息可以直接運行子模塊得到。
* 自頂向下增殖的方式和自底向上增殖的方式各有優缺點。
* 一般來講，一種方式的優點是另一種方式的缺點。
(3) 混合增殖式測試
* 衍變的自頂向下的增殖測試
– 首先對
輸入/輸出模塊
和引入新算法模塊進行測試；
– 再自底向上組裝成為功能相當完整且相對獨立的子系統；
– 然后由主模塊開始自頂向下進行增殖測試。
* 自底向上-自頂向下的增殖測試
– 首先對含讀操作的子系統自底向上直至根結點模塊進行組裝和測試；
– 然后對含寫操作的子系統做自頂向下的組裝與測試。
* 回歸測試
– 這種方式采取自頂向下的方式測試被修改的模塊及其子模塊；
– 然后將這一部分視為子系統，再自底向上測試。
關鍵模塊問題
* 在
組裝測試
時，應當確定關鍵模塊，對這些關鍵模塊及早進行測試。
* 關鍵模塊的特征：
① 滿足某些
軟件需求
② 在程序的模塊結構中位于較高的層次（高層控制模塊）
③ 較復雜、較易發生錯誤
④ 有明確定義的性能要求。
確認測試（Validation Testing）
* 確認測試又稱有效性測試。任務是驗證軟件的功能和性能及其它特性是否與用戶的要求一致。
* 對軟件的功能和性能要求在軟件需求規格
說明書
中已經明確規定。它包含的信息就是軟件確認測試的基礎。
1. 進行有效性測試（
黑盒測試
）
* 有效性測試是在模擬的環境 (可能就是開發的環境) 下，運用黑盒測試的方法，驗證被測軟件是否滿足需求規格說明書列出的需求。
* 首先制定測試計劃，規定要做測試的種類。還需要制定一組測試步驟，描述具體的測試用例。
* 通過實施預定的測試計劃和測試步驟，確定
– 軟件的特性是否與需求相符；
– 所有的文檔都是正確且便于使用；
– 同時，對其它軟件需求，例如可移植性、兼容性、出錯自動恢復、可維護性等，也都要進行測試
* 在全部軟件測試的測試用例運行完后，所有的測試結果可以分為兩類：
– 測試結果與預期的結果相符。這說明軟件的這部分功能或性能特征與需求規格說明書相符合，從而這部分程序被接受。
– 測試結果與預期的結果不符。這說明軟件的這部分功能或性能特征與需求規格說明不一致，因此要為它提交一份問題報告。
2. 軟件配置復查
n 軟件配置復查的目的是保證
u 軟件配置的所有成分都齊全；
u 各方面的質量都符合要求；
u 具有維護階段所必需的細節；
u 而且已經編排好分類的目錄。
n 應當嚴格遵守用戶手冊和操作手冊中規定的使用步驟，以便檢查這些文檔資料的完整性和正確性。
系統測試（System Testing）
* 系統測試，是將通過確認測試的軟件，作為整個基于
計算機系統
的一個元素，與計算機硬件、外設、某些支持軟件、數據和人員等其它系統元素結合在一起，在實際運行環境下，對計算機系統進行一系列的組裝測試和確認測試。
* 系統測試的目的在于通過與系統的需求定義作比較， 發現軟件與系統的定義不符合或與之矛盾的地方。
驗收測試（Acceptance Testing）
* 在通過了系統的有效性測試及軟件配置審查之后，就應開始系統的驗收測試。
* 驗收測試是以用戶為主的測試。軟件開發人員和QA（質量保證）人員也應參加。
* 由用戶參加設計測試用例，使用生產中的實際數據進行測試。
* 在測試過程中，除了考慮軟件的功能和性能外，還應對軟件的可移植性、
兼容性
、可維護性、錯誤的恢復功能等進行確認。
*
確認測試
應交付的文檔有：
– 確認測試分析報告
– 最終的用戶手冊和操作手冊
– 項目開發總結報告。
?
測試流程
?
1、制定測試計劃
2、編輯測試用例
3、執行測試用例
4、發現并提交BUG
5、開發組修正BUG
6、對已修正BUG進行返測
7、修正完成的BUG將狀態置為已關閉，未正確修正的BUG重新激
?
?測試階段
單元測試
主條目：
單元測試
單元測試是對軟件組成單元進行測試，其目的是檢驗軟件基本組成單位的正確性，測試的對象是軟件設計的最小單位：模塊。
集成測試
主條目：
集成測試
集成測試也稱聯合測試，將程序模塊采用適當的集成策略組裝起來，對系統的接口及集成后的功能進行正確性檢測的測試工作。其主要目的是檢查軟件單位之間的接口是否正確，集成測試的對象是已經經過單元測試的模塊。
系統測試
主條目：
系統測試
系統測試包括功能測試、界面測試、可靠性測試、易用性測試、性能測試。 功能測試主要針對包括功能可用性、功能實現程度（功能流程&業務流程、數據處理&業務數據處理）方面測試。
回歸測試
主條目：
回歸測試
回歸測試指在軟件維護階段，為了檢測代碼修改而引入的錯誤所進行的測試活動?；貧w測試是軟件維護階段的重要工作，有研究表明，回歸測試帶來的耗費占軟件生命周期的1/3總費用以上。
與普通的測試不同，在回歸測試過程開始的時候，測試者有一個完整的測試用例集可供使用，因此，如何根據代碼的修改情況對已有測試用例集進行有效的復用是回歸測試研究的重要方向，此外，回歸測試的研究方向還涉及自動化工具，面向對象回歸測試，測試用例優先級，回歸測試用例補充生成等。
?
?
測試模型
V模型
測試階段:
單元測試
集成測試
系統測試
實現意義
從左到右，描述了基本的開發過程和測試行為，非常明確地標明了測試過程中存在的不同級別，并且清楚地描述了這些測試階段和開發過程期間各階段的對應關系 。
左邊依次下降的是開發過程各階段，與此相對應的是右邊依次上升的部分，即各測試過程的各個階段。
用戶需求 驗收測試
需求分析
和系統設計 確認測試和系統測試
概要設計 集成測試
詳細設計 單元測試
軟件測試V模型
1.測試是開發之后的一個階段。
2.測試的對象就是程序本身。
3.實際應用中容易導致需求階段的錯誤一直到最后系統測試階段才被發現。
4.整個軟件產品的過程質量保證完全依賴于開發人員的能力和對工作的責任心，而且上一步的結果必須是充分和正確的，如果任何一個環節出了問題，則必將嚴重的影響整個工程的質量和預期進度
W模型
W
模型
由Evolutif公司公司提出，相對于V模型，W模型增加了軟件各開發階段中應同步進行的驗證和確認活動。W模型由兩個V字型模型組成，分別代表測試與開發過程，圖中明確表示出了測試與開發的并行關系。 W模型強調：測試伴隨著整個軟件開發周期，而且測試的對象不僅僅是程序，需求、設計等同樣要測試，也就是說，測試與開發是同步進行的。W模型有利于盡早地全面的發現問題。例如，需求分析完成后，測試人員就應該參與到對需求的驗證和確認活動中，以盡早地找出缺陷所在。同時，對需求的測試也有利于及時了解項目難度和測試風險，及早制定應對措施，這將顯著減少總體測試時間，加快項目進度。 但W模型也存在局限性。在W模型中，需求、設計、編碼等活動被視為串行的，同時，測試和開發活動也保持著一種線性的前后關系，上一階段完全結束，才可正式開始下一個階段工作。這樣就無法支持迭代的開發模型。對于當前軟件開發復雜多變的情況，W模型并不能解除測試管理面臨著困惑。
?
H模型
H模型
中， 軟件測試過程活動完全獨立，貫穿于整個產品的周期，與其他
流程
并發地進行，某個測試點準備就緒時，就可以從測試準備階段進行到測試執行階段。軟件測試可以盡早的進行，并且可以根據被測物的不同而分層次進行。
軟件測試
H模型揭示了一個原理：軟件測試是一個獨立的流程，貫穿產品整個生命周期，與其他流程并發地進行。H模型指出軟件測試要盡早準備， 盡早執行。不同的測試活動可以是按照某個次序先后進行的，但也可能是反復的，只要某個測試達到準備就緒點，測試執行活動就可以開展。
X模型
X模型也是對V模型的改進，X模型提出針對單獨的程序片段進行相互分離的編碼和測試，此后通過頻繁的交接，通過集成最終合成為可執行的程序。X模型的左邊描述的是針對單獨程序片段所進行的相互分離的編碼和測試，此后將進行頻繁的交接，通過集成最終成為可執行的程序，然后再對這些可執行程序進行測試。己通過集成測試的成品可以進行封裝并提交給用戶，也可以作為更大規模和范圍內集成的一部分。多根并行的曲線表示變更可以在各個部分發生。由圖中可見，X模型還定位了探索性測試，這是不進行事先計劃的特殊類型的測試，這一方式往往能幫助有經驗的測試人員在測試計劃之外發現更多的
軟件錯誤
。但這樣可能對測試造成人力、物力和財力的浪費，對測試員的熟練程度要求比較高。
?
更多文章、技術交流、商務合作、聯系博主
微信掃碼或搜索：z360901061
微信掃一掃加我為好友
QQ號聯系： 360901061
您的支持是博主寫作最大的動力，如果您喜歡我的文章，感覺我的文章對您有幫助，請用微信掃描下面二維碼支持博主2元、5元、10元、20元等您想捐的金額吧，狠狠點擊下面給點支持吧，站長非常感激您！手機微信長按不能支付解決辦法：請將微信支付二維碼保存到相冊，切換到微信，然后點擊微信右上角掃一掃功能，選擇支付二維碼完成支付。
【本文對您有幫助就好】元
