Pruebas de políticas y casos límite

Las pruebas de una política fijan una entrada y la decisión esperada. En OPA se escriben en Rego, como reglas cuyo nombre empieza por test_, y la entrada se sustituye con with input as; se corren con opa test. Cedar no trae un formato de prueba en el lenguaje: se suelen guardar pares de solicitud y decisión esperada y se pasan por el autorizador en el ci. En los dos casos, lo que vale es la lista de entradas que se eligen.

Los errores de una política se esconden en los bordes: el valor exacto del tope, un peso por encima, el monto cero o negativo, el atributo que falta, la herramienta que no está en el catálogo, la mayúscula de más. Un caso límite es la entrada justo en ese borde, y cada uno tiene que salir de un requisito escrito, no de lo que la política hace hoy: si la prueba se escribe mirando la política, prueba que la política hace lo que hace.

Cuando una prueba falla en un cambio, hay dos lecturas posibles: el cambio rompió algo, o la prueba estaba mal. Lo que decide entre las dos no es la opinión del autor del cambio, sino el requisito del que salió la prueba. Lee la salida de la corrida y localiza la prueba en rojo.

Riesgo mantiene una lista de casos límite con su decisión esperada, y cada prueba lleva encima el identificador del caso que cubre. Cruzar la lista con las pruebas es la forma rápida de ver qué quedó sin probar. Fíjate además en qué haría la regla de pagos con ese caso: una regla que solo pone tope por arriba no dice nada de lo que pasa por abajo.

La cobertura dice qué partes de la política se evaluaron durante las pruebas. No dice si las pruebas son buenas, pero sí señala lo que nunca se ejercita: una condición que ninguna prueba alcanza puede cambiar mañana y ninguna prueba se pondrá en rojo. En OPA, opa test --coverage informa las líneas cubiertas y las que no. Ojo con la lectura: una condición cuenta como cubierta si se evaluó, aunque haya dado falso, mientras que la cabeza de una regla (la línea permitir if) solo sale cubierta si alguna prueba cumplió la regla entera. Una cabeza sin cubrir dice que ninguna prueba espera que esa regla permita; condiciones sin cubrir dicen que ninguna prueba llegó siquiera a mirarlas. Las optimizaciones del motor también pueden saltarse reglas enteras, así que el informe se lee como una pista de dónde mirar, no como una medida exacta. Aquí tienes ese informe resumido por regla.

El autor propone ajustar la prueba en rojo para que espere negar. Con la norma, la lista de casos y la corrida delante, decide.