Preservación del comportamiento a través de las versiones del código en Erlang

En cualquier programa vivo y no trivial, el código fuente evoluciona naturalmente a lo largo del ciclo de vida por muchas razones, como la implementación de nuevas funcionalidades, la optimización de un cuello de botella o la refactorización de una función oscura. Frecuentemente, estos cambios en el código afectan a varias funciones y módulos diferentes, por lo que puede ser difícil saber si el comportamiento correcto de la versión anterior se ha preservado en la nueva versión. En este documento, abordamos este problema en el contexto del lenguaje Erlang, donde la mayoría de los desarrolladores confían en un conjunto de pruebas previamente definido para verificar la preservación del comportamiento. Proponemos un enfoque alternativo para obtener automáticamente un conjunto de pruebas que se centre específicamente en comparar las versiones antiguas y nuevas del código. Nuestra generación de casos de prueba está dirigida por una combinación sofisticada de varias herramientas ya existentes como TypEr, CutEr y PropEr; e introduce ideas novedosas como permitir al programador elegir una o más expresiones de interés que deben preservar

Autores: Insa, David; Prez, Sergio; Silva, Josep; Tamarit, Salvador