Để kiểm thử một chương trình bạn An đã tạo ra rất nhiều bộ dữ liệu test

Để kiểm thử một chương trình bạn An đã tạo ra rất nhiều bộ dữ liệu test. Với tất cả các bộ dữ liệu test chương trình đều chạy đúng. Có thể kết luận chương trình hết lỗi hay chưa?

Giải sách bài tập Tin học 10 Bài 30: Kiểm thử và gỡ lỗi chương trình

Câu 30.2 trang 61 SBT Tin học 10: Để kiểm thử một chương trình bạn An đã tạo ra rất nhiều bộ dữ liệu test. Với tất cả các bộ dữ liệu test chương trình đều chạy đúng. Có thể kết luận chương trình hết lỗi hay chưa?

Lời giải:

Chưa thể khẳng định chương trình hết lỗi. Kiểm thử chỉ có chức năng phát hiện lỗi (nếu có) ứng với các bộ dữ liệu test, không có chức năng chứng minh chương trình chạy đúng với mọi bộ dữ liệu.