Localización práctica y precisa de errores de configuración utilizando análisis estático

Las configuraciones incorrectas de software son responsables de una parte sustancial de los fallos del sistema actuales, causando aproximadamente una cuarta parte de todos los problemas reportados por los clientes. Identificar sus causas raíz puede ser costoso en términos de tiempo y recursos humanos. Presentamos un enfoque para localizar automáticamente tales defectos sin necesidad de reproducción de errores. Utiliza análisis estático para inferir el grado de correlación entre cada opción de configuración y los sitios del programa afectados por una excepción. La única información de tiempo de ejecución requerida por nuestro enfoque es el rastreo de pila de una falla. Esta es una ventaja esencial en comparación con enfoques existentes que requieren reproducir errores o proporcionar oráculos de prueba. Evaluamos nuestro enfoque en 29 errores de 4 programas de software configurables, a saber, JChord, Randoop, Hadoop y Hbase. Nuestro enfoque puede diagnosticar con éxito 27 de los 29 errores. Para 20 errores, la opción de configuración que induce la falla ocupa el primer lugar.