軟件測(cè)試技術(shù)
軟件測(cè)試主要工作內(nèi)容是驗(yàn)證(verification)和確認(rèn)(validation )，下面分別給出其概念：
驗(yàn)證(verification)是保證軟件正確地實(shí)現(xiàn)了一些特定功能的一系列活動(dòng)，即保證軟件做了你所期望的事情。(Do the right thing)
1.確定軟件生存周期中的一個(gè)給定階段的產(chǎn)品是否達(dá)到前階段確立的需求的過程；
2.程序正確性的形式證明，即采用形式理論證明程序符號(hào)設(shè)計(jì)規(guī)約規(guī)定的過程；
3.評(píng)市、審查、測(cè)試、檢查、審計(jì)等各類活動(dòng)，或?qū)δ承╉?xiàng)處理、服務(wù)或文件等是否和規(guī)定的需求相一致進(jìn)行判斷和提出報(bào)告。
確認(rèn)(validation)是一系列的活動(dòng)和過程，目的是想證實(shí)在一個(gè)給定的外部環(huán)境中軟件的邏輯正確性。即保證軟件以正確的方式來做了這個(gè)事件(Do it right)
1.靜態(tài)確認(rèn)，不在計(jì)算機(jī)上實(shí)際執(zhí)行程序，通過人工或程序分析來證明軟件的正確性；
2.動(dòng)態(tài)確認(rèn)，通過執(zhí)行程序做分析，測(cè)試程序的動(dòng)態(tài)行為，以證實(shí)軟件是否存在問題。
軟件測(cè)試的對(duì)象不僅僅是程序測(cè)試，軟件測(cè)試應(yīng)該包括整個(gè)軟件開發(fā)期問各個(gè)階段所產(chǎn)生的文檔，如需求規(guī)格說明、概要設(shè)計(jì)文檔、詳細(xì)設(shè)計(jì)文檔，當(dāng)然軟件測(cè)試的主要對(duì)象還是源程序。