NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
testing-based compiler validation for synchronous languagesIn 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.
Document ID
20140013438
Document Type
Conference Paper
Authors
Garoche, Pierre-Loic
(Office National d'Etudes et de Recherches Aeronautiques Paris, France)
Howar, Falk
(Stinger Ghaffarian Technologies, Inc. (SGT, Inc.) Moffett Field, CA, United States)
Kahsai, Temesghen
(Stinger Ghaffarian Technologies, Inc. (SGT, Inc.) Moffett Field, CA, United States)
Thirioux, Xavier
(Toulouse Univ. France)
Date Acquired
November 11, 2014
Publication Date
April 29, 2014
Subject Category
Computer Programming and Software
Report/Patent Number
ARC-E-DAA-TN14363
Meeting Information
NASA Formal Methods 2014(Johnson Space Center, Houston, TX)
Funding Number(s)
CONTRACT_GRANT: NNA08CG83C
Distribution Limits
Public
Copyright
Public Use Permitted.
Keywords
Compiler Validation
Sychronous Languages
Compilation
Testing

Available Downloads

NameType 20140013438.pdf STI