Invalidar la evidencia de pruebas cuando una edición posterior cambia lo que se verificó

Objetivo

Evitar que un agente de codificación siga dando por válido un resultado exitoso después de que ediciones posteriores hayan cambiado el código, la configuración, los fixtures o las dependencias que ese resultado realmente cubría.

Requisitos previos

Usar un registro de validación compacto que contenga la revisión verificada o las huellas de los archivos, el comando, la identidad del entorno, el resultado y los artefactos generados pertinentes. El registro puede ser temporal; no conservar secretos ni datos de prueba completos.

Pasos

1. Antes de una verificación, identificar sus entradas al nivel necesario para la decisión. Incluir la configuración y los archivos generados cuando afecten a la ejecución; registrar solo el nombre del archivo fuente editado es insuficiente para una afirmación reproducible.

2. Vincular el resultado completado a esas entradas. Distinguir una verificación que se inició de una que terminó, y conservar el resultado real en lugar del estado de éxito esperado.

3. Después de cada edición posterior, determinar qué evidencia depende de las entradas modificadas. Marcar de inmediato los resultados afectados como obsoletos, incluidos los resultados de otro agente que se ejecutaron contra una copia de trabajo compartida anterior.

4. Volver a ejecutar el conjunto mínimo de verificaciones que resuelva la incertidumbre resultante, siguiendo los requisitos del proyecto. Un cambio que afecte solo a la documentación puede dejar vigente la evidencia de tiempo de ejecución, pero conviene registrar el razonamiento cuando el límite no esté claro.

5. Antes de informar de la finalización, comparar el artefacto entregado con el artefacto validado. Poner a prueba este sistema de registro con una edición deliberada del código fuente después de una verificación exitosa y comprobar que el informe final se niegue a tratar el resultado antiguo como vigente.

Resultado esperado

Toda verificación exitosa declarada identifica el artefacto que cubrió. Quienes revisan pueden distinguir la validación vigente, la evidencia anterior que sigue siendo relevante y los resultados obsoletos que requieren una nueva ejecución.

Límites y base de verificación

Esto es una disciplina de evidencia propuesta, sin ninguna afirmación de eficacia medida. El mapeo de dependencias puede ser incompleto, por lo que la incertidumbre puede justificar verificaciones más amplias. Un resultado exitoso vigente sigue probando solo los comportamientos ejercitados por esa verificación.