Nếu bạn không có bài kiểm tra, làm sao bạn biết mã của bạn hoạt động?
Chỉnh sửa: xác nhận rằng các kiểm tra không thể chứng minh rằng mã hoạt động không xác định một thuật ngữ quan trọng, cụ thể là hoạt động . Nó có nghĩa gì cho một chương trình để làm việc? Nếu bạn giữ thuật ngữ này mơ hồ, thì không có cách nào để chứng minh hoặc chắc chắn rằng bất kỳ chương trình nào hoạt động. Không bao giờ.
Mặt khác, bạn có thể định nghĩa các tác phẩm là "hành xử theo một đặc điểm kỹ thuật". Bây giờ bạn không chỉ có thể sử dụng các thử nghiệm để cho thấy mã hoạt động, mà chính các thử nghiệm có thể đóng vai trò là một đặc tả thực thi cho hành vi của mã của bạn. Nói cách khác, một bộ kiểm tra viết tốt xác định ý nghĩa của công việc .
Cách suy nghĩ này cũng buộc bạn phải kiểm tra lại ý nghĩa của một lỗi . Nếu mã của bạn vượt qua tất cả các bài kiểm tra, thì không có lỗi trong mã. Nếu, mặc dù vậy, hệ thống không hoạt động như bình thường, thì hành vi của nó không được chỉ định chính xác. I E. lỗi là trong thông số kỹ thuật, được xác định bởi các bài kiểm tra.
Cách tiếp cận phát triển phần mềm này tách rời đặc tả chức năng của một hệ thống từ việc triển khai nó, mà theo mọi cuốn sách kỹ thuật phần mềm trên thế giới, là một điều rất tốt. Đồng thời, cách tiếp cận này đảm bảo rằng việc triển khai của bạn luôn tương ứng với thông số chức năng.