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:
- Regression testing - retesting after a change to identify unintended consequences of a change. State of research and state of practice.
- Product Line testing - a special form of regression testing, focussed on difference between product variants. State of research.
- Alignment between requirements and testing - both activities and artifacts - an industrial case study.
Previous results include:
- Unit testing - survey of industry practice.
- Inspection methods - evaluation and improvement of reading techniques.
- Assessment and selection of defect detection methods - survey of research.
- Estimation of remaining defects - statistical methods for estimating defects, based on capture-recapture and reliability modeling.
- Efficient performance verification - factorial design applied to test case selection.
For more information contact Per Runeson.