การตรวจหาข้อผิดพลาดของโปรแกรม: การตรวจสอบและแก้ไขเพื่อการทำงานที่สมบูรณ์