Biblioteca122.739 documentos en línea

Artículo

Behaviour Preservation across Code Versions in ErlangPreservación del comportamiento a través de las versiones del código en Erlang

Resumen

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

  • Tipo de documento:
  • Formato:pdf
  • Idioma:Inglés
  • Tamaño: Kb

Cómo citar el documento

Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.

Este contenido no est� disponible para su tipo de suscripci�n

Información del documento