Skip to main content
SpringerLink
Log in

Development of an automated MBT toolchain from UML/SysML models

  • SI : FM & UML
  • Published:
Innovations in Systems and Software Engineering Aims and scope Submit manuscript

Abstract

This paper reports about the VETESS project results and experience with building a model-based testing toolchain to validate automotive embedded systems. This approach, based on existing test generation and test execution tools, makes it possible to automatically derive and execute functional test cases from UML or SysML models. This process is composed of the following steps: modelling (UML or SysML functional view), abstract test case generation (symbolic execution of the model), concretization (generation of executable test scripts from abstract test cases) and analysis (assignation of the test verdict). This process is automated by a toolchain based on Topcased modeler, Smartesting test generator and Clemessy TestInView. This developed prototype made it possible to demonstrate that model-based testing from UML/SysML models is an efficient way to automate testing process for systems mixing software and hardware parts.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Bernard E, Bouquet F, Charbonnier A, Legeard B, Peureux F, Utting M, Torreborre E (2006) Model-based testing from UML models. In: Proceedings of the international workshop on model-based testing (MBT’2006), LNCS. vol 94. Springer, Dresden, pp 223–230

  2. Bouquet F, Grandpierre C, Legeard B, Peureux F (2008) A test generation solution to automate software testing. In: Proceedings of the 3rd international workshop on automation of software test (AST’08). ACM Press, Leipzig, pp 45–48

  3. Bouquet F, Grandpierre C, Legeard B, Peureux F, Vacelet N, Utting M (2007) A subset of precise UML for model-based testing. In: Proceedings of the 3rd international workshop on advances in model based testing (A-MOST’07). ACM Press, London, pp 95–104

  4. Dias-Neto A, Travassos G (2010) A picture from the model-based testing area: concepts, techniques, and challenges. Adv Comp 80:45–120. ISSN: 0065-2458

    Google Scholar 

  5. Espinoza H, Cancila D, Selic B, Gérard S (2009) Challenges in combining sysml and marte for model-based design of embedded systems. In: Proceedings of the 5th European conference on model driven architecture—foundations and applications (ECMDA-FA’09). Springer, Berlin, pp 98–113

  6. Friedenthal S, Moore A, Steiner R (2009) A practical guide to SysML: the systems modeling language. Morgan Kaufmann, OMG Press, USA. ISBN: 978-0-12-374379-4

  7. Group OM (2007) UML profile for MARTE, draft revised submission. OMG document number realtime/07-03-03L4.1, OMG

  8. Herrmannsdoerfer M, Ratiu D, Koegel M (2010) Metamodel usage analysis for identifying metamodel improvements. In: Proceedings of the 3rd international conference on software language engineering (SLE’10), LNCS, vol 6563. Springer, Eindhoven, pp 62–81

  9. Highsmith J (2002) Agile software development ecosystems. Addison-Wesley, Reading. ISBN 0-201-76043-6

  10. Jouault F, Kurtev I (2006) Transforming models with ATL, LNCS, vol 3844. Springer, Berlin, pp 128–138

  11. Lasalle J, Bouquet F, Legeard B, Peureux F (2010) SysML to UML model transformation for test generation purpose. In: Proceedings of the 3rd international workshop on UML and formal methods (UML&FM’10), Shanghai

  12. Lasalle J, Peureux F, Guillet J (2011) Automatic test concretization to supply end-to-end MBT for automotive mecatronic systems. In: Proceedings of the 1st international workshop on end-to-end test script engineering (ETSE’11). ACM, Toronto, pp 16–23

  13. Object Management Group (2010) Unified Modeling Language (UML) infrastructure specification, version 2.3. OMG Document formal/2010-05-03

  14. Object Management Group (2011) Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification, v. 1.1. OMG Document formal/2011-01-01. MOF QVT Final Adopted Specification

  15. Rumbaugh J, Jacobson I, Booch G (2004) The Unified Modeling Language reference manual, 2nd edn. Addison-Wesley, Reading. ISBN: 0-321-24562-8

  16. Sen S, Moha N, Baudry B, Jézéquel JM (2009) Meta-model pruning. In: Proceedings of the 12th international conference on model driven engineering languages and systems (MODELS’09), LNCS, vol 5795. Springer, Denver, pp 32–46

  17. Topcased (2010) Toolkit in OPen-source for critical application and SystEms development. http://www.topcased.org

  18. Utting M, Legeard B (2006) Practical model-based testing—a tools approach. Elsevier Science, Amsterdam. ISBN: 0-12-372501-1

  19. Web site of the project ITEA2 VERDE (2010). http://www.itea-verde.org

  20. Web site of the project VETESS (2010). http://lifc.univ-fcomte.fr/VETESS

  21. Warmer J, Kleppe A (1996) The Object Constraint Language: precise modeling with UML. Addison-Wesley, Reading. ISBN: 0-201-37940-6

  22. Zhu H, Belli F (2009) Advancing test automation technology to meet the challenges of model-based software testing. J Inf Softw Technol 51(11): 1485–1486

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIFC, Université de Franche-Comté, 16 route de Gray, 25030, Besançon, France

    Jonathan Lasalle & Fabien Peureux

  2. Smartesting R&D Center, 18 rue Alain Savary, 25000, Besançon, France

    Fabien Peureux

  3. MIPS, Université de Haute-Alsace, 12 rue des Frères Lumière, 68093, Mulhouse, France

    Frédéric Fondement

Authors
  1. Jonathan Lasalle
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fabien Peureux
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Frédéric Fondement
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jonathan Lasalle.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lasalle, J., Peureux, F. & Fondement, F. Development of an automated MBT toolchain from UML/SysML models. Innovations Syst Softw Eng 7, 247–256 (2011). https://doi.org/10.1007/s11334-011-0164-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11334-011-0164-1

Keywords

Search

Navigation