OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Testing-Based Compiler Validation for Synchronous Languages

Garoche, Pierre-Loïc and Howar, Folk and Kahsai, Temesghen and Thirioux, Xavier Testing-Based Compiler Validation for Synchronous Languages. (2014) In: 6th International Symposium on NASA Formal Methods (NFM 2014), 29 April 2014 - 1 May 2014 (Houston, Texas, United States).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://doi.org/10.1007/978-3-319-06200-6_19


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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in Volume 8430 of Lecture Notes in Computer Science ISSN : 0302-9743 ISBN: 978-3-319-06199-3 The original PDF is available at: https://link.springer.com/chapter/10.1007/978-3-319-06200-6_19
HAL Id:hal-02092914
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Other partners > Carnegie Mellon University - CMU (USA)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Other partners > National Aeronautics and Space Administration - NASA (USA)
French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Deposited On:03 Apr 2019 14:45

Repository Staff Only: item control page