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 to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Practitest: The 2022 state of testing report. https://www.practitest.com/state-of-testing/
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)
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)
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
Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, Cambridge (2008)
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
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
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
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
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
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
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
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
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
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
Acknowledgement
This work has been supported by EXCITE (2014-2020.4.01.15-0018) grant.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
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)