Pruebas basadas en propiedades

Una propiedad es una frase que debe ser verdad para toda entrada de cierto tipo: «ordenar una lista no cambia cuántos elementos tiene», «leer lo que se acaba de escribir devuelve lo escrito», «la media está entre el mínimo y el máximo». La herramienta genera cientos de entradas, a menudo con valores incómodos (listas de un elemento, números enormes), y cuando una rompe la regla la reduce al ejemplo más pequeño que sigue rompiéndola.

Una propiedad útil describe un hecho independiente de la implementación. Si se limita a repetir el cálculo que hace la función, solo compara el código consigo mismo y nunca puede fallar.

Compara la propiedad con la función. Si la comprobación de la prueba es la misma expresión que usa la función, la prueba es una tautología: pasará aunque la fórmula esté mal, porque se equivoca igual en los dos lados. Las pruebas de ejemplos también caen en esto cuando el valor esperado se calcula con el código que se prueba.

Abre tablas/estadistica.py y tests/test_propiedades.py.

Cuando una propiedad falla, la herramienta imprime el ejemplo que la falsifica, ya reducido. No hay que adivinar nada: ahí está la entrada exacta. Lee el resultado de la media con esa entrada.

Abre salida/propiedades.txt.

La segunda propiedad que falla encontró un caso que ninguna prueba de ejemplos escribió: una lista donde todos los valores son iguales. Al normalizar, el denominador es cero. Las propiedades encuentran estos bordes porque las herramientas generan listas de un elemento, listas con valores repetidos y números en los extremos.

El ejemplo mínimo es oro: es una entrada real que rompió el código propio. Una vez corregida la función, no se tira. Se guarda como ejemplo fijo de la prueba (las herramientas de propiedades permiten añadir ejemplos explícitos, y algunas recuerdan por sí solas los que fallaron) o como una prueba de ejemplos normal. Así, si el fallo vuelve, lo detecta la siguiente ejecución sin depender de que el generador lo encuentre otra vez por azar.