Esta materia busca dominar as alternativas actuais da enxeñaría de software para a validación e verificación do software, mediante o:
- coñecemento de técnicas e ferramentas de validación de software funcionais e non funcionais a todos os niveles (unidade, integración, sistema);
- coñecemento de técnicas e ferramentas de razonamiento automático; e
- coñecemento de técnicas e ferramentas de verificación formal.
Plan de continxencia
1. Non se realizarán modificacións nos contidos
2. Non se realizarán modificacións nas metodoloxías docentes.
3. Os mecanismos de atención personalizada ao alumnado non se modificarán.
4. Non se realizarán modificacións na avaliación
5. Non se realizarán modificacións da bibliografía ou webgrafía
(*)A Guía docente é o documento onde se visualiza a proposta académica
da UDC. Este documento é público e non se pode modificar, salvo casos excepcionais baixo a revisión do
órgano competente dacordo coa normativa vixente que establece o proceso de elaboración de guías
Asignaturas
