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
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.
Artículo:
Medida de similitud coseno ponderada ordenada de intervalos difusos intuitivistas y su aplicación en la toma de decisiones de inversión.
Artículo:
Un protocolo eficiente de extensión de transferencias olvidadas externalizadas y sus aplicaciones
Artículo:
Un nuevo método de identificación de dispositivos basado en mediciones pasivas
Artículo:
Ataques de mensajería en Android: Vulnerabilidades y detección de intrusos
Artículo:
Modelo de Análisis del Comportamiento de Grupos Sociales que Integra el Aprendizaje Multitarea y la Red Neuronal Convolucional
Artículo:
Creación de empresas y estrategia : reflexiones desde el enfoque de recursos
Libro:
Ergonomía en los sistemas de trabajo
Artículo:
La gestión de las relaciones con los clientes como característica de la alta rentabilidad empresarial
Artículo:
Los web services como herramienta generadora de valor en las organizaciones