Un conjunto definido de comprobaciones procedimentales y casos de prueba que verifican si un componente o sistema de carga se ajusta a los requisitos de interoperabilidad y especificaciones técnicas especificadas, a nivel requisito‑a‑prueba.

Principio

Establecer pruebas deterministas y repetibles mapeadas directamente a requisitos formales para que cada requisito pueda demostrarse como cumplido, fallido o no aplicable con evidencia trazable.

Demostración

Ejecutar una suite de pruebas trazable a requisitos que verifique codificaciones de mensajes, presencia de campos obligatorios, manejo de sumas de verificación y transiciones de máquinas de estado finitas para un apretón de manos ISO 15118; registrar artefactos de prueba y vincular cada resultado al requisito de origen.

Aplicación incorrecta

Confundir verificación con validación centrándose sólo en comprobaciones de requisitos aisladas sin considerar el comportamiento integrado, u omitir pruebas negativas y verificación de rutas de error.

Consecuencia

Proporciona prueba técnica y auditables de que se cumplen los requisitos de interoperabilidad especificados y permite pruebas de regresión cuando cambian los requisitos o implementaciones.

Inversión

Si la verificación se convierte en comprobaciones informales, se pierde la trazabilidad y los desarrolladores no pueden determinar de forma fiable qué requisitos fallaron ni por qué.

Límite

Se ocupa de la conformidad con requisitos escritos, formatos de mensajes y máquinas de estado; no confirma por sí sola el comportamiento a nivel de usuario en redes heterogéneas salvo que vaya acompañada de pruebas por escenarios.

Tensión semántica

Existe tensión con la validación: la verificación es centrada en requisitos y determinista, la validación centrada en escenarios y partes interesadas; ambas son etapas complementarias en aseguramiento de calidad.

Síntesis

Un protocolo de verificación es la colección de pruebas deterministas vinculadas a requisitos y la cartografía de resultados que prueba que cada requisito de interoperabilidad se cumple o identifica fallos precisos a remediar.