Descripción
Las pruebas basadas en propiedades le ayudan a crear pruebas mejores y más sólidas con poco código. Al usar el marco PropEr tanto en Erlang como en Elixir, este libro le enseña cómo generar automáticamente casos de prueba, probar programas con estado y cambiar la forma en que diseña su software para enfoques más estructurados y confiables. Podrá explorar mejor el espacio del problema, validar las suposiciones que hace al diseñar el comportamiento del programa y exponer debilidades inesperadas en su diseño. PropEr incluso le mostrará cómo reproducir los errores que encontró. Con este libro, escribirá pruebas basadas en propiedades eficientes en poco tiempo.
La mayoría de las pruebas solo demuestran que el código se comporta como el desarrollador esperaba, y por lo tanto tienen los mismos puntos ciegos que sus autores cuando aparecen condiciones especiales o casos límite. Aprenda a ver las cosas de manera diferente con pruebas de propiedades escritas en PropEr.
Comience con los conceptos básicos de las pruebas de propiedades, como escribir propiedades sin estado y usar los generadores predeterminados para generar casos de prueba automáticamente. Más importante aún, 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 usar pruebas de propiedades y cuándo quedarse con pruebas de ejemplo con proyectos de muestra del mundo real. Explore varios enfoques de prueba para encontrar el que mejor se adapte a su código. Reduzca los casos de prueba fallidos a su expresión más simple para resaltar exactamente lo que falla en su código y genere datos altamente relevantes a través de propiedades específicas. Descubra los errores más difíciles que pueda imaginar con casi ningún código con dos tipos especiales de propiedades basadas en transiciones de estado y máquinas de estados finitos.
Escriba propiedades de Erlang y Elixir que generen las pruebas más efectivas que verá, ya sean pruebas unitarias o pruebas complejas de integración y de sistema.
Qué necesita
- Conocimientos básicos de Erlang, opcionalmente Elixir
- Para pruebas de Erlang: Erlang/OTP >= 20.0, con Rebar >= 3.4.0
- Para pruebas de Elixir: Erlang/OTP >= 20.0, Elixir >= 1.5.0
Autor: Fred Hebert
Editorial: Pragmatic Bookshelf
Publicado: 12/02/2019
Páginas: 376
Tipo de encuadernación: Tapa blanda
Peso: 1.42lbs
Tamaño: 9.25h x 7.50w x 0.78d
ISBN13: 9781680506211
ISBN10: 1680506218
Categorías BISAC:
- Computación | Desarrollo e ingeniería de software | Control de calidad y pruebas
- Computación | Idiomas | General
- Computación | Programación | Código abierto
Acerca del autor
Fred Hebert es arquitecto de sistemas en una empresa de videovigilancia, gestión de control de acceso y reconocimiento de matrículas. Anteriormente trabajó como líder técnico en los servicios de red de una plataforma en la nube. También ha trabajado en sistemas de licitación en tiempo real, como formador profesional de Erlang y mantenedor de cursos, y es uno de los mantenedores de la principal herramienta de construcción de Erlang (rebar3).