Trong kiểm thử chương trình, tại sao không thể chỉ dựa vào các bộ dữ liệu kiểm thử để chứng minh tính đúng của thuật toán?
A. Vì các bộ dữ liệu kiểm thử thường có sai sót
Giải bởi Vietjack
Đáp án: B
Giải thích: Các bộ dữ liệu kiểm thử không thể bao quát mọi trường hợp có thể xảy ra trong thực tế, nên chúng chỉ giúp phát hiện lỗi và tăng độ tin cậy, không thể chứng minh được tính đúng.
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?
Một chương trình có thể tối ưu về mặt thời gian nhưng không tối ưu về mặt nào dưới đây?
Trong kiểm thử chương trình, tại sao nên sử dụng các bộ dữ liệu có tính đa dạng cao?
Trong các lựa chọn sau, đâu là lợi ích của việc sử dụng các bộ dữ liệu kiểm thử?
Phương pháp quy nạp toán học thường được sử dụng để làm gì trong kiểm thử chương trình?
Phương pháp nào sau đây thường được sử dụng để chứng minh tính đúng của thuật toán một cách chắc chắn?
Tiêu chí nào dưới đây thường được xem xét khi đánh giá hiệu quả của một thuật toán?
