Soluciones de depuración de software automatizadas

La detección de errores en el software es uno de los problemas más difíciles en la garantía de calidad de los fabricantes de software. Los errores de software pueden ser detectados antes o después de su lanzamiento. Sin embargo, hay recursos limitados para detectar y corregir errores [1]. Los errores generalmente caen en dos categorías generales: errores de sintaxis y errores semánticos. Dado que hay tantas herramientas automatizadas poderosas para detectar errores de sintaxis, es muy poco probable que tales errores sean detectados en el momento de su lanzamiento. Los errores semánticos son los que se producen como resultado de problemas distintos de los errores de sintaxis y los errores humanos tangibles y suelen ser causados por inconsistencias en diferentes partes del código, a veces muy intangibles. En tales casos, esos errores no pueden detectarse fácilmente mediante la revisión del código. Esto no es cierto en el caso de los errores semánticos, porque muchos factores pueden contribuir a que se produzcan esos errores