Bogdan Marculescu
Although seen as the final stage of software development, Verification and Validation is and ongoing process that is influenced by all the decisions taken during the course of a project. The large number of decisions that have to be taken open an enormous potential solution space that software engineers have to handle. All these decisions have a significant impact on the product in general, and on Verification and Validation in particular. A complete Verification and Validation approach would try to check as many of these decisions as possible, as early in the process as it can be done. The quality of decision-making could also be improved by providing software engineers with tools that enable them to quickly and efficiently explore the solution space.
Applying Search Based Software Engineering (SBSE) in the context of a project-long, ongoing process of Verification and Validation can address the high complexity of the task above.
Research description:
The purpose of this project is to study the SBSE approach to Verification and Validation in an industrial context and help industry examine the suitability of this approach for their activities. In particular, the focus will be on the applicability of interactive ways for engineers to guide metaheuristic techniques.
Applying Search Based Software Engineering (SBSE) in the context of a project-long, ongoing process of Verification and Validation can address the high complexity of the task above.
Research description:
The purpose of this project is to study the SBSE approach to Verification and Validation in an industrial context and help industry examine the suitability of this approach for their activities. In particular, the focus will be on the applicability of interactive ways for engineers to guide metaheuristic techniques.