Câu hỏi:
13/07/2024 168Mệ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.
Sách mới 2k7: Tổng ôn Toán, Lí, Hóa, Văn, Sử, Địa…. kỳ thi tốt nghiệp THPT Quốc gia 2025, đánh giá năng lực (chỉ từ 110k).
Quảng cáo
Trả lời:
Mệnh đề trên là không đúng.
CÂU HỎI HOT CÙNG CHỦ ĐỀ
Câu 1:
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. Mệnh đề nào sau đây là đúng?
A. Chương trình đó hoàn toàn chính xác.
B. Chương trình đó chắc là sai ít đúng nhiều.
C. Chương trình đó có độ tin cậy cao.
D. Chưa thể nói gì được về chương trình đó.
Câu 2:
Để chứng minh một thuật toán là đúng cần phải làm gì? Chọn phương án đúng nhất trong các phương án sau:
A. Cần tiến hành kiểm thử chương trình cài đặt thuật toán, kiểm thử càng nhiều càng tốt.
B. Cần cài đặt thuật toán trên càng nhiều ngôn ngữ lập trình càng tốt.
C. Cần chạy thử chương trình cài đặt thuật toán xem thời gian chạy có nhanh hay không.
D. Cần chứng minh bằng toán học chặt chẽ tính đúng của thuật toán.
Câu 3:
Viết chương trình thực hiện các việc sau:
– Nhập dãy số A từ bàn phím.
– Thực hiện các thuật toán sắp xếp chèn, sắp xếp chọn, sắp xếp nổi bọt trên dãy A.
– Tính thời gian chạy của từng thuật toán trên đối với dãy
A, kết quả đưa ra màn hình.
Câu 4:
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 [a, b].
1 def sinh_day(n,a,b):
2 from random import randint
3 A = [randint(a, b) for i in range(n)]
4 return A
Em hãy viết chương trình tạo dãy A như trên với độ dài n và thực hiện các thuật toán sắp xếp chèn, sắp xếp chọn, sắp xếp nổi bọt trên dãy A. Sau đó tính thời gian chạy của các thuật toán này. Ghi lại bảng kết quả với các giá trị của n = 100, 1000, 10 000, 100 000.
Câu 5:
Trong các bài toán sau, kích thước đầu vào của bài toán là gì, được tính như thế nào?
a) Bài toán sắp xếp dãy số A theo thứ tự tăng dần.
b) Bài toán tính tổng 1+ 2 + ... + n với n là số tự nhiên cho trước.
c) Bài toán tính gcd(a,b) – ước chung lớn nhất của hai số tự nhiên cho trước a, b.
Câu 6:
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, thì bộ dữ liệu kiểm thử nào cho thời gian chạy:
a) Nhanh nhất?
b) Chậm nhất?
về câu hỏi!