Giả sử một chương trình đã được kiểm tra chạy chính xác với hơn 1000 lần test. Mệnh đề nào sau đây là đúng? A. Chương trình đó hoàn toàn chính xác. B. Chương trình đó chắc là sai ít đúng nhiều. C. Chương trình đó có độ tin cậy cao. D. Chưa thể nói gì được về chương trình đó.