Skip to main content
SpringerLink
Log in
Book cover

International Baltic Conference on Digital Business and Intelligent Systems

Baltic DB&IS 2022: Digital Business and Intelligent Systems pp 136–151Cite as

Temporal Multi-view Contracts for Efficient Test Models

  • Conference paper
  • First Online:

  • 345 Accesses

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

Abstract

In this work we focus on practical aspects of test automation, namely reducing the model creation effort for model-based testing by exploiting the multi-view contract paradigm. We take into account explicitly the design views of the system and develop dedicated system test models by views in an incremental manner. The test models formalized as Uppaal Timed Automata refine the requirements of the views and are verified against the view contracts specified in Timed Computation Tree logic. As a novel theoretical contribution we extend the notion of assume/guarantee contracts by introducing temporal modalities. As a second contribution, we demonstrate the feasibility of the approach on an industrial climate control system testing case study. The improvement of testing process productivity is compared to that of developing a monolithic model empirically without extracting views. Finally, we discuss the usability aspects of the method in test development and outline the challenges.

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   69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   89.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

Learn about institutional subscriptions

Notes

  1. 1.

    https://www.dropbox.com/sh/22ds5wurmfz3cb9/AABaJGvIlf6MTqbajGyanu7Da?dl=0.

  2. 2.

    https://www.dropbox.com/sh/22ds5wurmfz3cb9/AABaJGvIlf6MTqbajGyanu7Da?dl=0.

References

  1. Practitest: The 2022 state of testing report. https://www.practitest.com/state-of-testing/

  2. Aichernig, B.K., Hörmaier, K., Lorber, F.L., Nickovic, D., Tiran, S.: Require, test, and trace it. Int. J. Softw. Tools Technol. Transf. 19, 409–426 (2016)

    Article  Google Scholar 

  3. Anier, A., Vain, J., Tsiopoulos, L.: DTRON: a tool for distributed model-based testing of time critical applications. Proc. Estonian Acad. Sci. 66, 75–88 (2017)

    Article  Google Scholar 

  4. Autili, M., Grunske, L., Lumpe, M., Pelliccione, P., Tang, A.: Aligning qualitative, real-time, and probabilistic property specification patterns using a structured English grammar. IEEE Tran. Softw. Eng. 41(7), 620–638 (2015). https://doi.org/10.1109/TSE.2015.2398877

    Article  Google Scholar 

  5. Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, Cambridge (2008)

    MATH  Google Scholar 

  6. Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200–236. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-30080-9_7

    Chapter  Google Scholar 

  7. Benveniste, A., et al.: Contracts for Systems Design: Theory. Research Report RR-8759, Inria Rennes Bretagne Atlantique. INRIA, July 2015. https://hal.inria.fr/hal-01178467

  8. Blundell, C., Giannakopoulou, D., Pǎsǎreanu, C.: Assume-guarantee testing. In: Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, pp. 1–5. SAVCBS 2005, Association for Computing Machinery, New York, NY, USA (2005). https://doi.org/10.1145/1123058.1123060

  9. Boudhiba, I., Gaston, C., Le Gall, P., Prevosto, V.: Model-based testing from input output symbolic transition systems enriched by program calls and contracts. In: El-Fakih, K., Barlas, G., Yevtushenko, N. (eds.) ICTSS 2015. LNCS, vol. 9447, pp. 35–51. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-25945-1_3

    Chapter  Google Scholar 

  10. David, A., Larsen, K.G., Legay, A., Nyman, U., Wąsowski, A.: ECDAR: an environment for compositional design and analysis of real time systems. In: Bouajjani, A., Chin, W.-N. (eds.) ATVA 2010. LNCS, vol. 6252, pp. 365–370. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-15643-4_29

    Chapter  Google Scholar 

  11. David, A., Larsen, K.G., Nyman, U., Legay, A., Wasowski, A.: Timed i/o automata: a complete specification theory for real-time systems. In: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, pp. 91–100. HSCC 2010, Association for Computing Machinery, New York, NY, USA (2010). https://doi.org/10.1145/1755952.1755967

  12. Dias-Neto, A.C., Matalonga, S., Solari, M., Robiolo, G., Travassos, G.H.: Toward the characterization of software testing practices in South America: looking at Brazil and Uruguay. Softw. Qual. J. 25(4), 1145–1183 (2016). https://doi.org/10.1007/s11219-016-9329-3

    Article  Google Scholar 

  13. Larsen, K.G., Mikucionis, M., Nielsen, B.: Online testing of real-time systems using Uppaal. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 79–94. Springer, Heidelberg (2005). https://doi.org/10.1007/978-3-540-31848-4_6

    Chapter  MATH  Google Scholar 

  14. Törngren, M., Sellgren, U.: Complexity challenges in development of cyber-physical systems. In: Lohstroh, M., Derler, P., Sirjani, M. (eds.) Principles of Modeling. LNCS, vol. 10760, pp. 478–503. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-95246-8_27

    Chapter  Google Scholar 

  15. Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Softw. Test. Verif. Reliabil. 22(5), 297–312. https://doi.org/10.1002/stvr.456

Download references

Acknowledgement

This work has been supported by EXCITE (2014-2020.4.01.15-0018) grant.

Author information

Authors and Affiliations

  1. Tallinn University of Technology, Ehitaja tee 5, 12616, Tallinn, Estonia

    Jishu Guin, Jüri Vain & Leonidas Tsiopoulos

  2. Information Technology, Airobot OÜ, Tallinn, Estonia

    Gert Valdek

Authors
  1. Jishu Guin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jüri Vain
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Leonidas Tsiopoulos
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Gert Valdek
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Leonidas Tsiopoulos .

Editor information

Editors and Affiliations

  1. University of Novi Sad, Novi Sad, Serbia

    Mirjana Ivanovic

  2. Riga Technical University, Riga, Latvia

    Marite Kirikova

  3. University of Latvia, Riga, Latvia

    Laila Niedrite

Rights and permissions

Reprints and permissions

Copyright information

© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Guin, J., Vain, J., Tsiopoulos, L., Valdek, G. (2022). Temporal Multi-view Contracts for Efficient Test Models. In: Ivanovic, M., Kirikova, M., Niedrite, L. (eds) Digital Business and Intelligent Systems. Baltic DB&IS 2022. Communications in Computer and Information Science, vol 1598. Springer, Cham. https://doi.org/10.1007/978-3-031-09850-5_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-09850-5_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-09849-9

  • Online ISBN: 978-3-031-09850-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation