Communication Dans Un Congrès Année : 2010

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

Matteo Bordin
  • Fonction : Auteur
Cyrille Comar
  • Fonction : Auteur
  • PersonId : 980052
Tristan Gingold
  • Fonction : Auteur
  • PersonId : 1052553
Thomas Quinot
  • Fonction : Auteur
  • PersonId : 970178

Résumé

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.

Fichier principal
Vignette du fichier
9B-4.pdf (112.88 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-02269420 , version 1 (22-08-2019)

Licence

Identifiants

  • HAL Id : hal-02269420 , version 1

Citer

Matteo Bordin, Cyrille Comar, Tristan Gingold, Jérome Guitton, Olivier Hainque, et al.. Object and Source Coverage for Critical Applications with the C OUVERTURE Open Analysis Framework. ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. ⟨hal-02269420⟩
102 Consultations
289 Téléchargements

Partager

  • More