Binary-Level Testing of Embedded Programs - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Binary-Level Testing of Embedded Programs

Nicolas Cornuet
  • Fonction : Auteur
EDF
Sébastien Labbé
  • Fonction : Auteur
  • PersonId : 843527
EDF

Résumé

Dynamic Symbolic Execution (DSE) is a powerful approach to automatic test data generation. It has been heavily used in recent years for finding bugs in desktop programs. In this article, we discuss the use of binary-level DSE for testing safety-critical embedded systems. More especially, we present several innovative features implemented in our DSE tool OSMOSE, and we show through four case-studies how these features can be used in practical situations.

Dates et versions

cea-01836221 , version 1 (12-07-2018)

Identifiants

Citer

Sébastien Bardin, Philippe Baufreton, Nicolas Cornuet, Philippe Herrmann, Sébastien Labbé. Binary-Level Testing of Embedded Programs. 2013 13th International Conference on Quality Software (QSIC), Jul 2013, Najing, China. ⟨10.1109/QSIC.2013.49⟩. ⟨cea-01836221⟩
37 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More