HeadlinesBriefing favicon HeadlinesBriefing.com

Automatización de Pruebas por Especificaciones: Verificación Independiente

Towards Data Science •
×

Los agentes de codificación de IA modernos pueden implementar especificaciones y producir suites de pruebas que pasan en el mismo flujo de trabajo, pero esto crea un fallo crítico: las pruebas no pueden estar en desacuerdo con la implementación cuando ambas provienen de la misma interpretación ambigua. Esto viola el principio fundamental de Verificación y Validación (V&V) de que el constructor no debe ser el verificador. Basándose en la experiencia en los programas Super Cruise y Ultra Cruise de General Motors, el autor enfatiza que la verificación independiente es esencial para detectar ambigüedades en las especificaciones.

Por ejemplo, una especificación de radar que indica "gap must be a distance the forward radar can measure, up to its rated range of 250m" deja preguntas críticas sin responder: ¿dónde comienza la medición? ¿Puede medir 0m? Sin revisión independiente, los desarrolladores resuelven tales ambigüedades unilateralmente, lo que lleva a pruebas autorreferenciales. La verdadera verificación requiere una interpretación separada: un ingeniero implementa, otro verifica. Los desacuerdos revelan defectos reales en las especificaciones antes del despliegue.

Este principio, estándar en el desarrollo de productos tradicionales durante décadas, se reforzó durante trabajos contractuales con NASA calibrando sistemas de seguimiento de cabeza y ojo, donde el QA independiente validó las calibraciones del autor. El autor construyó un proyecto de Python de código abierto para automatizar esta separación, asegurando que las pruebas desafíen significativamente las implementaciones en lugar de simplemente confirmarlas.