论文信息 - Object and Source Coverage for Critical Applications with the C OUVERTURE Open Analysis Framework

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

This 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.

[1] J. L. Kurtz,et al. Object-Oriented Technology Verification Phase 3 Report — Structural Coverage at the Source-Code and Object-Code Levels , 2007 .

[2] Simeon C. Ntafos,et al. A Comparison of Some Structural Testing Strategies , 1988, IEEE Trans. Software Eng..

[3] Hoyt Lougee,et al. SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .

[4] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[5] E BryantRandal. Graph-Based Algorithms for Boolean Function Manipulation , 1986 .

[6] Emmanuel Chailloux,et al. Non-Intrusive Structural Coverage for Objective Caml , 2011, Electron. Notes Theor. Comput. Sci..

[7] John Joseph Chilenski,et al. An Investigation of Three Forms of the Modified Condition Decision Coverage (MCDC) Criterion , 2001 .