Skip to main content

TestML - A Test Exchange Language for Model-Based Testing of Embedded Software

  • Conference paper
Model-Driven Development of Reliable Automotive Services (ASWSD 2006)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4922))

Included in the following conference series:

Abstract

Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has to pass tests at several levels of abstraction such as Model-in-the-Loop (MIL), Software-in-the-Loop (SIL) and Hardware-in-the-Loop (HIL) tests. Different test systems are applied for this purpose (e.g. dSPACE MTest, dSPACE Automation Desk, National Instruments Teststand) and almost each test system requests its own proprietary test description language. The exchange of tests between different test systems and the reuse of tests between different test levels is normally not possible. Efforts to integrate these heterogeneous test environments, to address test exchange in a general manner and to standardize and harmonize the existing language environment are still at the beginning and not tailored towards the requirements of the automotive domain. To keep the whole development and test process efficient and manageable, the definition of an integrated and seamless approach is required. TestML – the test exchange language we present in this article – is defined to overcome the technological obstacles (different test language syntax and semantics, different data formats and interface descriptions) that almost automatically accompany the application of heterogeneous test tools and test infrastructures. TestML supports the exchange of tests between different test notations in a heterogeneous tool environment. In this paper, we introduce the XML schema of TestML and demonstrate the efficiency of the interchange format by giving examples from the model-based development of electronic control units. Tool support is illustrated by an application with Simulink/Stateflow.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Schäuffele, Zurawka (ed.): Automotive Software Engineering. Vieweg & Sohn Verlag, Wiesbaden (2006)

    Google Scholar 

  2. National Instruments: Web pages of the National Instruments corporation (2007)

    Google Scholar 

  3. dSpace AG: Web pages of the dSpace corporation (2005)

    Google Scholar 

  4. Etas Group: Web pages of the Etas Group (2007)

    Google Scholar 

  5. Vector Informatik GmbH: Web pages of the Vector Informatik GmbH (2007)

    Google Scholar 

  6. MBtech Group: Web pages of the MBtech Group (2007)

    Google Scholar 

  7. IEEE: IEEE Std.1800-2005 - Standard for SystemVerilog Unified Hardware Design, Specification and Verification Language (2005)

    Google Scholar 

  8. IEEE: IEEE Std.1850-2005 - IEEE Standard for Property Specification Language (PSL) (2005)

    Google Scholar 

  9. IEEE: IEEE Std.1647-2006 - Standard for the Functional Verification Language ’e’ (2006)

    Google Scholar 

  10. Bergeron, J., Cerny, E., Nightingale, A., Hunter, A.: Verification methodology manual for SystemVerilog. Springer, Heidelberg (2006)

    Google Scholar 

  11. SCC20 ATML Group: IEEE ATML specification drafts and IEEE ATML status reports (2006)

    Google Scholar 

  12. ETSI: ES 201 873-1 V3.2.1: Methods for Testing and Specification (MTS). The Testing and Test Control Notation Version 3, Part 1: TTCN-3 Core Language (2007)

    Google Scholar 

  13. Schieferdecker, I., Großmann, J.: Testing of Embedded Control Systems with Continous Signals. In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, TU Braunschweig, pp. 113–122 (2006)

    Google Scholar 

  14. Schieferdecker, I., Bringmann, E., Grossmann, J.: Continuous TTCN-3: testing of embedded control systems. In: SEAS 2006: Proceedings of the 2006 international workshop on Software engineering for automotive systems, pp. 29–36. ACM Press, New York (2006)

    Chapter  Google Scholar 

  15. IMMOS Project: TestML schema definition version 1.0.3 (2006)

    Google Scholar 

  16. Conrad, M.: Modell-basierter Test eingebetteter Software im Automobil. PhD thesis, TU-Berlin (2004)

    Google Scholar 

  17. Conrad, M., Sax, E.: Mixed signals. In: Testing Embedded Software, pp. 229–249 (2003)

    Google Scholar 

  18. Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.-H.: Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In: hybrid systems, pp. 209–229 (1992)

    Google Scholar 

  19. Lehmann, E.: Time Partition Testing Systematischer Test des kontinuierlichen Verhaltens von eingebetteten Systemen. PhD thesis, TU-Berlin, Berlin (2004)

    Google Scholar 

  20. Grossmann, J., Mueller, W.: A Formal Behavioral Semantics for TestML. In: Proc. of IEEE ISoLA 2006, Paphos Cyprus, pp. 453–460 (2006)

    Google Scholar 

  21. The MathWorks: Web pages of Simulink - Simulation and Model-Based Design (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Manfred Broy Ingolf H. Krüger Michael Meisinger

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Grossmann, J., Fey, I., Krupp, A., Conrad, M., Wewetzer, C., Mueller, W. (2008). TestML - A Test Exchange Language for Model-Based Testing of Embedded Software. In: Broy, M., Krüger, I.H., Meisinger, M. (eds) Model-Driven Development of Reliable Automotive Services. ASWSD 2006. Lecture Notes in Computer Science, vol 4922. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70930-5_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-70930-5_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-70929-9

  • Online ISBN: 978-3-540-70930-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics