15 câu Trắc nghiệm Tin học 11 Kết nối tri thức Bài 23 có đáp á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?

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?

Mục đích chính của việc kiểm thử chương trình là gì?

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?

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?

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?

Độ phức tạp tính toán của một thuật toán chủ yếu đánh giá điều gì?

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?

Mục đích chính của việc sử dụng các bộ dữ liệu kiểm thử là gì?

a) Chứng minh tính đúng đắn tuyệt đối của chương trình.

b) Kiểm tra độ tin cậy của chương trình bằng cách phát hiện lỗi có thể có.

c) Đánh giá tốc độ thực thi của chương trình.

d) Đảm bảo chương trình tiết kiệm bộ nhớ tối đa.

Tiêu chí nào dưới đây là quan trọng nhất khi đánh giá hiệu quả của một thuật toán?

a) Thời gian chạy nhanh hơn các thuật toán khác cùng giải bài toán.

b) Sử dụng bộ nhớ ít nhất có thể.

c) Chương trình phải rõ ràng, dễ hiểu và dễ áp dụng.

d) Phải chứng minh được tính đúng đắn tuyệt đối của thuật toán.

Kiểm thử chương trình có vai trò gì trong việc đánh giá tính đúng đắn của thuật toán?

Làm thế nào để kiểm tra tính đúng của thuật toán sắp xếp chèn bằng phương pháp lập luận logic?

Hai tiêu chí quan trọng nhất để đánh giá hiệu quả của một chương trình là gì?