Kiểm thử

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.