Grao en Enxeñaría Informática |
Asignaturas |
Validación y Verificación del Software |
Contenidos |
|
|
|
Datos Identificativos | 2019/20 | |||||||||||||
Asignatura | Validación y Verificación del Software | Código | 614G01053 | |||||||||||
Titulación |
|
|||||||||||||
Descriptores | Ciclo | Periodo | Curso | Tipo | Créditos | |||||||||
Grado | 1º cuatrimestre |
Cuarto | Optativa | 6 | ||||||||||
|
Tema | Subtema |
Bloque I: Validación de software |
I.1 Especificación, diseño y ejecución de pruebas I1.1. Niveles y tipos de pruebas I1.2. Propiedades y trazabilidad de requisitos I1.3. Automatización I.2 Gestión de pruebas: planificación, evaluación, métricas y revisiones |
Bloque II: Métodos formales y razonamiento automático |
II.1 Introducción: Deducción natural y cálculo de secuentes II.2 Prueba automática utilizando PVS II.3 ¿Qué és y para que se utiliza un probador de teoremas? II.4 Lenguaje de especificación de PVS: Tipos, expresiones, teorías, subtipado II.5 Probador PVS: tácticas, recursión, razonamiento ecuacional |
Bloque III: Comprobación por modelos (model checking) | III.1 Introducción a las lógicas modales temporales III.2 Especificación de propiedades: deadlocks, safety, liveness, fairness III.3 Funcionamiento de un comprobador por modelos III.4 Introducción al manejo de una herramienta de model checking |
|