Skip to Main content Skip to Navigation

Langages Applicatifs et Machines Abstraites pour la Couverture de Code Structurelle

Philippe Wang 1 
1 APR - Algorithmes, Programmes et Résolution
LIP6 - Laboratoire d'Informatique de Paris 6
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.
Complete list of metadata

Cited literature [87 references]  Display  Hide  Download
Contributor : Philippe Wang Connect in order to contact the contributor
Submitted on : Friday, October 26, 2012 - 11:59:06 PM
Last modification on : Sunday, June 26, 2022 - 9:49:17 AM


  • HAL Id : tel-00741549, version 2


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⟩



Record views


Files downloads