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.