Los objetivos de las actividades de verificación y validación son valorar y mejorar la calidad de los productos del trabajo generados durante el desarrollo y modificación del software.
Los atributos de la calidad deben ser la corrección, la perfección, la consistencia, la confiabilidad, la utilidad, la eficacia, el apego a los estándares y la eficacia de los costos totales.
Hay dos tipos de verificación: formal y del ciclo de vida. Esta última consiste en el proceso de determinar el grado de los productos de trabajo de una fase dada del ciclo de desarrollo cumplen con las especificaciones establecidas durante las fases previas. La verificación formal es una rigurosa demostración matemática de la concordancia del código fuente con sus especificaciones.
La validación es la evaluación del software al final del proceso de desarrollo del software para determinar su conformidad con los requisitos IEEE.
La verificación y validación implican la valoración de los productos de trabajo para determinar el apego a las especificaciones, incluyen las especificaciones de requisitos, la documentación del diseño, diversos principios generales de estilo, estándares del lenguaje de instrumentación, estándares del proyecto, estándares organizacionales y expectativas del usuario, al igual que las meta especificaciones para los formatos y notaciones utilizadas en la especificación de productos diversos.
¿Qué es verificación?
La verificación se enfoca más al proceso de evaluación del sistema o componentes ya que permite determinar si los productos de una determinada fase del desarrollo satisfacen las condiciones impuestas en el inicio de la etapa.
¿Qué se debe tener en la verificación?
- Consistencia: vigilar que la información sea coherente.
- Precisión: corrección de la sintaxis.
- Completitud: lagunas en capacidad deductiva.
Lo que se hace en la verificación:
- Identifica desviaciones con estándares y requerimientos.
- Recolecta datos para mejorar el proceso.
- Verifica que el producto:
– Cumpla con los requerimientos.
– Cumplalos atributos de calidad.
– Se ajuste a las regulaciones, estándares y procedimientos definidos.
¿Qué es validación?
La validación también es una evaluación del sistema o de componentes, solo que es en el transcurso o al final del proceso del desarrollo, donde se determina si cumple con lo especificado.
Aspectos en la validación:
- Construir el sistema correcto.
- Evaluar la conformidad con la especificación de requisitos.
Métodos formales de verificación
Entre los métodos de verificación más utilizados, se encuentran:
- Aserciones E/S: El programa, en lógica de Hoare, se especifica mediante aserciones que relacionan las entradas y salidas del programa. Se garantiza que si la entrada actual satisface las restricciones de entrada (precondiciones) la salida satisface las restricciones de salida (poscondiciones).
- Precondición más débil: Consiste en dada una poscondición POST, encontrar, operando hacia atrás, un programa S tal que la precondición se satisfaga en un amplio conjunto de situaciones.
- Inducción estructural: La inducción estructural es una técnica de verificación formal que se basa en el principio de inducción matemática.
