Master in Software and Systems

Software Verification and Validation

Lecturer (Coordinator):
Sira Vegas


First semester




We have all suffered the consequences of a software system failure at some time. These failures are the result of software complexity which means that software defects are highly likely to persist after it has been built.

How can we guarantee that the software system under construction will work properly? What's more, how can we guarantee that this system will satisfy customer needs?

This subject tries to answer these questions. To do this, it focuses on one of the most important software development activities: verification and validation. It covers the basic aspects of this activity.

Learning Goals


  1. Introduction
    1. Introduction to V&V
    2. V&V and the software development process
    3. V&Vand the software development products
  2. Dynamic evaluation: software testing
    1. Introduction to software testing
    2. Testing levels
    3. The testing process
    4. Software verification and validation plan
    5. Testing tools

Recommended Reading


Assessment Method

Student grades will be calculated based on their performance in all the assigned tasks:

The subject grade will take into account student class participation and attitude towards the subject (10%).

Tuition language


Lecture Theatre


Subject-Specific Competences

More information:

This table shows the code, description and proficiency level for each subject-specific competence

Code Competence Proficiency Level
SSC1 Examination of the state of the art to identify research problems related to the design, construction, use and evaluation of complex software-intensive sociotechnical systems A
SSC4 Analysis and evaluation of several software-based systems construction and management engineering paradigms and approaches C
SSC5 Contribution of solutions to open problems related to software verification and validation applications and methods, techniques and tools A

Learning Outcomes

More information:

This table shows the code, description and proficiency level for each subject learning outcome

Code Learning Outcome Associated competences Proficiency level
RA-AV-6 Effective application of software verification and validation techniques SSC1,SSC5 A
RA-AV-7 Selection of the best software verification/validation technique for a particular project SSC1,SSC4,SSC5 C

Learning Guide

Subject learning guide for Software Verification and Validation