Kiểm thử và đánh giá chương trình
Tóm tắt
Bài học phân biệt vai trò của kiểm thử, chứng minh tính đúng và đánh giá hiệu quả.
Hiểu bài
Kiểm thử sử dụng các bộ dữ liệu đầu vào và đối chiếu đầu ra mong đợi. Nhiều bộ kiểm thử đúng làm tăng độ tin cậy nhưng chưa chứng minh thuật toán hay chương trình đúng trong mọi trường hợp; chỉ một kết quả sai đã đủ chứng tỏ chương trình sai. Tính đúng có thể được lập luận bằng suy luận lôgic hoặc chứng minh toán học, chẳng hạn chứng minh sau mỗi vòng lặp của sắp xếp chèn, dãy con A[0] ... A[i] đã được sắp xếp. Hiệu quả chương trình được xem xét qua độ phức tạp tính toán, đặc biệt là độ phức tạp thời gian liên quan tới các câu lệnh được thực hiện.