Máster Universitario en Software y Sistemas

Verificación y Validación de Software

Profesor (Coordinador):
Sira Vegas
svegas@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

Programa

  1. Introducción
    1. Introducción a V&V
    2. V&V y el proceso de desarrollo de software
    3. V&V y los productos de desarrollo de software
  2. Evaluación Dinámica: Pruebas de Software
    1. Introducción a las pruebas de software
    2. Niveles de prueba de software
    3. El proceso de pruebas
    4. Plan de verificación y validación de software
    5. Herramientas de prueba de software

Bibliografía

Prerrequisitos

Método de Evaluación

La nota de los alumnos se calcula basándose en su rendimiento en las distintas tareas que le han sido asignadas:

Asimismo, se tendrá en cuenta para la calificación de la asignatura la participación y la actitud del alumno durante las clases y con respecto a la asignatura (10%).

Idioma en que se imparte

Inglés

Competencias Específicas

Más información:

Esta tabla muestra el código, la descripción y el nivel de cada una de las competencias específicas de la asignatura

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

Más información:

Esta tabla muestra cada el código, la descripción, las competencias asociadas y el nivel de adquisición de cada uno de los resultados de aprendizaje de la asignatura

Código Resultado de Aprendizaje Competencias asociadas Nivel de Adquisición
RA-AV-6 Aplicar efectivamente las técnicas de verificación y validación de software CEM1,CEM5 A
RA-AV-7 Seleccionar la técnica de verificación/validación de software más adecuada para un proyecto determinado CEM1,CEM4,CEM5 P


Guía de Aprendizaje

Guía de aprendizaje de la asignatura: Verificación y Validación de Software