Xác minh phần mềm

Xác minh phần mềm (tiếng Anh: Software verification) là một quy tắc của công nghệ phần mềm với mục tiêu đảm bảo rằng phần mềm đáp ứng đầy đủ tất cả các yêu cầu dự kiến.

Có hai cách tiếp cận cơ bản để xác minh:
 Xác minh động, còn được gọi là Kiểm thử hay Thí nghiệm - thích hợp cho tìm lỗi
 Xác minh tĩnh, còn được gọi là Phân tích - hữu ích cho việc chứng minh tính chính xác của một chương trình mặc dù đôi khi nó dẫn đến các lỗi sai

Xem thêm 

 Xác minh và xác nhận (phần mềm)
 Runtime verification
 Hardware verification

Tham khảo 

 IEEE: SWEBOK: Guide to the Software Engineering Body of Knowledge
 Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli: Fundamentals of Software Engineering, Prentice Hall, ISBN 0-13-099183-X
 Alan L. Breitler: A Verification Procedure for Software Derived from Artificial Neural Networks, Journal of the International Test and Evaluation Association, Jan 2004, Vol 25, No 4.
 Vijay D'Silva, Daniel Kroening, Georg Weissenbacher: A Survey of Automated Techniques for Formal Software Verification. IEEE Trans. on CAD of Integrated Circuits and Systems 27(7): 1165-1178 (2008)

Kiểm thử phần mềm