Page d'accueil // Recherche // FSTC // Computer Sci... // Projets de r... // Tailoring Automated Software Techniques for Real World and Large Scale Software Applications

Tailoring Automated Software Techniques for Real World and Large Scale Software Applications

Financement: Fonds National de la Recherche > Aide à la Formation Recherche
Date de début: 15 janvier 2016
Date de fin: 14 janvier 2020

Description

In recent years, there has been much research in the area of automated software testing, leading to the development of interesting testing techniques such as symbolic execution and mutation testing. These techniques are shown in academic research to be quite effective for finding defects in programs. Despite the undisputed potential of those techniques, the problems of their application cost, scalability, operation of software with environment interaction are obstacles to its practical use in real-world programs and environments. The main problems that require attention and hopefully will be resolved by the present project are the design of effective mutations and symbolic execution that will allow the techniques to scale and deal with environmental defects such as configuration errors, network protocols, file systems and concurrency. The present project will 1) Evaluate the level of test confidence or guarantee that should be provided by mutation testing, 2) Design a technique to effectively detect useful mutants, 3) leverage symbolic execution on program environment.

Membres