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

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

• 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)