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

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?

• Kiểm thử bằng cách chạy nhiều lần

• Dùng dữ liệu kiểm thử ngẫu nhiên

• Chứng minh bằng lôgic toán học

• Kiểm tra độ phức tạp tính toán

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

• Đảm bảo chương trình chạy nhanh nhất có thể

• Phát hiện lỗi và sửa lỗi để tăng độ tin cậy của chương trình

• Chứng minh chương trình không bao giờ sai

• Đánh giá khả năng tối ưu của thuật toán

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?

• Vì các bộ dữ liệu kiểm thử thường có sai sót

• Vì kiểm thử không kiểm tra được tất cả các tình huống có thể xảy ra

• Vì thuật toán luôn có khả năng chạy sai

• Vì kiểm thử chỉ làm tăng thời gian chạy của chương trình

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?

• Tính đơn giản và dễ hiểu

• Thời gian và không gian bộ nhớ sử dụng

• Khả năng phát hiện lỗi tự động

• Độ dài của mã lệnh

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?

• Tính đúng của thuật toán

• Dung lượng bộ nhớ sử dụng

• Khả năng kiểm thử

• Độ phức tạp logic

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?

• Để kiểm tra độ nhanh chậm của thuật toán

• Để tăng khả năng phát hiện lỗi trong các trường hợp khác nhau

• Để giúp chương trình dễ hiểu hơn

• Để giảm thời gian chạy chương trình

Độ phức tạp tính toán

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

• Tính đơn giản của thuật toán

• Tài nguyên phần cứng cần thiết để chạy chương trình

• Tốc độ thực thi và bộ nhớ cần thiết cho chương trình

• Khả năng kiểm tra lỗi của chương trình

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ử?

• Chứng minh thuật toán chạy đúng cho mọi trường hợp

• Tăng độ tin cậy của chương trình

• Giảm thời gian cần để viết mã

• Đảm bảo bộ nhớ sử dụng tối thiểu