Teaching GuideTerm
Faculty of Computer Science
  Home | galego | castellano | english | A A |  
Grao en Enxeñaría Informática
 Subjects
  Software Verification and Validation
Abrir nova vista Vista para imprimir Exportar a pdf
Identifying Data 2022/23
Subject (*) Software Verification and Validation Code 614G01225
Study programme
Grao en Enxeñaría Informática
Descriptors Cycle Period Year Type Credits
Graduate 2nd four-month period
Fourth Obligatory 6
Language
Spanish
Teaching method Face-to-face
Prerequisites
Department Computación
Coordinador
E-mail
Lecturers
E-mail
Web http://guiadocente.udc.es/guia_docent/index.php?centre=614&ensenyament=614G01&assignatura=614G01053&any_academic=2017_18&am
General description This subject is inteded to master the current solutions in Software Engineering for software validation and verification. These include: - knowledge on functional and non-functional testing techniques and tools, applicable to different levels (unit, integration, system); - knowledge on techniques and tools for automatic reasoning; and - knowledge on techniques and tools for formal verification.
(*)The teaching guide is the document in which the URV publishes the information about all its courses. It is a public document and cannot be modified. Only in exceptional cases can it be revised by the competent agent or duly revised so that it is in line with current legislation.
Universidade da Coruña - Rúa Maestranza 9, 15001 A Coruña - Tel. +34 981 16 70 00  Soporte Guías Docentes