Universidad
de
Cádiz
Programas Docentes de Asignaturas
Programas Docentes de Asignaturas
Programa docente (2025-26) |
<21714042 | VERIFICACIÓN Y VALIDACIÓN DEL SOFTWARE>
Asignatura:
21714042 | VERIFICACIÓN Y VALIDACIÓN DEL SOFTWARE
Titulación:
1725 | GRADO EN INGENIERÍA INFORMÁTICA
Centro:
17 | ESCUELA SUPERIOR DE INGENIERÍA
Departamento:
C137 | INGENIERIA INFORMATICA
Área:
570 | LENGUAJES Y SISTEMAS INFORMATICOS
Compartidas:
21714042 (P) - Mat.[11 [nuevos: 11 | repetidores: 0)]
Tipo estudio:
GRADO
Ofertada:
SÍ
Vigencia:
VIGENTE
Créd. Teoría:
2,50
Créd. Prácticas:
5,00
Créd. ECTS:
6,00
Tipo asignatura:
OPTATIVA
Módulo:
MODULO IIIC - TECNOLOGÍA ESPECÍFICA INGENIERÍA DEL SOFTWARE
Materia:
MATERIA IIIC.1 DESARROLLO DE SOFTWARE
Matriculados 2024-25:
11
Matriculados 2025-26:
18
Duración:
SEGUNDO SEMESTRE
Curso:
3, 4
Idioma:
CASTELLANO
Mostrar información
REQ. Y RECOM.
PROFESORADO
IDIOMAS
MOVILIDAD
RESULTADOS FORM./APREN.
RES. DE APRENDIZAJE
ACT. Y MET. DOC.
SIST. DE EVALUACIÓN
TEMARIO
BIBLIOGRAFÍA
COMENTARIOS
Requisitos y recomendaciones
Requisitos previos
Recomendaciones
Profesorado
Primer apellido
Segundo apellido
Nombre
Categoría/Empresa
Coordinación
CASTRO
CABRERA
M CARMEN
PROFESOR TITULAR ESCUELA UNIVERSITARIA
DOMÍNGUEZ
JIMÉNEZ
JUAN JOSÉ
PROFESOR TITULAR UNIVERSIDAD
MEDINA
BULO
MARIA INMACULADA
CATEDRÁTICO/A DE UNIVERSIDAD
PALOMO
LOZANO
FRANCISCO
PROFESOR TITULAR DE ESCUELA UNIV.
Idiomas
Oferta en lengua extranjera
Idioma
Seleccione una opción
Inglés
Francés
Italiano
Alemán
Ruso
Árabe
Griego
Modo de impartición
Seleccione una opción
A impartir sólo en ese idioma según memoria (exclusividad).
A impartir en grupo dedicado a ese idioma.
A impartir en grupo mixto (un mismo grupo con ambos idiomas).
Nivel requerido
Seleccione una opción
A1
A2
B1
B2
C1
C2
Movilidad
Movilidad nacional (SICUE)
Presencialidad
Seleccione una opción
Presencial
Combinada
Virtual
Movilidad internacional
Presencialidad
Seleccione una opción
Presencial
Combinada
Virtual
Estudiante visitante nacional
Número de plazas
Presencialidad
Seleccione una opción
Presencial
Combinada
Virtual
Resultados del proceso de formación y aprendizaje
Resultado formación y aprendizaje
Competencia
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.
GENERAL
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.
ESPECÍFICA
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
ESPECÍFICA
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
GENERAL
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
GENERAL
Que los estudiantes hayan desarrollado aquellas habilidades de aprendizaje necesarias para emprender estudios posteriores con un alto grado de autonomía
GENERAL
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
TRANSVERSAL
Resultados de aprendizaje
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.
Actividades y metodologías docentes
Horas totales de actividades de docencia presencial
60,00
Horas totales de otras actividades
90,00
Horas totales de la asignatura
150,00
Código
Descripción
Horas
Detalle
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.
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.
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
Actividades formativas no presenciales
86
Estudio de la asignatura
Realización de problemas, ejercicios y trabajos de la asignatura
12
Actividades de evaluación
4
Sistema de evaluación
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
Criterios de evaluación
Temario
ID/Orden
Tema
Descripción
1
Unidad 1. Introducción
1.1 Relación entre verificación y validación (V&V) y calidad del software
1.2 Definiciones de V&V
1.3 Proceso de verificación y validación del software
1.4 Técnicas de V&V del software
1.5 Estándares relacionados
2
Unidad 2. Técnicas estáticas y dinámicas de verificación y validación
2.1 Definiciones
2.2 Clasificación de las técnicas de V&V
2.3 El proceso de depuración
2.4 Revisiones de software
2.5 Técnicas básicas
3
Unidad 3 Prueba de software
3.1 Introducción
3.2 Niveles de prueba
3.3 Selección y generación de casos de prueba
3.4 Prueba de mutaciones
4
Unidad 4. Verificación formal de software
4.1 Verificación formal en ACL2
4.2 Tipos comunes de datos
4.3 Listas ordenadas
4.4 Verificación formal de la ordenación por inserción
4.5 Verificación formal de la ordenación por fusión
4.6 Paralelismo
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
Bibliografía
Bibliografía
Comentarios
Comentarios/Observaciones adicionales
Volver
×
Cargando...
Realizando operación...
Esto puede tardar unos minutos. Por favor, espere hasta que termine.
