Verificación y Validación de Software
- Profesor (Coordinador):
- Sira Vegas
- svegas@fi.upm.es
- Profesor:
- Natalia Juristo
- natalia@fi.upm.es
Semestre
Primer semestre
Créditos
4 ECTS
Resumen
Todos alguna vez hemos sufrido las consecuencias de un fallo en un sistema software. Estos fallos tienen su origen en la complejidad del software. Lo que provoca que la probabilidad de que persistan defectos en el software tras haberse finalizado su construcción sea alta.
¿Cómo puede garantizarse que el sistema software a construir va a funcionar correctamente? Lo que es más, ¿cómo puede garantizarse que dicho sistema va a satisfacer las necesidades del cliente?
Esta asignatura intenta dar respuesta a las preguntas planteadas anteriormente. Para ello, se centrará en uno de las actividades más importantes del desarrollo de software, la Verificación y Validación. Se cubrirán los aspectos básicos de dicha actividad.
Objetivos
- Conocer los conceptos básicos sobre Validación y Verificación
- Conocer cuáles son los productos y aspectos sobre los que se realiza la Validación y Verificación en el desarrollo de software
- Conocer el proceso de Validación y Verificación
- Saber aplicar las técnicas de evaluación estática y dinámica vistas en la asignatura
- Conocer los contenidos de un Plan de Verificación y Validación
Programa
- Introducción
- Introducción a V&V
- V&V y el proceso de desarrollo de software
- V&V y los productos de desarrollo de software
- Evaluación Dinámica: Pruebas de Software
- Introducción a las pruebas de software
- Niveles de prueba de software
- El proceso de pruebas
- Plan de verificación y validación de software
- Herramientas de prueba de software
Bibliografía
- B. Beizer: "Software Testing Techniques", 2ª Edición. 1990.
- G. J. Myers: "The Art of Software Testing", 2ª Edición. Wiley. 2004.
- P. C. Jorgensen: "Software Testing. A Craftsman’s Approach". CRC Press, 1995.
- C. Kaner, J. Falk, H. Q. Nguyen: "Testing Computer Software". Wiley, 1999.
- W. E. Perry: "Effective methods for software testing". 3ª edición. Wiley. 2006.
- S. L. Pfleeger: "Software Engineering: Theory and Practice". 4ª edición. Pearson. 2013.
- Estándares IEEE: [IEEE-1012, 1998], [IEEE-1008, 1987] [IEEE-829, 1998] [IEEE-1044, 1993] [IEEE-1044.1, 1995]
Prerrequisitos
- El alumno deberá poseer conocimientos básicos de programación en C y Java.
Idioma en que se imparte
Inglés
Aula
A-6305
Competencias Específicas
| Código | Competencia | Nivel |
|---|---|---|
| CEM1 | Identificar, a partir del estado de la cuestión, la presencia de problemas de investigación relacionados con la concepción, la construcción, el uso y la evaluación de sistemas sociotécnicos complejos que hagan un uso intensivo de software | A |
| CEM4 | Analizar y evaluar los diferentes paradigmas y enfoques de ingeniería de construcción y gestión de sistemas basados en software | P |
| CEM5 | Aportar soluciones a aquellos problemas abiertos relacionados con el ámbito de aplicación y los métodos, técnicas y herramientas de Verificación y Validación de Software | A |
Resultados de Aprendizaje
| Código | Resultado de Aprendizaje | Competencias asociadas | Nivel de Adquisición |
|---|---|---|---|
| RA-AV-41 | Aplicar efectivamente las técnicas de verificación y validación de software | CEM1, CEM5 | A |
| RA-AV-42 | Seleccionar la técnica de verificación/validación de software más adecuada para un proyecto determinado | CEM1, CEM4, CEM5 | P |