Kiểm thử là gì? Tại sao cần kiểm thử khi mà chương trình chạy đưa ra kết quả đúng với ví dụ đã cho

Giải SBT Tin học 10 Cánh diều Bài 16: Kiểm thử và gỡ lỗi chương trình

Câu F82 trang 47 SBT Tin 10: Kiểm thử

Kiểm thử là gì? Tại sao cần kiểm thử khi mà chương trình chạy đưa ra kết quả đúng với ví dụ đã cho?

Trả lời:

Môi trường do ngôn ngữ lập trình cung cấp không phát hiện được lỗi ngữ nghĩa, do vậy người lập trình phải kiểm thử sau khi viết chương trình. Khi kiểm thử, cần xây dựng các bộ dữ liệu đầu vào để chạy thử nhằm phát hiện lỗi của chương trình. Một chương trình nếu có lỗi ngữ nghĩa thì có thể đưa ra kết quả đúng đối với một số bộ dữ liệu vào nhưng vẫn đưa ra kết quả sai đối với một số bộ dữ liệu khác. Việc kiểm thử cũng chỉ làm tăng tính đáng tin cậy của chương trình chứ không chứng minh được chương trình chạy đúng với mọi bộ dữ liệu vào. Tuy nhiên chất lượng của việc kiểm thử phụ thuộc vào việc đưa ra các bộ dữ liệu vào để kiểm thử và đem lại mức đáng tin cậy của chương trình.