Pruebas basadas en propiedades prácticas Comience con Proper y Erlang/Elixir / FredHebert / 能迪

Descripción del producto ※Tenga en cuenta que la información del producto está traducida por máquina, por lo que puede que no sea la traducción correcta.

Ciencia de la información
[Introducción]
Este documento utiliza el marco Proper disponible en Erlang/Elixir para proporcionar un enfoque básico de las pruebas basadas en propiedades, así como ejemplos de aplicaciones avanzadas, como las pruebas basadas en propiedades cuando los casos de prueba que desea generar no son independientes entre sí y las pruebas basadas en propiedades para sistemas dependientes del estado.
Este es un libro de referencia único que le permite experimentar desde los fundamentos de las pruebas basadas en propiedades hasta el extremo norte a través del desarrollo de aplicaciones a gran escala.
Capítulo 1 : Fundamentos
Capítulo 1 : Fundamentos de las pruebas basadas en propiedades
1.1 Promesa de pruebas basadas en propiedades
1.2 Inicio de las pruebas basadas en propiedades
1.3 Inicio de las pruebas basadas en propiedades
1.4 Realización de las pruebas basadas en propiedades
1.5 Resumen
2.5 Ejercicio
Capítulo 3 : Escritura de propiedades
2.1 Estructuras de propiedades
2.2 Generadores por defecto
3.1 Límites de los generadores por defecto
3.5 Resumen
3.7 Ejercicio
3.3 Recopilación de estadísticas
4.3 Generadores personalizados básicos
4.1 Limitaciones de los generadores por defecto
4.2 Parte II : Aprendizaje práctico Propiedades sin estado
Capítulo 5 : Pruebas confiables
5.1 Testing parallel cache
Testing parallel Prueba de la ejecución paralela
Resumen
Ejercicio
Capítulo 10 : Estudios de casos : Sistemas de préstamo de libros
Introducción a las aplicaciones
Escribir un cogenerador
Pruebas con estado completas
Modelado preciso de los estados
Mejora de las pruebas
Depuración de las propiedades con estado completas
Resumen
Capítulo 11 : Propiedades de la máquina de estado finito
Colocación de las propiedades de la máquina de estado finito
Cómo funcionan las propiedades de la máquina de estado finito
Escritura de las propiedades de la máquina de estado finito
Cómo funcionan las propiedades de la máquina de estado finito
Cómo funcionan las propiedades de la máquina de estado finito
Cómo funcionan las propiedades de la máquina de estado finito
Cómo funcionan las propiedades de la máquina de estado finito
Cómo funcionan las propiedades de la máquina de estado finito
Cómo funcionan las propiedades de la máquina de estado finito
Cómo funcionan las propiedades de la máquina de estado finito
Cómo funcionan las propiedades de la máquina de estado finito
Cómo funcionan las propiedades de la máquina de estado finito
Cómo funcionan las propiedades de la máquina de estado finito
Cómo funcionan las propiedades de la máquina de estado finito
Cómo funcionan las propiedades 3.2 3.4 3.6 4.4 4.5 4.6 5.2 5.3 5.4 5.5 5.6 5.7 5.8 6.1 6.2 6.3 6.4 6.5 6.6 7.1 7.2 7.3 7.4 8.1 8.2 8.3 8.4 9.1 9.2 9.3 9.4 9.5 9.6 9.7 10.1 10.2 10.3 10.4 10.5 10.6 10.7 10.8 11.1 11.2 11.3 11.4 11.5 11.6 11.7 2.3 2.4 LETSHRINK