Capacidad de un programa informática para examinar el programa en sí mismo.