|
| Identifying Data |
2019/20 |
| 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
|
Adaptation Course for Technical Engineers |
Obligatory |
6 |
| Language |
|
| 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. |