Langages Applicatifs et Machines Abstraites pour la Couverture de Code Structurelle

Abstract : This thesis presents a study on structural code coverage for a language of the ML family, in response to an industrial need in safety-critical software domain to develop tools. In this context, ML appears as a particularly rich and high-level language with a high degree of expressiveness. Its use is a progress but also raises issues when trying to apply classical safety-critical software engineering processes. In particular, the two notions of condition and decision, as well as coverage criteria associated with them, rapidly become very complex. The first contribution of this thesis answers the question of what conditions and decisions mean for a language of the ML family, by giving several formal definitions. Then, we present a formalised technique for structural code coverage which rewrites the source code to produce traces at run-time. We name it the intrusive instrumentation. We also formalise another technique which does not rewrite the source code, which allows to use the same binary for both testing activities and production. This second technique is called non intrusive and consists in generating at compile-time the information needed to match the machine code back to the source code. Other information are also generated for the execution environment to record specific traces that we need to generate a coverage report involving Boolean measures. Finally, we compare these two techniques both formally and practically, but also in terms of implementation.
Liste complète des métadonnées

Cited literature [87 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00741549
Contributor : Philippe Wang <>
Submitted on : Friday, October 26, 2012 - 11:59:06 PM
Last modification on : Friday, March 22, 2019 - 1:31:56 AM

Identifiers

  • HAL Id : tel-00741549, version 2

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⟩

Share

Metrics

Record views

292

Files downloads

498