Programa Docente de 21714042 - VERIFICACIÓN Y VALIDACIÓN DEL SOFTWARE
- Idioma
- Modo Impartición
- Nivel Requerido
| Documento | Primer Apellido | Segundo Apellido | Nombre | Categoria | Coordinador |
|---|---|---|---|---|---|
| 52573777D | CASTRO | CABRERA | Mª CARMEN | PROFESOR TITULAR ESCUELA UNIVERSITARIA | |
| 31266075J | DOMÍNGUEZ | JIMÉNEZ | JUAN JOSÉ | PROFESOR TITULAR UNIVERSIDAD | |
| 31856505X | MEDINA | BULO | MARIA INMACULADA | CATEDRÁTICO/A DE UNIVERSIDAD | |
| 31673026 | PALOMO | LOZANO | FRANCISCO | PROFESOR TITULAR DE ESCUELA UNIV. |
| Id. Compentencia | Orden | ID | Resultado formación y aprendizaje | Competencia |
|---|---|---|---|---|
| 29106 | 2 | CG05 | Capacidad para concebir, desarrollar y mantener sistemas, servicios y aplicaciones informáticas empleando los métodos de la ingeniería del software como instrumento para el aseguramiento de su calidad, de acuerdo con los conocimientos adquiridos según lo establecido en el apartado 5 de este anexo. | COMPETENCIA GENERAL |
| 29109 | 3 | IS01 | Capacidad para desarrollar, mantener y evaluar servicios y sistemas software que satisfagan todos los requisitos del usuario y se comporten de forma fiable y eficiente, sean asequibles de desarrollar y mantener y cumplan normas de calidad, aplicando las teorías, principios, métodos y prácticas de la Ingeniería del Software. | COMPETENCIA ESPECÍFICA |
| 29110 | 3 | IS04 | Capacidad de identificar y analizar problemas y diseñar, desarrollar, implementar, verificar y documentar soluciones software sobre la base de un conocimiento adecuado de las teorías, modelos y técnicas actuales | COMPETENCIA ESPECÍFICA |
| 33176 | 2 | CB2 | Que los estudiantes sepan aplicar sus conocimientos a su trabajo o vocación de una forma profesional y posean las competencias que suelen demostrarse por medio de la elaboración y defensa de argumentos y la resolución de problemas dentro de su área de estudio | COMPETENCIA GENERAL |
| 33177 | 2 | CB3 | Que los estudiantes tengan la capacidad de reunir e interpretar datos relevantes (normalmente dentro de su área de estudio) para emitir juicios que incluyan una reflexión sobre temas relevantes de índole social, científica o ética | COMPETENCIA GENERAL |
| 33179 | 2 | CB5 | Que los estudiantes hayan desarrollado aquellas habilidades de aprendizaje necesarias para emprender estudios posteriores con un alto grado de autonomía | COMPETENCIA GENERAL |
| 33180 | 4 | CT1 | Trabajo en equipo: capacidad de asumir las labores asignadas dentro de un equipo, así como de integrarse en él y trabajar de forma eficiente con el resto de sus integrantes | COMPETENCIA TRANSVERSAL |
| ID/ Orden | Resultado |
|---|---|
| 1 |
Conocer la importancia de la verificación y validación del software y las diferencias entre ellas. |
| 2 |
Conocer los conceptos fundamentales de la verificación del software |
| 3 |
Conocer los conceptos fundamentales de la prueba del software. |
| 4 |
Conocer y utilizar diversos tipos de herramientas para la prueba de software |
| 5 |
Conocer distintos tipos de técnicas de prueba y su ámbito de aplicación |
| 6 |
Conocer los distintos criterios que se pueden utilizar para la generación de casos de prueba. |
| Tipo actividad formativa | Código | Descripción | Horas | Detalle |
|---|---|---|---|---|
| 1 | 01 | Teoría | 20 |
El profesor expondrá el contenido del temario de teoría de la asignatura apoyándose en la utilización de presentaciones de los distintos temas que lo componen. Se fomentará la participación de los alumnos proponiendo ejercicios relacionados con el temario a realizar individualmente o en grupos de tamaño reducido. |
| 2 | 02 | Prácticas, seminarios y problemas | 10 |
El profesor expondrá el enunciado del trabajo a realizar por los alumnos. Los alumnos elaborarán un informe sobre el trabajo realizado y se podrán realizar presentaciones. |
| 3 | 03 | Prácticas de informática | 30 |
Se utilizarán herramientas software adecuadas, tanto para las prácticas de verificación formal como para cada uno de los tipos de pruebas estudiados. En las prácticas se realizará y entregará un trabajo que puede ser en grupo. Se podrán realizar presentaciones. |
| 10 | 10 | Actividades formativas no presenciales | 86,00 |
Estudio de la asignatura |
| 12 | 12 | Actividades de evaluación | 4,00 |
Procedimientos de Evaluación
| ID/ Orden | Tarea / Actividad | Medios, Técnicas e Instrumentos | Ponderación |
|---|---|---|---|
| 1 |
Exámenes de Teoría |
Se realizarán a lo largo del curso exámenes de los temas de teoría. |
60 % |
| 2 |
Informes de prácticas |
Se proporcionará a los estudiantes un guión de la práctica a realizar. Los estudiantes deberán entregar una memoria sobre la práctica realizada. |
30 % |
| 3 |
Actividades de Teoría y Seminarios. |
En las clases de teoría se propondrán actividades a realizar. En las clases de seminarios los estudiantes buscarán información sobre distintos tipos de herramientas y realizarán y presentarán un informe sobre ellas. |
10 % |
| ID/ Orden | Temario | Descripción |
|---|---|---|
| 1 |
Unidad 1. Introducción 1.1 Relación entre verificación y validación (V&V) y calidad del software |
|
| 2 |
Unidad 2. Técnicas estáticas y dinámicas de verificación y validación 2.1 Definiciones |
|
| 3 |
Unidad 3 Prueba de software 3.1 Introducción |
|
| 4 |
Unidad 4. Verificación formal de software 4.1 Verificación formal en ACL2 |
|
| 5 |
Práctica 1: Pruebas unitarias / Lab 1: Unit Testing |
|
| 7 |
Práctica 2. Prueba de mutaciones / Lab 3: Mutation Testing |
|
| 8 |
Práctica 3. Verificación formal / Lab 3: Formal Verification |
|
| 9 |
Seminario 1. Herramientas de análisis estático para C/C++ y Java / Seminar 1: Static analysis tools for C/C++ and Java |
|
| 10 |
Seminario 2. Herramientas de análisis dinámico para C/C++ y Java / Seminar 2: Dynamic analysis tools for C/C++ and Java |
|
| 11 |
Seminario 3. Herramientas de pruebas unitarias para C/C++ y Java / Seminar 3: Unit testing tools for C/C++ and Java |