- Quá trình nhằm chứng minh là phần mềm không có lỗi
- Quá trình nhằm xác lập độ tin cậy vào chương trình
- Quá trình thực thi chương trình để chỉ ra là nó làm việc theo đúng đặc tả hệ thống
- Quá trình thực thi chương trình để cố gắng tìm ra lỗi