Herramientas de depuración de código

Desde el instituto VRAIN de la UPV hemos desarrollado diferentes técnicas avanzadas de depuración de código, haciendo hincapié en las herramientas automáticas y/o fuertemente asistidas. Consideramos principalmente técnicas basadas en “slicing” y depuración reversible. Mientras que las primeras nos permiten acotar las líneas de código donde podría encontrarse el error, las segundas se emplean para explorar una ejecución paso a paso, tanto hacia adelante como hacia atrás. Las herramientas de depuración son el complemento idóneo para las técnicas de testing y validación, ya que asisten a la hora de localizar el origen de los errores detectados. De este modo, es posible reducir los tiempos de detección, localización y, especialmente, corrección de errores software, una tarea crucial en cualquier entorno en el que se desarrolle software.