Abstract
This paper presents a method for offline test derivation from formal aspect-oriented models so that the tests provide coverage in terms of aspects related metrics. A test purpose specification method in temporal logic TCTL is proposed that enables referring to the attributes of aspect models symbolically. The method is exemplified on a health monitoring system and the quantitative evidence of the advantages provided by the method are evaluated in terms of work effort put into the test development and by analytical reasoning on the complexity.
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
Ali, S.L., Briand, L., Hemmati, H.: Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems. Softw. Syst. Model. 11(4), 633–670 (2012)
Alur, R., Courcoubetis, C., Dill, D.: Model-checking for real-time systems. In: Proceedings of Fifth Annual IEEE Symposium on Logic in Computer Science, LICS 1990, pp. 414–425. IEEE (1990)
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
France, R.B., Ray, I., Georg, G., Ghosh, S.: An aspect-oriented approach to early design modelling. IEE Proc. Softw. 151(4), 173–185 (2004)
Katoen, J.P.: Concepts, Algorithms, and Tools for Model Checking. IMMD, Erlangen (1999)
Kuusik, A., Reilent, E., Sarna, K., Parve, M.: Home telecare and rehabilitation system with aspect oriented functional integration. Biomedical Engineering/Biomedizinische Technik 57(SI-1 Track-N), 1004–1007 (2012). https://doi.org/10.1515/bmt-2012-4194
Mehmood, A., Jawawi, D.: A quantitative assessment of aspect design notations with respect to reusability and maintainability of models. In: Proceedings of 8th Malaysian Software Engineering Conference (MySEC), pp. 136–141. IEEE (2014)
Sarna, K., Vain, J.: Exploiting aspects in model-based testing. In: Proceedings of the Eleventh Workshop on Foundations of Aspect-Oriented Languages - FOAL 2012, pp. 45–48. ACM, New York (2012). https://doi.org/10.1145/2162010.2162023
Sarna, K., Vain, J.: Aspect-oriented testing of a rehabilitation system. In: Kanstren, T., Helle, P. (eds.) Proceedings of the Sixth International Conference on Advances in System Testing and Validation Lifecycle - VALID 2014, pp. 73–78. IARIA (2014)
Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Softw. Test. Verification Reliab. 22(5), 297–312 (2012)
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
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Vain, J., Tsiopoulos, L., Kanter, G. (2021). Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata. In: Attiogbé, C., Ben Yahia, S. (eds) Model and Data Engineering. MEDI 2021. Lecture Notes in Computer Science(), vol 12732. Springer, Cham. https://doi.org/10.1007/978-3-030-78428-7_10
Download citation
DOI: https://doi.org/10.1007/978-3-030-78428-7_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-78427-0
Online ISBN: 978-3-030-78428-7
eBook Packages: Computer ScienceComputer Science (R0)