💻 TIN HỌC · LỚP 11

Kiểm thử và gỡ lỗi: từ trường hợp kiểm thử đến nguyên nhân gốc

Design test cases with boundaries and invariants, distinguish testing from debugging and reduce defects with reproducible evidence.

📖 Bài học⏱ 15 phút👁 0🔖 0
Đóng góp bởi Võ Trí Kỳ Nam · cập nhật 02/09/2026
Đăng nhập để học

🐞 Chạy đúng một ví dụ có chứng minh chương trình đúng không?

Không. Một kiểm thử thành công chỉ cho biết chương trình đúng với đầu vào đó. Kiểm thử tốt chọn lớp tương đương, giá trị biên, dữ liệu không hợp lệ và tình huống đặc biệt để tăng khả năng phát hiện lỗi.

Chu trình đặc tả, tạo ca kiểm thử, chạy, quan sát lỗi, tái hiện, định vị nguyên nhân, sửa và kiểm thử hồi quy
Testing phát hiện biểu hiện; debugging tìm và sửa nguyên nhân; regression testing kiểm tra lỗi cũ không quay lại.

Một quy trình có kỷ luật

  1. Viết kết quả mong đợi từ đặc tả trước khi nhìn kết quả thực tế.
  2. Tạo ca bình thường, biên, rỗng, cực trị và sai định dạng.
  3. Khi lỗi xuất hiện, tối giản đầu vào để tái hiện ổn định.
  4. Đặt giả thuyết, quan sát trạng thái và thay đổi một yếu tố mỗi lần.
  5. Sau khi sửa, chạy lại ca lỗi và bộ kiểm thử liên quan.

⚠️ Đừng sửa triệu chứng

Thêm một điều kiện đặc biệt có thể che lỗi chỉ số, trạng thái hoặc mô hình dữ liệu. Hãy tìm bất biến bị phá vỡ và nguyên nhân đầu tiên.

📚 Lý thuyết trọng tâm

Mục tiêu: Design test cases with boundaries and invariants, distinguish testing from debugging and reduce defects with reproducible evidence.. Khi học Kiểm thử và gỡ lỗi: từ trường hợp kiểm thử đến nguyên nhân gốc, hãy xác định khái niệm, điều kiện áp dụng và mối liên hệ giữa các dữ kiện; không chỉ ghi nhớ kết luận.

🧭 Ví dụ có hướng dẫn

Chọn một tình huống điển hình của bài. Bước 1: ghi dữ kiện và câu hỏi cần giải quyết. Bước 2: chọn khái niệm hoặc quy tắc phù hợp. Bước 3: giải thích từng bước và kiểm tra kết quả với điều kiện ban đầu. Nếu đổi một dữ kiện, hãy dự đoán kết quả thay đổi thế nào.

✍️ Luyện tập

  1. Tóm tắt bài bằng ba ý: khái niệm, điều kiện và kết luận.
  2. Tự tạo một ví dụ đúng và một phản ví dụ; chỉ ra điểm quyết định.
  3. Giải lại ví dụ khi thay đổi một dữ kiện, sau đó nêu cách kiểm chứng.

Checklist tự đánh giá

  • Tôi giải thích được “vì sao”, không chỉ nêu đáp án.
  • Tôi nhận ra trường hợp không áp dụng được quy tắc.
  • Tôi kiểm tra được đơn vị, bằng chứng hoặc tính hợp lí của kết luận.
TRAO ĐỔI · HỎI ĐÁP

Cùng nhau hiểu bài sâu hơn

Viết lời giải, công thức, đặt câu hỏi hoặc gửi ảnh phần bạn đang vướng.

Đăng nhập để đặt câu hỏi và tham gia trao đổi.

Chưa có trao đổi nào. Hãy là người đầu tiên đặt câu hỏi nhé.