¿Qué error no se puede detectar durante la verificación?

No es posible detectar un error que se manifieste en condiciones o escenarios que no están presentes en el entorno de prueba o en los conjuntos de datos de prueba utilizados para la verificación. Por ejemplo, un error que solo ocurre bajo una carga muy alta, en una configuración de hardware específica, en un estado externo particular o en una combinación única de acciones del usuario, que no fue previsto al desarrollar los casos de prueba.

Otra categoría son los errores relacionados con requisitos no funcionales, que son difíciles o imposibles de verificar solo mediante la verificación por especificación y casos de prueba:

• Rendimiento: Fallos bajo carga máxima, tiempos de respuesta largos.
• Confiabilidad: Fallos aleatorios e irreproducibles en el funcionamiento durante un uso prolongado.
• Usabilidad: Interfaz no intuitiva, dificultad para realizar tareas, que no cumplen con las expectativas del usuario.
• Seguridad: Vulnerabilidades a inyecciones, fuga de datos en condiciones específicas.