Muốn chứng minh một chương trình chạy đúng chỉ cần thực hiện

Mệnh đề sau có đúng không?

Sách bài tập Tin học 11 Bài 23: Kiểm thử và đánh giá chương trình - Kết nối tri thức

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.

Lời giải sách bài tập Tin học 11 Bài 23: Kiểm thử và đánh giá chương trình hay khác:

• Câu 23.2 trang 73 SBT Tin học 11: 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 ....

• Câu 23.3 trang 73 SBT Tin học 11: Để chứng minh một thuật toán là đúng cần phải làm gì? ....

• Câu 23.4 trang 74 SBT Tin học 11: Cùng một chương trình, với hai bộ dữ liệu đầu vào khác nhau ....

• Câu 23.5 trang 74 SBT Tin học 11: Với thuật toán sắp xếp chèn (trong sách giáo khoa), cùng kích thước n ....

• Câu 23.6 trang 74 SBT Tin học 11: Trong các bài toán sau, kích thước đầu vào của bài toán là gì ....

• Câu 23.7 trang 74 SBT Tin học 11: Viết chương trình thực hiện các việc sau ....

• Câu 23.8 trang 74 SBT Tin học 11: Hàm sau tạo một dãy số nguyên có n phần tử và các giá trị nằm ngẫu nhiên trong phạm vi ....

• Câu 23.9 trang 74 SBT Tin học 11: Viết chương trình tạo dãy A có n phần tử với giá trị ngẫu nhiên ....