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