Validación previa y pruebas de política

Las comprobaciones van de las más baratas a las más costosas, y cada una detiene el cambio si falla. Primero la sintaxis (¿se entiende?), luego el análisis estático (¿tiene vicios conocidos como reglas sombreadas, orígenes abiertos o reglas sin descripción?), luego las pruebas de política (¿hace lo que se espera en cada caso?) y por último un despliegue gradual en un equipo o sitio de ensayo antes de llegar a todos.

Una prueba de política es una pregunta con respuesta conocida: «¿puede este origen llegar a este destino por este puerto?». El equipo escribe lo que espera, la simulación dice lo que obtuvo y toda diferencia es un hallazgo. Las que más duelen son las que esperaban denegar y obtuvieron permitir.

Compara casos_de_prueba con resultado_de_pruebas.

Los conjuntos de reglas se evalúan en orden. Una regla que viene después de otra que ya decide todo lo que ella decidiría está sombreada: existe, parece útil y nunca se aplica. El análisis estático la detecta porque no necesita tráfico, solo comparar las reglas entre sí.

Lee analisis_estatico junto con el orden de reglas_propuestas.

Una regla que ningún caso de prueba cubre puede estar mal y nadie lo sabría. No hace falta una prueba por cada línea, pero sí por cada regla que abre algo, y una prueba negativa por cada frontera importante.

Consulta cobertura.

Un caso pasa cuando lo obtenido coincide con lo esperado. El porcentaje de casos que pasan no es la medida más importante, porque un solo fallo grave puede detener el cambio; pero contarlos es el primer resumen para el informe de revisión.

Cuenta los casos cuyo resultado coincide con lo esperado.