Object and Source Coverage for Critical Applications with the C OUVERTURE Open Analysis Framework

Abstract

International audienceThis paper presents C OUVERTURE , an open coverage analysis framework for safety-critical software development.C OUVERTURE offers non-intrusive source and object coverage analysis on unmodified user code, using instrumentation of a virtual execution platform based on QEMU , a flexible and efficient open-source CPU emulator