Testing-Based Compiler Validation for Synchronous Languages - Université Toulouse 1 Capitole Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Testing-Based Compiler Validation for Synchronous Languages

Résumé

In this paper we present a novel lightweight approach to validate compilers for synchronous languages. Instead of verifying a compiler for all input programs or providing a fixed suite of regression tests, we extend the compiler to generate a test-suite with high behavioral coverage and geared towards discovery of faults for every compiled artifact. We have implemented and evaluated our approach using a compiler from Lustre to C.
Fichier principal
Vignette du fichier
garoche_22651.pdf (204.79 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02092914 , version 1 (23-04-2019)

Identifiants

Citer

Pierre-Loïc Garoche, Folk Howar, Temesghen Kahsai, Xavier Thirioux. Testing-Based Compiler Validation for Synchronous Languages. 6th International Symposium on NASA Formal Methods (NFM 2014), Apr 2014, Houston, Texas, United States. pp.246-251, ⟨10.1007/978-3-319-06200-6_19⟩. ⟨hal-02092914⟩
56 Consultations
94 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More