Pruebas Basadas en Propiedades con Proper, Erlang y Elixir: Encuentre errores antes que sus usuarios

Opiniones de los lectores

Actualmente no hay opiniones de lectores. La calificación se basa en 10 votos.

Título original:

Property-Based Testing with Proper, Erlang, and Elixir: Find Bugs Before Your Users Do

Contenido del libro:

Las pruebas basadas en propiedades le ayudan a crear pruebas mejores y más sólidas con poco código. Mediante el uso del marco PropEr tanto en Erlang como en Elixir, este libro le enseña cómo generar automáticamente casos de prueba, probar programas con estados y cambiar la forma en que diseña su software por enfoques más basados en principios y fiables. Podrás explorar mejor el espacio del problema, validar las suposiciones que haces al idear el comportamiento del programa y exponer debilidades inesperadas en tu diseño. PropEr incluso le mostrará cómo reproducir los errores que encuentre. Con este libro, estará escribiendo pruebas eficientes basadas en propiedades en muy poco tiempo.

La mayoría de las pruebas sólo demuestran que el código se comporta como el desarrollador espera que se comporte, y por lo tanto tienen los mismos puntos ciegos que sus autores cuando aparecen condiciones especiales o casos extremos. Aprenda a ver las cosas de otra manera con las pruebas de propiedades escritas en PropEr.

Comience con los conceptos básicos de las pruebas de propiedades, como escribir propiedades sin estado y utilizar los generadores predeterminados para generar casos de prueba automáticamente. Y lo que es más importante, aprenda a pensar en propiedades. Mejore sus propiedades, escriba generadores de datos personalizados y descubra lo que su código puede o no puede hacer. Aprenda cuándo utilizar pruebas de propiedades y cuándo ceñirse a pruebas de ejemplo con proyectos de muestra del mundo real. Explore varios enfoques de pruebas para encontrar el mejor para su código. Reduzca los casos de prueba que fallan a su expresión más simple para resaltar exactamente lo que se rompe en su código, y genere datos altamente relevantes a través de propiedades específicas. Descubra los errores más complicados que se le ocurran casi sin código con dos tipos especiales de propiedades basadas en transiciones de estado y máquinas de estado finito.

Escribir propiedades Erlang y Elixir que generen las pruebas más efectivas que verás, ya sean pruebas unitarias o complejas pruebas de integración y de sistema.

Lo que necesitas

⬤ Conocimientos básicos de Erlang, opcionalmente Elixir.

⬤ Para pruebas Erlang: Erlang/OTP >= 20. 0, con Rebar >= 3. 4. 0.

⬤ Para las pruebas de Elixir: Erlang/OTP >= 20. 0, Elixir >= 1. 5. 0.