WANG Philippe

Docteur
Équipe : APR
Date de départ : 05/10/2012
https://lip6.fr/Philippe.Wang

Direction de recherche : Emmanuel CHAILLOUX

Langages Applicatifs et Machines Abstraites pour la Couverture de Code Structurelle

Cette thèse présente une étude qui répond à un besoin industriel d’avoir des outils pour aider à la qualité et au respect des processus de développement de logiciels critiques comme ceux du domaine de l’avionique civile. Il s’agit de l’étude de la couverture de code structurelle pour un langage de la famille ML. Dans ce contexte, ML apparaît comme un langage particulièrement riche en constructions de haut-niveau d’abstraction et expressif. Son utilisation est un élément de progrès mais soulève des problèmes d’adaptation des pratiques du génie logiciel classique pour les systèmes critiques. Notamment, la notion de couverture des conditions et des décisions ainsi que les critères de couverture dérivés se complexifient rapidement. Nous donnons alors en première contribution plusieurs sémantiques pour l’interprétation des définitions des conditions et des décisions pour un langage d’expressions de haut-niveau que nous avons complètement formellement défini. Ensuite, nous donnons la sémantique formelle pour une implantation pour la mesure de couverture par réécriture du code source, ce que nous appelons l’instrumentation intrusive. Puis, nous étudions une technique qui ne réécrit pas le code, ce qui permet d’avoir la possibilité d’utiliser le même binaire pour les tests et pour la production. Cette technique, que nous appelons non intrusive, consiste à générer les informations de correspondance entre le code source et le code machine, et éventuellement d’autres informations, pour que l’environnement d’exécution incluant une machine virtuelle puisse enregistrer les traces nécessaires à l’élaboration des rapports de couverture. Enfin, nous comparons ces deux approches, en terme de sémantique, d’utilisation et d’implantation.

Soutenance : 04/10/2012

Membres du jury :

CHAILLOUX Emmanuel (Université Pierre et Marie Curie)
Di COSMO Roberto (Université Paris Diderot) Rapporteur
WIELS Virginie (Onera Toulouse) Rapporteure
FOLLIOT Bertil (Université Pierre et Marie Curie)
LE GALL Pascale (Université d'Evry-Val d'Essonne)
NARBEL Philippe (Université Bordeaux 1)
PAGANO Bruno (Esterel Technologies)
SCHONBERG Edmond (New York University)

Date de départ : 05/10/2012

Publications 2007-2015

Mentions légales
Carte du site