Verificacin y Validacin: La Verificacin busca controlar y comprobar que el software cumple con los requerimientos, as como el correcto funcionamiento

del mismo en la forma en que elabora las funcionalidades y en los resultados que presenta. En pocas palabras se define como: Estamos construyendo el producto correctamente?. Por otro lado, la Validacin define si el software satisface las expectativas del cliente, no se preocupa del cmo si no del qu se est haciendo como producto. Se define como: Estamos construyendo el producto correcto?. Dentro de la V&V se encuentran dos tcnicas complementarias: Inspecciones de Software: Tcnica esttica donde se verifica la correspondencia entre las especificaciones y el producto. Pruebas del Software: Tcnica dinmica donde se realizan casos de pruebas a partir de la definicin de unas entradas para el sistema, lo cual busca verificar y validar que los resultados estn acordes con lo esperado o lo deseado. Son la principal tcnica dentro de la V&V. Existen diferentes tipos de prueba: Prueba de Unidad, donde slo se abarca un mdulo; Prueba de Integracin, donde se revisa la interfaz y la comunicacin entre mdulos; Prueba de Validacin y Prueba del Sistema que abarca el producto software con el hardware, las personas, informacin, etc. Los procesos de validacin y verificacin se inician con revisiones de requerimientos, luego se realizan revisiones del diseo e inspecciones de cdigo hasta llegar a la prueba del producto. Sin embargo, para las Pymes es muy difcil debido a los pocos recursos humanos y materiales con los que cuentan. Actualmente, empresas como IBM presentan servicios y productos de V&V para las Pymes como: GBS Testing Factory y Rational Quality Manager. Otros estudios para los procesos de verificacin y validacin en Pymes, especficamente para el proceso de pruebas, proponen preparar a la organizacin para el testeo unitario por programadores y asignar as sea un mnimo de personal dedicado exclusivamente al testeo. La V&V se hace tambin en Pymes no necesariamente desarrolladoras de software, como laboratorios clnicos y la industria alimentaria, sin embargo en ellos an no se define prcticas uniformes de V&V. En sistemas crticos se utilizan tcnicas como SFMEA, SFTA y SoftCare donde se pone nfasis en los fallos potencialmente riesgosos analizando sus posibles causas y apoyndose en documentacin histrica de incidentes y sistemas similares. Para la V&V existen diferentes estndares y modelos adaptados por las empresas: -El estndar IEEE STD. 1012-2004 define un marco actividades en V&V y en qu etapa se deben realizar a partir del nivel de integridad que establece la criticidad del software con el objetivo de generar el Plan de Verificacin y Validacin (SVVP). - El Estndar IEEE STD. 829-2008 es la base para la elaboracin de la documentacin de pruebas durante la V&V. El Estndar ISO/IEC 29119 pretende definir un estndar internacional para pruebas en todo el ciclo de vida. -El Modelo TPI (Test Process Improvement) est basado en las mejores prcticas de la industria relativas a la mejora del proceso de pruebas utilizando una matriz de madurez que evala aspectos claves como

utilizacin de herramientas, tcnicas de diseo de pruebas, etc. determinando el nivel de madurez y la priorizacin de aspectos que deben mejorarse en las pruebas. -El Modelo TMM tiene definido 5 niveles de madurez para determinar que tan eficiente y adecuada es una prueba software, as mismo para identificar las mejoras para lograr niveles superiores.