Conjunto de actividades orientadas a la revisión de los requerimientos de un proyecto (y en general a cualquier documentación que sirva de entrada a las etapas posteriores del ciclo de vida del software), y la posterior verificación del cumplimiento de un conjunto de características que permitan asegurar su: consistencia, completitud, no ambigüedad, correctitud, obligatoriedad y trazabilidad.