Esta asignatura busca dominar las alternativas actuales de la ingeniería de software para la validación y verificación del software, mediante:
- el conocimiento de técnicas y herramientas de validación de software funcionales y no funcionales a todos los niveles (unidad, integración, sistema);
- el conocimiento de técnicas y herramientas de razonamiento automático; y
- el conocimiento de técnicas y herramientas de verificación formal.
Plan de contingencia
1. No se realizarán modificaciones en los contenidos
2. No se realizarán modificaciones en las metodologías docentes.
3. Los mecanismos de atención personalizada al alumnado serán telemáticos.
4. No se realizarán modificaciones en la evaluación
5. No se realizarán modificaciones de la bibliografía o webgrafía
(*) La Guía Docente es el documento donde se visualiza la propuesta académica de la UDC. Este documento es público y no se puede modificar, salvo cosas excepcionales bajo la revisión del órgano competente de acuerdo a la normativa vigente que establece el proceso de elaboración de guías