Pruebas de propiedades con PropEr en Erlang y Elixir

Al aprender a realizar pruebas basadas en propiedades con estado, puede generar automáticamente cientos de escenarios para encontrar casos de borde ocultos y condiciones de competencia en su código, y puede usarlos para evaluar la funcionalidad de las aplicaciones. Este curso basado en texto lo guía a través del modelado de sistemas con estado, la escritura de generadores personalizados y la integración de la validación de bases de datos. A través de explicaciones escritas claras y patrones de código estructurados, aprenderá a pensar en propiedades en lugar de casos de prueba individuales, y a utilizar las herramientas de prueba de SQL para crear modelos de pruebas de rendimiento que se pueden usar para evaluar el comportamiento de los sistemas. Lo que aprenderás: - Comprenda los principios básicos de las pruebas basadas en propiedades con estado y cómo difiere de las comprobaciones sin estado - Modele estados y transiciones de sistemas complejos utilizando comandos simbólicos y máquinas de estado - Escribir generadores personalizados en PropEr para generar secuencias válidas e inválidas de operaciones - Depurar los casos de prueba fallidos usando la contracción para encontrar la secuencia exacta que causa un error - Integre la validación del estado de la base de datos para garantizar que su aplicación coincida con el estado de su modelo - Aplique patrones de prueba modernos para manejar transiciones de estado concurrentes de manera segura El curso comienza con conceptos fundamentales de pruebas basadas en propiedades y modelado de máquinas de estado antes de guiarlo a través de la construcción paso a paso de un modelo de sistema de librería, completo con transiciones de estado, comandos y post-condiciones. Está diseñado para desarrolladores de software e ingenieros de control de calidad que ya entienden los conceptos básicos de programación en Erlang o Elixir y desean adoptar metodologías de pruebas avanzadas.No se requiere experiencia previa con pruebas basadas en propiedades.Comience a escribir pruebas a prueba de balas hoy.