Skip to main content
SpringerLink
Log in

Abstract Test Execution for Early Testing Activities in Model-Driven Scenarios

  • Conference paper
  • First Online:
Model-Driven Engineering and Software Development (MODELSWARD 2020)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 1361))

  • 454 Accesses

Abstract

The continuous improvement of the performance of computing units makes it possible to cope with increasingly complex tasks. This results in more complex software systems. However, the development of such highly complex systems is difficult to achieve using traditional approaches. Concepts like model-driven software development can weaken this problem in these constructive phases. However, new challenges arise for the testing of development artifacts. In order to be able to perform a real shift left of verification and validation tasks towards early phases of development, we present a semi-formal approach that enables users to execute test cases against the system under development (SUD) on the model-level. Grounded on an Integrated Model Basis which is created and maintained during development, test reports are automatically derived. This opens up a wide range of possibilities for early and targeted troubleshooting.

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

Access this chapter

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and 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

References

  1. Anlauff, M.: XASM-an extensible, component-based abstract state machines language. In: Gurevich, Y., Kutter, P.W., Odersky, M., Thiele, L. (eds.) ASM 2000. LNCS, vol. 1912, pp. 69–90. Springer, Heidelberg (2000). https://doi.org/10.1007/3-540-44518-8_6

    Chapter  MATH  Google Scholar 

  2. Arnaud, M., Bannour, B., Cuccuru, A., Gaston, C., Gerard, S., Lapitre, A.: Timed symbolic testing framework for executable models using high-level scenarios. In: Boulanger, F., Krob, D., Morel, G., Roussel, J.-C. (eds.) Complex Systems Design & Management, pp. 269–282. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-11617-4_19

    Chapter  Google Scholar 

  3. Braunstein, C., et al.: Complete model-based equivalence class testing for the ETCS ceiling speed monitor. In: Merz, S., Pang, J. (eds.) ICFEM 2014. LNCS, vol. 8829, pp. 380–395. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11737-9_25

    Chapter  Google Scholar 

  4. Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: NuSMV: a new symbolic model checker. Int. J. Softw. Tools Technol. Transf. 2(4), 410–425 (2000)

    Article  Google Scholar 

  5. Galin, D.: Software Quality Assurance: From Theory to Implementation. Pearson Education India (2004)

    Google Scholar 

  6. Gambarotta, A., Morini, M., Saletti, C.: Development of a model-based predictive controller for a heat distribution network. Energy Proc. 158, 2896–2901 (2019)

    Article  Google Scholar 

  7. GmbH, I.: radCase - Model-Driven Generation (2020). http://www.radcase.com/

  8. Grossmann, J., Serbanescu, D.A., Schieferdecker, I.: Testing embedded real time systems with TTCN-3. In: ICST, pp. 81–90. IEEE Computer Society (2009)

    Google Scholar 

  9. Guermazi, S., Tatibouet, J., Cuccuru, A., Dhouib, S., Gérard, S., Seidewitz, E.: Executable modeling with fUML and alf in papyrus: tooling and experiments. Strategies 11, 12 (2015)

    Google Scholar 

  10. Hagemann, N., Pröll, R., Bauer, B.: Towards abstract test execution in early stages of model-driven software development. In: Hammoudi, S., Pires, L.F., Selić, B. (eds.) Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, 25–27 February 2020, Valletta, Malta (2020). DOIurl10.5220/0008934802160226

    Google Scholar 

  11. Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: HyTech: a model checker for hybrid systems. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 460–463. Springer, Heidelberg (1997). https://doi.org/10.1007/3-540-63166-6_48

    Chapter  Google Scholar 

  12. Iftikhar, M.U., Lundberg, J., Weyns, D.: A model interpreter for timed automata. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 243–258. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47166-2_17

    Chapter  Google Scholar 

  13. Jones, C.: Applied Software Measurement: Global Analysis of Productivity and Quality, 3rd edn. McGraw-Hill Education Group, New York (2008)

    Google Scholar 

  14. Khalesi, M.H., Salarieh, H., Foumani, M.S.: Dynamic modeling, control system design and MIL-HIL tests of an unmanned rotorcraft using novel low-cost flight control system. Iran. J. Sci. Technol. Trans. Mech. Eng. 44, 707–726 (2020). https://doi.org/10.1007/s40997-019-00288-x

  15. Kleppe, A.G., Warmer, J., Warmer, J.B., Bast, W.: MDA Explained: The Model Driven Architecture: Practice and Promise. Addison-Wesley Professional, Boston (2003)

    MATH  Google Scholar 

  16. Krenn, W., Schlick, R., Tiran, S., Aichernig, B., Jobstl, E., Brandl, H.: MoMuT: UML model-based mutation testing for UML. In: 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), pp. 1–8. IEEE (2015)

    Google Scholar 

  17. Clarke, E., McMillan, K., Campos, S., Hartonas-Garmhausen, V.: Symbolic model checking. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 419–422. Springer, Heidelberg (1996). https://doi.org/10.1007/3-540-61474-5_93

    Chapter  Google Scholar 

  18. Mellor, S.J., Mellor, S., Balcer, M.J.: Executable UML: A Foundation for Model-driven Architecture. Addison-Wesley Professional, Boston (2002)

    Google Scholar 

  19. OMG: OMG Systems Modeling Language (OMG SysML), Version 1.3 (2012). http://www.omg.org/spec/SysML/1.3/

  20. OMG: About the Semantics of a Foundational Subset for Executable UML Models Specification Version 1.4 (2018). https://www.omg.org/spec/FUML/About-FUML/

  21. (OMG), O.M.G.: UML Testing Profile 2 (UTP 2), Version 2.0, December 2018. https://www.omg.org/spec/UTP2/2.0/PDF

  22. Peleska, J., et al.: A real-world benchmark model for testing concurrent real-time systems in the automotive domain. In: Wolff, B., Zaïdi, F. (eds.) ICTSS 2011. LNCS, vol. 7019, pp. 146–161. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-24580-0_11

    Chapter  Google Scholar 

  23. Planning, S.: The economic impacts of inadequate infrastructure for software testing. National Institute of Standards and Technology (2002)

    Google Scholar 

  24. Plummer, A.R.: Model-in-the-loop testing. Proc. Inst. Mech. Eng. Part I: J. Syst. Control Eng. 220(3), 183–199 (2006)

    Google Scholar 

  25. Pretschner, A., Philipps, J.: 10 methodological issues in model-based testing. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol. 3472, pp. 281–291. Springer, Heidelberg (2005). https://doi.org/10.1007/11498490_13

    Chapter  Google Scholar 

  26. Pröll, R., Bauer, B.: A model-based test case management approach for integrated sets of domain-specific models. In: O’Conner, L., Feldt, R., Yoo, S. (eds.) Proceedings of the 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), ICSTW 2018, 9–13 April 2018, Västerås, Sweden (2018). https://doi.org/10.1109/icstw.2018.00048

  27. Pröll, R., Rumpold, A., Bauer, B.: Applying integrated domain-specific modeling for multi-concerns development of complex systems. Commun. Comput. Inf. Sci. 880, 247–271 (2018). https://doi.org/10.1007/978-3-319-94764-8_11

    Article  Google Scholar 

  28. Rumpold, A., Pröll, R., Bauer, B.: A domain-aware framework for integrated model-based system analysis and design. In: Pires, L.F., Hammoudi, S., Selic, B. (eds.) Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 19–21 February 2017, in Porto, Portugal (2017). https://doi.org/10.5220/0006206301570168

  29. Scippacercola, F., Pietrantuono, R., Russo, S., Zentai, A.: Model-in-the-loop testing of a railway interlocking system. In: Desfray, P., Filipe, J., Hammoudi, S., Pires, L.F. (eds.) MODELSWARD 2015. CCIS, vol. 580, pp. 375–389. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-27869-8_22

    Chapter  Google Scholar 

