Evaluamos los requisitos de software identificando inconsistencia y ambigüedades, la calidad del código fuente de las aplicaciones y buenas prácticas, permitiendo la detección y corrección de defectos de forma más eficiente y antes de la ejecución de la prueba dinámica.