Langages Applicatifs et Machines Abstraites pour la Couverture de Code Structurelle

Résumé : 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.
Type de document :
Thèse
Informatique et langage [cs.CL]. Université Pierre et Marie Curie - Paris VI, 2012. Français
Liste complète des métadonnées


https://tel.archives-ouvertes.fr/tel-00741549
Contributeur : Philippe Wang <>
Soumis le : vendredi 26 octobre 2012 - 23:59:06
Dernière modification le : lundi 29 octobre 2012 - 11:27:57

Identifiants

  • HAL Id : tel-00741549, version 2

Collections

Citation

Philippe Wang. Langages Applicatifs et Machines Abstraites pour la Couverture de Code Structurelle. Informatique et langage [cs.CL]. Université Pierre et Marie Curie - Paris VI, 2012. Français. <tel-00741549v2>

Partager

Métriques

Consultations de
la notice

227

Téléchargements du document

382