Download references

Acknowledgements

The research in this paper was funded by the German Federal Ministry for Economic Affairs and Energy under the Central Innovation Program for SMEs (ZIM), grant numbers 16KN044137.

Author information

Authors and Affiliations

  1. Software Methodologies for Distributed Systems, University of Augsburg, Augsburg, Germany

    Reinhard Pröll, Noël Hagemann & Bernhard Bauer

Authors
  1. Reinhard Pröll
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Noël Hagemann
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Bernhard Bauer
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Reinhard Pröll .

Editor information

Editors and Affiliations

  1. Siège du Groupe ESEO, Angers Cedex 02, France

    Slimane Hammoudi

  2. University of Twente, Enschede, The Netherlands

    Luís Ferreira Pires

  3. Malina Software Corp., Nepean, ON, Canada

    Bran Selić

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Pröll, R., Hagemann, N., Bauer, B. (2021). Abstract Test Execution for Early Testing Activities in Model-Driven Scenarios. In: Hammoudi, S., Pires, L.F., Selić, B. (eds) Model-Driven Engineering and Software Development. MODELSWARD 2020. Communications in Computer and Information Science, vol 1361. Springer, Cham. https://doi.org/10.1007/978-3-030-67445-8_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-67445-8_12

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-67444-1

  • Online ISBN: 978-3-030-67445-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation