Skip to Main content Skip to Navigation
Conference papers

Testing-Based Compiler Validation for Synchronous Languages

Abstract : 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.
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02092914
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Tuesday, April 23, 2019 - 8:50:05 AM
Last modification on : Thursday, June 10, 2021 - 3:08:42 AM

File

garoche_22651.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

404

Files downloads

1129