Un conjunto formalizado de procedimientos que comprueba si un algoritmo de determinación de órbitas, su base de código y sus salidas cumplen los requisitos especificados, los documentos de diseño y las normas de implementación.

Principio

Confirmar mediante vectores de prueba, inspecciones de código, suites de regresión y entradas deterministas que la implementación se comporta como predice la especificación, independientemente de su representatividad en el mundo real.

Demostración

Ejecutar pruebas unitarias para los núcleos de propagación orbital, ejecutar software-in-the-loop con entradas fijas para verificar salidas repetibles, realizar revisiones de código por pares para la estabilidad numérica y comprobar que las salidas de la API se ajustan a los formatos de datos y unidades documentados.

Aplicación incorrecta

Usar únicamente la verificación para alegar idoneidad operacional; superar las pruebas de verificación no garantiza que el modelo capture sesgos reales o dinámicas no modeladas.

Consecuencia

Proporciona confianza en que la implementación coincide con su especificación, reduce fallos de software y permite pipelines reproducibles para posteriores actividades de validación o certificación.

Inversión

Si se invierte, se obtiene un sistema no especificado o implementado de forma inconsistente, cuyas salidas pueden variar con las mismas entradas y se pierde la trazabilidad a los requisitos.

Límite

Se centra en la conformidad: corrección del código, implementación numérica, interfaces y cobertura de pruebas. No demuestra por sí sola la idoneidad para la misión ni la fidelidad del modelo respecto a mediciones físicas.

Tensión semántica

La tensión proviene de la validación: la verificación pregunta '¿lo hemos construido bien?' mientras que la validación pregunta '¿hemos construido lo correcto?'; ambas son necesarias pero distintas.

Síntesis

Un Protocolo de Verificación asegura que el entregable de determinación de órbita implementa correctamente el diseño y las interfaces, formando la base fiable necesaria antes de una validación más amplia contra la realidad física.