Non-Intrusive Structural Coverage for Objective Caml

Philippe Wang (1, 2) , Adrien Jonquet (2) , Emmanuel Chailloux (2)

1 SDAU - Shandong Agricultural University
2 APR - Algorithmes, Programmes et Résolution

This paper presents a non-intrusive method for Objective Caml code coverage analysis. While classic methods rewrite the source code to an instrumented version that will produce traces at runtime, our approach chooses not to rewrite the source code. Instead, we use a virtual machine to monitor instructions execution and produce traces. These low-level traces are used to create a machine code coverage report. Combined with control-flow debug information, they can be analyzed to produce a source code coverage report. The purpose of this approach is to make available a method to generate code coverage analysis with the same binary for testing and for production. Our customized virtual machine respects the same semantics as the original virtual machine; one of its original aspects is that it is implemented in the Objective Caml, the very language we build the tool for. This work is part of the Coverage project, which aims to develop open source tools for safety-critical embedded applications and their code generators.

Domains: Programming Languages [cs.PL]

Philippe Wang, Adrien Jonquet, Emmanuel Chailloux. Non-Intrusive Structural Coverage for Objective Caml. 5th Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Mar 2010, Paphos, Cyprus. pp.59--73, ⟨10.1016/j.entcs.2011.02.006⟩. ⟨hal-00497131⟩