Pruebas basadas en propiedades en Erlang con PropEr

Las pruebas unitarias tradicionales a menudo pasan por alto los casos críticos porque solo evalúan los escenarios específicos que usted escribe, mientras que las pruebas basadas en propiedades cambian esto al generar automáticamente una amplia gama de entradas de prueba basadas sobre las propiedades que su código debe satisfacer. Este curso le presenta los conceptos y la ejecución de pruebas basadas en propiedades en Erlang usando PropEr. Pasará de escribir aserciones manuales a definir propiedades de alto nivel que siempre deben ser verdaderas, lo que permite que el marco de pruebas realice el trabajo pesado de encontrar errores.Aprenderá a escribir generadores personalizados, reducir los casos de prueba fallidos a sus formas más simples e integrar las prácticas de prueba modernas en su flujo de trabajo de desarrollo. Lo que aprenderás: - Comprenda las diferencias básicas entre las pruebas unitarias tradicionales y las prueba de propiedades - Definir propiedades matemáticas y lógicas que describen el comportamiento correcto del sistema - Construya generadores de datos personalizados usando PropEr para probar estructuras y tipos complejos - Aplique la contracción de casos de prueba para aislar rápidamente la causa raíz de las fallas - Integrar técnicas de prueba basadas en propiedades de estado para sistemas complejos - Estructure sus suites de pruebas Erlang para ejecutarse de manera eficiente dentro de las tuberías de desarrollo modernas Este curso comienza con conceptos fundamentales, definiendo qué es una propiedad y cómo funciona el marco PropEr, antes de guiarlo a través de ejemplos prácticos escritos de creación de generadores y ejecución de pruebas. Está diseñado para desarrolladores de software e ingenieros de control de calidad que están familiarizados con la sintaxis básica de Erlang y desean elevar sus estándares de prueba.No se requiere experiencia previa con pruebas basadas en propiedades.Comience a leer para construir sistemas altamente resilientes hoy.