Towards a testing methodology for reactive systems: a case study of a landing gear controller - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Towards a testing methodology for reactive systems: a case study of a landing gear controller

Résumé

In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS requires the tester to specify the environment of the software under test by means of invariant properties in order to guide the test data generation. This specification can be enriched by operational profile specification in order to obtain more realistic scenarios. Moreover, test generation guided by safety properties makes possible to test more thoroughly the key features of the software, possibly under hypotheses on the software behaviour. In this case, the generator chooses input data which are able to violate the properties. The new version of LUTESS is based on constraint logic programming and provides some additional features (numeric inputs and outputs, hypotheses for safety guided testing, more powerful operational profiles). In this paper, we present the necessary steps for building the test model for LUTESS on a real case study from the avionics. This makes possible to better understand the applicability of the approach and to assess the difficulty and the effectiveness of such a process in real-world applications.
Fichier non déposé

Dates et versions

hal-00549886 , version 1 (22-12-2010)

Identifiants

  • HAL Id : hal-00549886 , version 1

Citer

Ioannis Parissis, Laya Madani, Virginia Papailiopoulou. Towards a testing methodology for reactive systems: a case study of a landing gear controller. 3th International Conference on Software Testing and Verification (ICST 2010), Apr 2010, Paris, France. pp.489 - 497. ⟨hal-00549886⟩
62 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More