Verificación de software

Por ello, hay dos enfoques principales en cuanto a la verificación La verificación dinámica es llevada a cabo durante la ejecución del software, y dinámicante comprueba su comportamiento; se conoce comúnmente como fase de testing.

El análisis incluye muestro, y correlación de datos medidos y tests observados con valores esperados para establecer la conformidad con los requisitos.

Cuando es definido más estrictamente, la verificación es equivalente solo al testing estático y está destinado a ser aplicado a artefactos.

Y, la validación (de todo el producto software) sería equivalente al testing dinámico y destinado a ser aplicado al producto software en ejecución (no sus artefactos, a excepción de los requisitos).

Se debe advertir que los requisitos de validación pueden comprobarse estática y dinámicamente (ver validación de artefactos).