Skip to Main content Skip to Navigation
Theses

Rendre agile les tests d'intégration des systèmes avioniques par des langages dédiés

Robin Bussenot 1
1 IRIT-ARGOS - Advancing Rigorous Software and System Engineering
IRIT - Institut de recherche en informatique de Toulouse
Abstract : In avionics engineering, integration tests are crucials: they allow to ensure the right behavior of an airplane before his first flight, they are needed to the certification process and they allow non-regression testing for each new version of a system, of a software or of a hardware. The design of an integration test is expensive because it involves the implementation of the procedure, the configuration of tools of the bench and the setup of the interfaces of the system under test. With procedure written in natural language, the interpretation of statements of a test during the manual execution can lead to mistakes that are expensive to fix due to accurate actions needed to perform a statement. The formalization and the automation of those procedures allow testers team to focus on the implementation of new test cases. First of all, we introduce Domain Specific Language (DSL) and show how we use it to formalize tests procedures dedicated to a kind of system. Those languages should be able to be use by avionic testers which do not necessarily have programming skills. They allow test automation, while maintaining test intention in the test description. Then, we proposed a BDD (Behavior Driven Development) approach to validate the integration of systems thanks to behavioral scenarios describing the expected behavior of the airplane. Our contribution is a framework which orchestrate DSLs dedicated to integration test of avionic systems in an Agile vision. We named Domain Specific Test Languages (DSTL), languages used by expert testers. For each system (ATA ou Air Transport Association of America) corresponds a DSTL business. A first DSTL about the validation of airflow control systems has been developed as a proof of concept from existing procedures pseudo-formalized. The experimentation has been continued with IMA (Integrated Modular Avionic) calculators for which test procedures are written in natural language and thus are not automatable. From a corpus of procedures, we propose a first empirical process to identify sentence patterns composing the DSTL. The corpus provided is composed by ten procedures totaling 108 test chapters and 252 tests or subtests involving 3708 statements for a total of 250 Word pages. Make Agile integration tests in this context consist to propose a collaborative approach to formalize a DSTL and to integrate it in the orchestration framework to generate automatically the glu code.
Document type :
Theses
Complete list of metadatas

Cited literature [97 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-02130427
Contributor : Abes Star :  Contact
Submitted on : Wednesday, May 15, 2019 - 6:13:06 PM
Last modification on : Friday, December 4, 2020 - 3:29:00 AM

File

2018TOU30128b.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-02130427, version 1

Citation

Robin Bussenot. Rendre agile les tests d'intégration des systèmes avioniques par des langages dédiés. Architectures Matérielles [cs.AR]. Université Paul Sabatier - Toulouse III, 2018. Français. ⟨NNT : 2018TOU30128⟩. ⟨tel-02130427⟩

Share

Metrics

Record views

310

Files downloads

301