 กำหนดรหัสสำหรับซอฟต์แวร์ สร้างรายงานการดีบัก
 รหัสดูเหมือนจะถูกต้องทางวากยสัมพันธ์ รายงานข้อบกพร่องควรระบุปัญหาเฉพาะของรหัส ตัวอย่างเช่น หากรหัสไม่ส่งคืนผลลัพธ์ที่ถูกต้อง อาจเป็นเพราะข้อผิดพลาดทางตรรกะ