Search-based software verification and validation

Current industrial partner(s): To be decided

Name of Ph.D. student: Wasif Afzal

Name of subproject manager/advisor: Dr. Richard Torkar, Dr. Robert Feldt

Date updated: 27 May, 2008

Subproject goal: "Improving software verification and validation activities using search-based techniques and comparisons with conventional approaches."

General description

Software verification and validation encompasses different activities to improve the quality of software. The purpose of the research is to provide different ways to improve traditional software verification and validation activities using search-based techniques.

Research description

The research contribution consists of a set of methods and techniques that can be used to improve software verification and validation activities in industry. The purpose of the research is to use search-based techniques in solving real-world problems to obtain near-optimal solutions.

Industrial motivation

The verification and validation activities in industry have to arrive at optimal solutions considering different constraints. It is expected that by using search-based techniques, improvements in the verification and validation practices can be made.

Expected impact

The aim of the project is to create techniques that will be validated dynamically and statically in industry. Promising results will be directly applicable to real industrial settings.

Main research contributions

The main research contribution of this subproject will be to show that evolutionary algorithms can be used in real-life industrial settings with good results, hence in the end allow industry to do efficiency and effectiveness gains.