En este sitio se presentan los datos y material para el curso de Verificación y Validación de Software impartido en la Licenciatura en Ciencias de la Computación del Departamento de Matemáticas de la Universidad de Sonora.
El alumno será capaz de aplicar los conocimientos adquiridos a lo largo de su formación académica, en las ciencias computacionales y en particular el área de Ingeniería del Software, en un proyecto de desarrollo de software para un cliente real, en donde el alumno seleccione, y adapte, junto con sus compañeros, las técnicas y métodos del aseguramiento de calidad que serán aplicados en cada una de las fases del proyecto para entregar un producto que satisfaga los requisitos funcionales de desempeño especificados por el cliente.
Comprender la necesidad de verificar y validar el software.
Analizar los criterios de calidad que se evalúan en el software y el proceso.
Analizar y evaluar distintas técnicas de verificación y validación del software.
Establecer un enfoque sistemático para la pllaneación de pruebas de software.
Discutir aspectos de lógica, álgebra y complejidad computacional y sus aplicaciones a la verificación de programas computacionales.
Establecer y aplicar los lineamientos de asegurameinto de la calidad a cada uno de los productos generados durante el proceso de desarrollo del software.
Aplicar las técnicas más adecuadas al proyecto para la construcción técnica de cada uno de los artefactos generados de acuerdo al proceso de desarrollo de software seleccionado.
Verificar y validar la calidad del producto entregado al cliente.
Organizar y distribuir las tareas entre los integrantes del equipo de desarrolladores.
Establecer criterios específicos para evaluar el avance del proyecto y favorecer la comunicación y coordinación entre todos los miembros del equipo.
Introducción a la Verificación y Validación. Se estudia el rol de la verificación y validación dentro del área del aseguramiento de la calidad del software.
Revisiones de software. Se analizan las tecnicas de verificación del software que se pueden aplicar en un proceso de desarrollo, y el papel de éstas en el aseguramiento de la concordancia del software con las especificaciones, estándares y procesos seguidos durante un proyecto de desarrollo de software.
Pruebas del Software. Se aborda el proceso de pruebas del software con el fin de entender los distintos niveles de pruebas y la relación de estas con las distintas actividades del proceso de desarrollo. Se estudan también algunas de las principales técnicas de pruebas aplicables a los sistemas de software.
Métricas, Mediciones y Mejora de Procesos. Se estudia el rol de las mediciones en procesos y productos de software, en los planes de mejora de procesos y en la evaluación de la efectividad de las iniciativas de aseguramiento de la calidad de los mismos.
IEEE Standards:
IEEE 1008-1987, IEEE Standard for Software Unit Testing
IEEE 1012-2004, IEEE Standard for Software Verification and Validation
IEEE 1028-1997, IEEE standard for software reviews
IEEE 1044-1993, IEEE standard classification for software anomalies
IEEE 829-1998, IEEE Standard for Software Test Documentatio
Somerville, Ian, 2005, Ingeniería del Software, 7a Edición, Addison Wesley.
Pressman, Roger S., 2007, Ingeniería del Software: un enfoque práctico, 6a Edición, McGraw Hill.
Piattini, Mario G.; García, Felix O.; Caballero, Ismael, 2007, Calidad de Sistemas Informáticos, Alfaomega/Ra-Ma.
Piattini Velthuis, Mario G.; García Rubio, Félix Óscar; Garzás Parra, Javier; Genero Bocco, Marcela Fabiana, 2008, Medición y estimación del software: Técnicas y métodos para mejorar la calidad y la producción, Alfaomega/Ra-Ma.