Hiểu cách hoạt động
Kiểm thử đối chiếu đầu ra với mong đợi, đánh giá còn xét độ đúng, tài nguyên, khả năng hiểu và miền áp dụng. Chọn ca phát hiện lớp lỗi thay vì nhiều ca cùng dạng. Kết quả chạy đúng một bộ chưa là chứng minh đúng mọi đầu vào. Bất biến và lập luận bổ sung cho bằng chứng thực thi.