Advertisement

Model-Based Testing for Avionics Systems

  • Jörg Brauer
  • Uwe Schulze
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10951)

Abstract

Model-based testing is considered state-of-the-art in verification and validation of safety-critical systems. This paper discusses some experiences of applying the model-based testing tool RTT-MBT for the evacuation function of an aircraft cabin controller. One challenge of this project was the parametric design of the software, which allows to tailor the software to a certain aircraft configuration via application parameters. Further challenges consisted of connecting hardware signals of the system under test to abstract model variables, and handling incremental test model development during an ongoing test campaign. We discuss solutions that we developed to successfully conduct this test campaign.

References

  1. 1.
    Lapschies, F.: SONOLAR homepage, June 2014. http://www.informatik.uni-bremen.de/agbs/florian/sonolar/
  2. 2.
    Peleska, J., Vorobev, E., Lapschies, F.: Automated test case generation with SMT-solving and abstract interpretation. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. LNCS, vol. 6617, pp. 298–312. Springer, Heidelberg (2011).  https://doi.org/10.1007/978-3-642-20398-5_22CrossRefGoogle Scholar
  3. 3.
    Verified Systems International GmbH: RTT-MBT: Model-Based Testing. https://www.verified.de/products/model-based-testing

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Verified Systems International GmbHBremenGermany

Personalised recommendations