軟件測試描述一種用來促進(jìn)鑒定軟件的正確性、完整性、安全性和質(zhì)量的過程。換句話說，軟件測試是一種實(shí)際輸出與預(yù)期輸出間的審核或者比較過程。軟件測試的經(jīng)典定義是：在規(guī)定的條件下對(duì)程序進(jìn)行操作，以發(fā)現(xiàn)程序錯(cuò)誤，衡量軟件質(zhì)量，并對(duì)其是否能滿足設(shè)計(jì)要求進(jìn)行評(píng)估的過程。

軟件測試主要工作內(nèi)容是驗(yàn)證和確認(rèn)，驗(yàn)證是保證軟件正確地實(shí)現(xiàn)了一些特定功能的一系列活動(dòng)， 即保證軟件以正確的方式來做了這個(gè)事件

1.確定軟件生存周期中的一個(gè)給定階段的產(chǎn)品是否達(dá)到前階段確立的需求的過程。

2.程序正確性的形式證明，即采用形式理論證明程序符合設(shè)計(jì)規(guī)約規(guī)定的過程。

3.評(píng)審、審查、測試、檢查、審計(jì)等各類活動(dòng)，或?qū)δ承╉?xiàng)處理、服務(wù)或文件等是否和規(guī)定的需求相一致進(jìn)行判斷和提出報(bào)告。確認(rèn)是一系列的活動(dòng)和過程，目的是想證實(shí)在一個(gè)給定的外部環(huán)境中軟件的邏輯正確性。即保證軟件做了你所期望的事情。

4.靜態(tài)確認(rèn)，不在計(jì)算機(jī)上實(shí)際執(zhí)行程序，通過人工或程序分析來證明軟件的正確性。

5.動(dòng)態(tài)確認(rèn)，通過執(zhí)行程序做分析，測試程序的動(dòng)態(tài)行為，以證實(shí)軟件是否存在問題。軟件測試的對(duì)象不僅僅是程序測試，軟件測試應(yīng)該包括整個(gè)軟件開發(fā)期間各個(gè)階段所產(chǎn)生的文檔，如需求規(guī)格說明、概要設(shè)計(jì)文檔、詳細(xì)設(shè)計(jì)文檔，當(dāng)然軟件測試的主要對(duì)象還是源程序。