Software Engineering Research Group - SERG

Computer Science | Faculty of Engineering, LTH

Denna sida på svenska This page in English

Verification and Validation

The research on verification and validation (V&V) aims at managing and improving the effectiveness and efficiency of V&V activities. These include, for example, inspections and testing. Inspections is a manual, static V&V technique that can be applied early in the development cycle. Testing concerns dynamic verification of system qualities, for example, functionality, reliability and performance.

The research includes surveys on state of the research and practice, experiments on specific techniques and case studies for large scale application of V&V.

The following areas are of current interest:

Previous results include:

For more information contact Per Runeson.