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.
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%).
|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|
|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|
Subject learning guide for Software Verification and Validation