Qualification of source code generators in the avionics domain : automated testing of model transformation chains

Abstract : In the avionics industry, Automatic Code Generators (ACG) are increasingly used to produce parts of the embedded software. Since the generated code is part of critical software, safety standards require a thorough verification of the ACG called qualification. In this thesis in collaboration with AdaCore, we seek to reduce the cost of testing activities by automatic and effective methods.The first part of the thesis addresses the topic of unit testing which ensures exhaustiveness but is difficult to achieve for ACGs. We propose a method that guarantees the same level of exhaustiveness by using only integration tests which are easier to carry out. First, we propose a formalization of the ATL language in which the ACG is defined in the Algebraic Graph Transformation theory. We then define a translation of postconditions expressing the exhaustiveness of unit testing into equivalent preconditions that ultimately support the production of integration tests providing the same level of exhaustiveness. Finally, we propose to optimize the complex algorithm of our analysis using simplification strategies that we assess experimentally.The second part of the work addresses the oracles of ACG tests, i.e. the means of validating the code generated by the ACG during a test. We propose a language for the specification of textual constraints able to automatically check the validity of the generated code. This approach is experimentally deployed at AdaCore for a Simulink® to Ada/C ACG called QGen.
Complete list of metadatas

Cited literature [79 references]  Display  Hide  Download

https://pastel.archives-ouvertes.fr/tel-01331877
Contributor : Abes Star <>
Submitted on : Tuesday, June 14, 2016 - 4:52:26 PM
Last modification on : Friday, May 17, 2019 - 12:40:03 PM
Long-term archiving on : Thursday, September 15, 2016 - 10:49:24 AM

File

TheseRicha.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01331877, version 1

Citation

Elie Richa. Qualification of source code generators in the avionics domain : automated testing of model transformation chains. Computational Engineering, Finance, and Science [cs.CE]. Télécom ParisTech, 2015. English. ⟨NNT : 2015ENST0082⟩. ⟨tel-01331877⟩

Share

Metrics

Record views

831

Files downloads

353