โปรแกรมออกแบบมาเพื่อช่วยในการตรวจสอบ ค้นหา และแก้ไขข้อผิดพลาดในโปรแกรมอื่น โดยการอนุญาตให้ผู้เขียนโปรแกรมทางโปรแกรม ตรวจสอบข้อมูล การตรวจสอบเงื่อนไขเช่นค่าของตัวแปร