This subject is intended to master the current solutions in Software Engineering for the validation and verification of software. This includes:
- knowledge of functional and non-functional techniques and tools for software validation at all levels (unit, integration, system);
- knowledge of techniques and tools for automatic reasoning; and
- knowledge of techniques and tools for formal verification.
Contingency plan
1. Modifications to the contents: none
2. Methodologies: unchanged
3. Mechanisms for personalized attention to students: unchanged
4. Modifications in the evaluation: none
5. Modifications to the bibliography or webgraphy: none
(*)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.