Verificación y Validación del Sistema

Verificación y Validación del Sistema

La prueba del software es un elemento de un tema más amplio que, a menudo, es conocido como verificación y validación (VSrV). La verificación se refiere al conjunto de actividades que aseguran que el software implementa correctamente una función específica. La validación se refiere a un conjunto diferente de actividades que aseguran que el software construido se ajusta a los requisitos del cliente.

Verificación: ¿Estamos construyendo el producto correctamente?
Validación: ¿Estamos construyendo el producto correcto?

La definición de V&V comprende muchas de las actividades a las que nos hemos referido como garantía de calidad del software (SQA*).
La verificación y la validación abarcan una amplia lista de actividades SQA que incluye: revisiones técnicas formales, auditorías de calidad y de configuración, monitorización de rendimientos, simulación, estudios de factibilidad, revisión de la documentación, revisión de la base de datos, análisis algorítmico, pruebas de desarrollo, pruebas de validación y pruebas de instalación [WAL89]. A pesar de que las actividades de prueba tienen un papel muy importante en V&V, muchas otras actividades son también necesarias.

Las pruebas constituyen el último bastión desde el que se puede evaluar la calidad y, de forma más pragmática, descubrir los errores. Pero las pruebas no deben ser vistas como una red de seguridad. Como se suele decir: No se puede probar la calidad. Si no está ahí antes de comenzar la prueba, no estará cuando se termine.
La calidad se incorpora en el software durante el proceso de ingeniería del software. La aplicación adecuada de los métodos y de las herramientas, las revisiones técnicas formales efectivas y una sólida gestión y medición, conducen a la calidad, que se confirma durante las pruebas.
Se relaciona la prueba del software con la garantía de calidad al establecer que «la motivación subyacente de la prueba de programas es confirmar la calidad del software con métodos que se pueden aplicar de forma económica y efectiva, tanto a grandes como a pequeños sistemas.

Emilio Magaña