Pruebas generadas desde el contrato de la API

Un contrato bien escrito es un requisito que una máquina puede leer: dice qué campos entran, de qué tipo, entre qué límites, si se aceptan campos de más, qué códigos puede devolver cada operación y qué forma tiene cada respuesta. Un generador de pruebas basado en el contrato aprovecha eso: arma peticiones válidas y peticiones que lo rompen a propósito (un número fuera de rango, un campo que no existe, una fecha imposible) y marca como fallo lo que el servidor haga distinto de lo prometido: aceptar lo que debía rechazar, responder con un código que no está declarado, caerse con un 500 o devolver una respuesta con campos que el esquema no tiene.

Lo que no puede saber es lo que el contrato no dice. El contrato describe la forma de los datos, no de quién son: una petición bien formada sobre la unidad de otra persona le parece tan correcta como sobre la propia. Para eso siguen haciendo falta las pruebas de autorización con varias cuentas.

Abre el laboratorio y lee contrato-reservas.yaml: el esquema de la reserva que se devuelve no admite propiedades adicionales. Luego busca en informe-contrato.txt el fallo de una respuesta que no cumple su esquema. Una propiedad no declarada en una respuesta casi nunca es un detalle de forma: suele ser un dato que el modelo interno arrastra y que nadie decidió publicar.

El esquema de la petición para crear una reserva tampoco admite propiedades adicionales, y aun así el informe registra una que el servidor aceptó y guardó. Es asignación masiva vista desde fuera: el generador no sabe qué hace el servidor con el campo, pero sí ve que la respuesta y la reserva guardada lo reflejan.

Un informe sin fallos en una operación solo dice algo si la operación se probó. Lee configuracion-generador.txt: hay una operación que cambia datos y que la corrida deja fuera, con un motivo que no es de seguridad.

La operación del estado de cuenta sale con cero fallos. Fíjate en cuántas respuestas fueron 404, sobre qué unidad fueron las 200 y con cuántas cuentas corre el generador.