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.
(*) 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
Asignaturas
