Auditoría, calidad y fiabilidad informáticas

Agradecimientos a los colaboradores del repositorio:

• Bogdan Gabriel Voicila
• Alejandro Leal Castaño
• José Eduardo Raimundo Fernando

Enlaces relevantes:

• Página web de la titulación
• Ficha docente de la asignatura

Organización del repositorio

• Contenidos teóricos/prácticos:
  • Tema 1 - Calidad del software
  • Tema 2 - Auditoría del software
  • Tema 3 - Fiabilidad informática
• Otros contenidos:
  • Trabajo final

Programa de la asignatura

• Calidad Informática: factores de calidad, métricas de calidad, estándares de calidad.
• Auditoría informática: proceso de auditoría, análisis y gestión de riesgos, estándares y directrices de auditoría.
• Especificación y verificación. Modelización de sistemas.
• Fiabilidad de sistemas: seguridad y viveza. Algoritmos de model-checking. Herramientas de model-checking. Model checking simbólico.
• Testing. Cobertura de pruebas. Técnicas automáticas de generación de casos de test. Herramientas de testing.