Skip to main content
SpringerLink
Log in
Book cover

FORMS/FORMAT 2010 pp 227–235Cite as

Model-based Integration Framework for Development and Testing Tool-chains ★

  • Conference paper
  • First Online:

Abstract

System development processes are typically supported by dozens of different tools that assist the designer in various phases of development like modeling, verification, source code generation, testing. Tool-chains can be formed by the integration of tools that are related to the subsequent steps of the process. In this paper, we present a service-oriented, metamodel-driven, process-centric approach for the definition and execution of these tool-chains. Related data are handled as an important part of the process as the traceability of these is needed for the certification of the systems. The implementation is provided as an open, extensible framework. The approach is demonstrated using a model based test case generation process applied for automotive and railway systems.

★ This work was partially supported by the EC (FP7-STREP MOGENTES) and by the National Office for Research and Technology (OMFB 1316/2009). Special thanks to I. Ágoston and G. Juhász for implementing parts of the framework.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   219.99
Price excludes VAT (USA)
  • Durable hardcover 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. The MOGENTES Project: Model-based Generation of Tests for Dependable Embedded Systems, EU FP7 Research Project http://mogentes.eu.

  2. Einar W. Karlsen: The UniForM WorkBench: A Higher Order Tool Integration Framework. Lecture Notes In Computer Science 1641/1999 (1999) 266–280.

    Google Scholar 

  3. Gábor Karsai, András Lang, Sandeep Neema: Design patterns for open tool integration. Software and Systems Modeling 4(2) (2004) 157–170.

    Google Scholar 

  4. C. Amelunxen, F. Klar, et al: Metamodel-based Tool Integration with MOFLON. In: Int. Conf. on Software Engineering, ACM (2008) 807–810.

    Google Scholar 

  5. R. Salay, et al: An Eclipse-based Tool Framework for Software Model Management. In: OOPSLA Workshop on Eclipse Technology eXchange, ACM (2007) 55–59.

    Google Scholar 

  6. F. Corradini, L. Mariani, E. Merelli: An agent-based approach for tool integration. Int. Journal on Software Tools for Technology Transfer 6(3) (2004) 231–244.

    Article  Google Scholar 

  7. The SENSORIA Project: The SENSORIA Development Environment Homepage (2009) http://svn.pst.ifi.lmu.de/trac/sct.

  8. Tiziana Margaria, Ralf Nagel, Bernhard Steffen: jETI: A Tool for Remote Tool Integration. Lecture Notes in Computer Science 2440/2005 (2005) 557–562.

    Google Scholar 

  9. IBM Rational: Jazz Community Site http://jazz.net/.

  10. P. Haumer: Increasing Development Knowledge with EPF Composer. Eclipse Review (2006) http://haumer.net/rational/publications.html.

  11. Apache Jackrabbit: The reference JSR-170 implementation http://jackrabbit.apache.org/.

  12. Apache Subversion: A version control system http://subversion.apache.org/.

  13. GMF: Eclipse graphical modeling framework http://www.eclipse.org/modeling/gmp/?project=gmf.

  14. John Koenig: JBoss jBPM White Paper. Technical report, The JBoss Group / Riseforth.com (2004) http://jbossgroup.com/pdf/jbpm\_whitepaper.pdf.

  15. JBoss.org: jPDL User Guide. (2006) http://www.jboss.org/jbossjbpm/jbpm\_documentation.

  16. G. Pintér, I. Majzik: Test Case Generation Base on an Integrated UML Data and Behavior Semantics. In: submitted to FORMS/FORMAT 2010. (2010)

    Google Scholar 

  17. Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a Nutshell. International Journal on Software Tools for Technology Transfer 1(1–2) (October 1997) 134–152

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary

    B. Polgár, I. Ráth & I. Majzik

Authors
  1. B. Polgár
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. I. Ráth
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. I. Majzik
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to B. Polgár .

Editor information

Editors and Affiliations

  1. FB 7 Maschinenbau, LS Regelungs- und, TU Braunschweig, Langer Kamp 8, Braunschweig, 38106, Germany

    Eckehard Schnieder

  2. , Department of Control and Transport, Budapest University of Technology and Ec, Bertalan L.u.2., Budapest, 1111, Hungary

    Geza Tarnai

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Polgár, B., Ráth, I., Majzik, I. (2011). Model-based Integration Framework for Development and Testing Tool-chains ★ . In: Schnieder, E., Tarnai, G. (eds) FORMS/FORMAT 2010. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14261-1_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-14261-1_23

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-14260-4

  • Online ISBN: 978-3-642-14261-1

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation