Kiểm thử: Là việc chạy thử chương trình với các dữ liệu mẫu nhằm phát hiện những tình huống bất thường (lỗi) trước khi đưa chương trình vào sử dụng thực tế.
Phân loại lỗi: Gồm hai loại lỗi chính trong lập trình:
- Lỗi cú pháp: Xảy ra khi viết câu lệnh sai quy tắc của ngôn ngữ lập trình, khiến chương trình không thể hoạt động được.
- Lỗi lôgic: Câu lệnh được viết đúng quy tắc nhưng thực hiện sai kịch bản mong muốn. Máy tính vẫn chạy và trả lời nhưng kết quả cho ra bị sai.
Ví dụ tiêu biểu: Trong trò chơi đoán số, người chơi đoán đúng nhưng biến số lần đoán không tăng hoặc hiển thị số lần đoán không trùng khớp với thực tế (Lỗi lôgic).

2. Phát hiện lỗi và sửa lỗi lôgic

Cách phát hiện lỗi lôgic:
- Cách 1: Phân tích lôgic bằng cách tập trung vào những khối lệnh trực tiếp liên quan đến lỗi và so sánh với kịch bản.
- Cách 2: Chạy thử chương trình từng bước, kết hợp theo dõi sự thay đổi giá trị của các biến thông qua cửa sổ hiển thị (bằng cách tích chọn hiển thị biến hoặc chèn thêm lệnh tạm dừng).
Sửa lỗi: Khi đã xác định vị trí câu lệnh gây lỗi, thực hiện thay đổi hoặc thay thế bằng các khối lệnh điều khiển, biểu thức toán học/lôgic phù hợp với yêu cầu thực tế.
Ví dụ tiêu biểu: Đổi phép toán ghép chuỗi bị sai (dùng nhầm dấu cộng sinh ra lỗi) thành khối lệnh liên kết chuỗi kết hợp tương ứng trong Scratch để hiển thị đúng thông báo.

II. KIẾN THỨC TRỌNG TÂM

Gỡ lỗi (Debugging) là một phần quan trọng không thể thiếu của lập trình, bao gồm các hoạt động chạy thử, phát hiện và loại bỏ lỗi.
Cần phân biệt rõ lỗi cú pháp (làm chương trình ngừng hoạt động hoàn toàn) và lỗi lôgic (chương trình vẫn chạy nhưng cho ra kết quả sai).
Các ngôn ngữ lập trình trực quan (như Scratch) hầu như hạn chế được tối đa lỗi cú pháp nhưng người dùng vẫn rất dễ mắc phải lỗi lôgic.
Quy tắc cốt lõi để tìm lỗi lôgic là kiểm tra sự thay đổi giá trị của các biến số qua từng bước chạy thử nghiệm.
Sử dụng linh hoạt hai phương pháp: suy luận lôgic cấu trúc lệnh và theo dõi giá trị biến trực quan để cô lập vùng chứa lỗi và tiến hành sửa chữa.

III. BỐ CỤC SLIDE PPTX (Khung tối giản)

Slide 1: BÀI 15: GỠ LỖI | Mục tiêu bài học (Biết cách kiểm thử, phát hiện và sửa được lỗi cho chương trình máy tính).
Slide 2: 1. Khái niệm Kiểm thử chương trình | Định nghĩa kiểm thử thông qua dữ liệu mẫu và tầm quan trọng trước khi hoàn thiện sản phẩm.
Slide 3: Phân loại lỗi trong lập trình | Khái niệm và dấu hiệu nhận biết của Lỗi cú pháp và Lỗi lôgic.
Slide 4: 2. Phương pháp phát hiện lỗi lôgic | Hướng dẫn hai cách tìm lỗi: Phân tích tư duy lôgic và Chạy thử từng bước để theo dõi biến.
Slide 5: 3. Thực hành: Phát hiện và Sửa lỗi | Phân tích một chương trình đoán số bị lỗi hiển thị kết quả và các bước khoanh vùng xử lý.
Slide 6: Thực hành: Chỉnh sửa khối lệnh điều kiện | Thao tác thay đổi các biểu thức so sánh, phép toán lôgic lồng nhau để chương trình chạy đúng kịch bản.
Slide 7: Tổng kết bài học | Khắc sâu quy trình kiểm thử và gỡ lỗi để xây dựng tư duy lập trình khoa học.