驗證是確保軟件正確實現了某些特定功能的壹系列活動，即確保軟件以正確的方式完成了這個事件。
1.確定軟件生命周期中給定階段的產品是否滿足前壹階段建立的需求的過程。
2.程序正確性的形式化證明，即利用形式化理論證明程序符合設計規範的過程。
3.評審、審查、測試、檢查、審核等活動，或判斷和報告某些處理、服務或文件是否符合規定的要求。
驗證是壹系列的活動和過程，目的是在給定的外部環境中驗證軟件的邏輯正確性。也就是說，要確保軟件做妳期望的事情。
1.靜態確認是指程序不在計算機上實際執行，通過人工或程序分析來證明軟件的正確性。
2.動態驗證，即通過執行程序進行分析，測試程序的動態行為，確認軟件是否存在問題。
實際上，軟件測試的對象不僅僅是程序測試，還包括整個軟件開發周期中各個階段產生的文檔，如需求說明書、概要設計文檔、詳細設計文檔等。當然，軟件測試的主要對象是源程序。