15 câu Trắc nghiệm Tin học 11 Kết nối tri thức Bài 23 có đáp án
Xem toàn bộ quiz

Phương pháp kiểm thử nào dưới đây có thể giúp tăng độ tin cậy của chương trình nhưng không chứng minh được tính đúng của thuật toán?

1/15

PHẦN I. Câu trắc nghiệm nhiều phương án lựa chọn. Thí sinh trả lời từ câu 1 đến câu 10. Mỗi câu hỏi thí sinh chỉ lựa chọn một phương án.

Phương pháp kiểm thử nào dưới đây có thể giúp tăng độ tin cậy của chương trình nhưng không chứng minh được tính đúng của thuật toán?

Kiểm thử bằng chứng minh lôgic toán học

Sử dụng các bộ dữ liệu kiểm thử

Sử dụng phương pháp quy nạp toán học

Xem xét thời gian chạy của chương trình

Giải thích

Đáp án: B

Giải thích: Sử dụng các bộ dữ liệu kiểm thử có thể giúp phát hiện các lỗi và tăng độ tin cậy của chương trình. Tuy nhiên, điều này không thể chứng minh tính đúng của thuật toán một cách tuyệt đối.