La actividad de validacin tiene como entrada el documento
de requisitos, los estndares relacionados y el conocimiento de la organizacin, y como salida se obtiene una lista de problemas y una lista de acciones recomendadas.
La validacin se realiza a travs de diversos mtodos. Los tres mtodos ms habituales son: Revisin de requisitos. Las revisiones de requisitos consisten en reuniones donde un equipo de analistas intenta localizar errores en el documento de especificacin. Prototipado. El mtodo del prototipado consiste en construir una maqueta del fututo sistema software a partir de los requisitos recogidos en la especificacin. Esta maqueta ser evaluada por el cliente y usuarios para comprobar su correccin y completitud. Generacin de casos de prueba (test de requisitos). Este mtodo tiene como objetivo comprobar la verificabilidad de los requisitos. Consiste en la definicin de casos de prueba que permitan verificar el cumplimiento de los requisitos funcionales. Creacin de manuales de usuario: Este mtodo consiste en verificar si la especificacin de requisitos contiene el suficiente detalle como para preparar el manual de usuario del sistema. De no ser as, podra ocurrir que la especificacin fuera incompleta. Animacin y validacin de modelos o especificaciones formales. Este mtodo slo puede emplearse cuando los requisitos se han utilizado modelos durante el anlisis o mtodos de especificacin formal durante la documentacin. Consiste en la animacin tanto de modelos como de especificaciones formales, con el objetivo de verificar que el funcionamiento del sistema, tal y como est especificado, es el deseado por cliente y usuarios. Asimismo algunos modelos y todos los tipos de especificaciones formales admiten la posibilidad de validacin de los requisitos mediante demostraciones formales