CS 458 - Software Verification and Validation
As software has become pervasive in everyday life, there are now increasingly stringent requirements for the quality of software such as reliability, safety and security. In this context, software verification and validation is an important activity in software development for checking that a software system meets the specifications (verification) and that it fulfills its intended purpose (validation). Currently software verification and validation amounts for a large percentage of the total software development costs in the industry and the effective application of appropriate verification and validation techniques has become mission critical. The objective of this course is to provide an in-depth study of software verification and validation with particular focus on software testing. Important topics include:
All registered students should have passed the course 'Object-Oriented Software Engineering'