Muốn chứng minh một chương trình chạy đúng chỉ cần thực hiện thật nhiều việc kiểm thử (test)

Giải SBT Tin học 11 Bài 23: Kiểm thử và đánh giá chương trình

Câu 23.1 trang 73 SBT Tin học 11: Mệnh đề sau có đúng không?

Muốn chứng minh một chương trình chạy đúng chỉ cần thực hiện thật nhiều việc kiểm thử (test). Nếu kiểm tra trên tất cả các bộ dữ liệu kiểm thử đều đúng thì chương trình đúng.

Lời giải:

Mệnh đề trên là không đúng.