Câu trả lời của @David Hammen rất hay, mặc dù không chính xác như những gì tôi đã nói. Tôi đồng ý rằng câu trả lời Xác minh "Chúng tôi đã xây dựng cái này đúng chưa?". Bất cứ điều gì được tạo ra bởi một quá trình có thể được xác minh. Sản xuất liên quan đến việc xác minh liên tục rằng thứ được sản xuất đã được sản xuất chính xác.
Sau đó, ông định nghĩa Xác nhận, mà chúng tôi đồng ý là khác nhau, là "Chúng tôi đã xây dựng điều đúng chưa?" Tôi sẽ nói rằng Xác thực di chuyển theo hướng ngược lại, để xác nhận một cách thấu đáo chính xác chức năng chính xác của một thiết kế. Giống như "Chứng minh một cách khách quan rằng giải pháp được thiết kế chính xác". Các lớp bên phải của bu lông, kích thước đúng của các biến nội bộ. Các mảnh là tùy thuộc vào công việc.
Xác thực của David, "Chúng ta đã xây dựng điều đúng chưa?" là một câu hỏi cấp cao không phải là thứ bạn có thể chạy với bản dựng hàng ngày, bật ngón tay cái hoặc ngón tay cái xuống. Đó là một đánh giá của các yêu cầu và ở mức độ thấp hơn, thiết kế. Đây không phải là một câu hỏi hợp lý được gửi đến hộp văn bản trên màn hình hoặc tham số trong API. Không chắc chắn tên một từ là gì cho tính chính xác của yêu cầu, có thể là Xác thực Yêu cầu. Chứng minh một cách thấu đáo rằng các yêu cầu tương ứng với nhu cầu của người dùng cuối.
Ngược lại, định nghĩa của tôi về Xác thực là bằng chứng về tính chính xác của một thiết kế, các thử nghiệm khách quan cho thấy các phần được chọn sẽ thực hiện công việc. Phần mềm Ariane IV không phù hợp với Ariane V sẽ thất bại ở đây, vì Ariane IV có phạm vi thay đổi tốc độ góc giới hạn. Mã được tối ưu hóa cho phạm vi giới hạn này và Ariane V có khả năng phạm vi góc lớn hơn, gây ra tràn. Khi cả hai máy tính trên máy bay gặp sự cố tràn, và thực hiện lại sau khi tự động khởi động lại, hệ thống hủy được kích hoạt.
Như Dykstra đã nói, "Tối ưu hóa sớm là gốc rễ của mọi tội lỗi."
Trong định nghĩa của tôi, các yêu cầu được cho là chính xác và được chấp nhận, được xác nhận bằng thử nghiệm Yêu cầu. Thiết kế hoặc Xác thực mã chứng minh rằng thiết kế, có lẽ là một chút của việc thực hiện, là chính xác. Nó vẫn phải được thực thi chính xác, nhưng xác nhận đó là Xác minh, thử nghiệm dựa trên Yêu cầu được chấp nhận và Thiết kế được chấp nhận.
Bạn sẽ lưu ý rằng điều này ẩn sâu gần với mô hình Thác nước phát triển, có vẻ có hại nếu được tin là mô tả các hệ thống phức tạp. Dù sao đi nữa, Yêu cầu khác với Thiết kế và Mã là điều thứ ba hoàn toàn. Tôi đoán lời cầu xin của tôi là các yếu tố trong Thác nước là những mô tả hữu ích, nhưng 'hoàn thành' là sai lệch, vì vậy tôi đã thay đổi nó thành 'được chấp nhận', điều này cho thấy sự bất ngờ và khả năng biến đổi.