A Meta-model for Tests of Avionics Embedded Systems

Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber

2013

Abstract

Tests for avionics embedded systems are implemented using proprietary test languages. No standard has emerged and the set of existing test languages is heterogeneous. This is challenging for test solution providers, who have to accommodate the different habits of their clients. In addition, test exchange between aircraft manufacturers and equipment/system providers is hindered. To address these problems, we propose a model-driven approach for test implementation: test models are developed/maintained, with model-to-code transformations towards target executable test languages. This paper presents the test meta-model underlying the approach. It integrates the domain-specific concepts identified from an analysis of a sample of proprietary test languages. The test meta-model is the basis for building test model editors and template-based automatic code generators, as illustrated by a demonstrator we developed.

References

  1. ES 201 873 - Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language. 2012
  2. Thomas Stahl, Markus Voelter and Krzysztof Czarnecki. 2006. Model-Driven Software Development: Technology, Engineering, Management. John Wiley & Sons.
  3. Guduvan, A., Waeselynck, H., Wiels, V., Durrieu, G., Schieber, M. and Fusero, Y.: Test Languages for Inthe-Loop Testing of Avionics Embedded Systems, LAAS Report N 12151, Mars 2012, 21p. http://homepages.laas.fr/waeselyn/Reports/TR-12151 .pdf
  4. Aliki Ott. System Testing in the Avionics Domain. Ph. D. Dissertation, University of Bremen, Germany, 2007
  5. Juergen Grossmann, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer, and Wolfgang Mueller. 2006. TestML - A Test Exchange Language for Model-Based Testing of Embedded Software. Lecture Notes In Computer Science, Vol. 4922. SpringerVerlag, Berlin, Heidelberg 98-117.
  6. DOI = http://dx.doi.org/10.1007/978-3-540-70930-5_7 Eclipse Modeling - EMFT - Home, http:// www.eclipse.org/modeling/emft/?project=ecoretools
  7. OCL, Object Constraint Language, Version 2.3.1, January 2012, http://www.omg.org/spec/OCL/2.3.1/
  8. UTP, UML Testing Profile, Version 1.1. 2012. http://www.omg.org/spec/UTP/1.1/
  9. J. Zander, Z. Ru Dai, I. Schieferdecker, G. Din. From U2TP models to executable tests with TTCN-3: An approach to model driven testing, in Proc. international conference on testing of communicating systems (TestCom 2005), pp. 289-303, 2005.
  10. Ina Schieferdecker, George Din. A Meta-model for TTCN-3. FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Volume 3236 of Lecture Notes in Computer Science, pages 366-379, Springer, 2004
  11. Paul Baker and Clive Jervis, Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile, Proc. SDL 2007, LNCS 4745, Springer, pp. 86-100, 2007.
  12. Rational Tau, IBM, http://www01.ibm.com/software /awdtools/tau/
  13. Yin, Y. F., Liu, B., Zhong, D. M., & Jiang, T. M. (2009). On modeling approach for embedded real-time software simulation testing. Journal of Systems Engineering and Electronics, 20(2), 420-426.
  14. Yanelis Hernandez, Tariq M. King, Jairo Pava, Peter J. Clarke: A Meta-model to Support Regression Testing of Web Applications. SEKE 2008: 500-505
  15. Joachim Fischer, Michael Piefel, and Markus Scheidgen: A Meta-Model for SDL-2000 in the Context of MetaModelling ULF, SAM 2004, SDL and MSC Workshop, Ottawa, Canada, June 2004.
  16. Ina Schieferdecker, Eckard Bringmann and Jürgen Großmann. 2006. Continuous TTCN-3: testing of embedded control systems. In Proceedings of the 2006 international workshop on Software engineering forautomotive systems (SEAS 7806). ACM, New York, NY, USA, 29-36.
  17. DOI = http://doi.acm.org/10.1145/1138474.1138481
  18. Zhen Ru Dai, Jens Grabowski, and Helmut Neukirchen. 2002. Timed TTCN-3 - A Real-time Extension for TTCN-3. In Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV (TestCom'02), Ina Schieferdecker, Hartmut König, and Adam Wolisz (Eds.). Kluwer, B.V., Deventer, The Netherlands, The Netherlands, 407-424.
  19. Jurgen Grossmann, Philip Makedonski, Hans-Werner Wiesbrock, Jaroslav Svacina, Ina Schieferdecker and Jens Grabowski. Model-Based X-in-the-Loop Testing. Model-Based Testing for Embedded Systems. CRC Press 2011. Print ISBN: 978-1-4398-1845-9
Download


Paper Citation


in Harvard Style

Guduvan A., Waeselynck H., Wiels V., Durrieu G., Fusero Y. and Schieber M. (2013). A Meta-model for Tests of Avionics Embedded Systems . In Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-8565-42-6, pages 5-13. DOI: 10.5220/0004320000050013


in Bibtex Style

@conference{modelsward13,
author={Alexandru-Robert Guduvan and Hélène Waeselynck and Virginie Wiels and Guy Durrieu and Yann Fusero and Michel Schieber},
title={A Meta-model for Tests of Avionics Embedded Systems},
booktitle={Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2013},
pages={5-13},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004320000050013},
isbn={978-989-8565-42-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - A Meta-model for Tests of Avionics Embedded Systems
SN - 978-989-8565-42-6
AU - Guduvan A.
AU - Waeselynck H.
AU - Wiels V.
AU - Durrieu G.
AU - Fusero Y.
AU - Schieber M.
PY - 2013
SP - 5
EP - 13
DO - 10.5220/0004320000050013