nach oben

Erschienen in:

2020 | OriginalPaper | Buchkapitel

Model-Driven Software Development Combined with Semantic Mutation of UML State Machines

verfasst von : Anna Derezinska, Łukasz Zaremba

Erschienen in: Evaluation of Novel Approaches to Software Engineering

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

The paper presents an approach to semantic mutation of state machines that specify class behavior in Model-Driven Software Development. The mutations are aimed at different variants of UML state machine behavior. Mutation testing of a target application allows to compare different semantic interpretations and verify a set of test cases. We present a notation of a process combining model-driven development with semantic mutation and semantic consequence-oriented mutations. Origin and details of the proposed mutation operators are discussed. The approach has been supported by the Framework for eXecutable UML (FXU) that creates a C# application from UML classes and state machines. The tool architecture has been reengineered in order to apply semantic mutation operators into the model-driven development process and realize testing on a set of semantic mutants. The tool and the implemented mutation operators have been verified in a case study on a status service for a social network.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Model-Driven Development Applied to Mobile Health and Clinical Scores

Nächstes Kapitel Model-Driven Automatic Question Generation for a Gamified Clinical Guideline Training System

Nur mit Berechtigung zugänglich

Jia, Y., Harman, M.: An analysis and survey of the development of mutation testing. IEEE Trans. Softw. Eng. 37(5), 649–678 (2011). https://doi.org/10.1109/tse.2010.62CrossRef

Papadakis, M., Kintis, M., Zhang, J., Jia, Y., Traon, Y.L., Harman, M.: Mutation testing advances: an analysis and survey. Adv. Comput. 112, 275–378 (2019). https://doi.org/10.1016/bs.adcom.2018.03.015CrossRef

Liddle, S.W.: Model-Driven Software Development. In: Embley, D.W., Thalheim, B. (eds.) Handbook of Conceptual Modeling, pp. 17–54. Springer, Heidelberg (2011)CrossRef

Domınguez, E., Perez, B., Rubio, A.L., Zapata, M.A.: A systematic review of code generation proposals from state machine specifications. Inf. Softw. Technol. 54(10), 1045–1066 (2012). https://doi.org/10.1016/j.infsof.2012.04.008CrossRef

Derezinska, A., Zaremba, Ł.: Mutating UML state machine behavior with semantic mutation operators. In: Damiani, E., Spanoudakis, G., Maciaszek, L. (eds.) Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE, vol. 1, pp. 385–393. Scitepress, Setubal (2019). https://doi.org/10.5220/0007735003850393

UML (Unified Modelling Language) (2017). http://www.omg.org/spec/UML

Clark, J.A., Dan, H., Hierons, R.M.: Semantic mutation testing. Sci. Comput. Program. 78(4), 345–363 (2013). https://doi.org/10.1016/j.scico.2011.03.011CrossRefMATH

Harel, D.: A visual formalism for complex systems. Sci. Comput. Program. 8(3), 231–274 (1987)MathSciNetCrossRef

Liebel, G., Marko, N., Tichy, M., Leitner, A., Hansson, J.: Model-based engineering in the embedded systems domain: an industrial survey on the state-of-practice. Softw. Syst. Model. 17(1), 91–113 (2018). https://doi.org/10.1007/s10270-016-0523-3CrossRef

10.

Beeck, M.: A comparison of Statecharts variants. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) FTRTFT 1994. LNCS, vol. 863, pp. 128–148. Springer, Heidelberg (1994). https://doi.org/10.1007/3-540-58468-4_163CrossRef

11.

Badreddin, O., Lethbridge, T.C., Forwared, A., Elaasar, M., Aljamaan, H., Garzon, M.A.: Enhanced code generation from UML composite state machines. In: Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp. 235–245. SCITEPRESS - Science and Technology Publications, Setubal (2014). https://doi.org/10.5220/0004699602350245

12.

Chauvel, F., Jézéquel, J.-M.: Code generation from UML models with semantic variation points. In: Briand, L., Williams, C. (eds.) MODELS 2005. LNCS, vol. 3713, pp. 54–68. Springer, Heidelberg (2005). https://doi.org/10.1007/11557432_5CrossRef

13.

Prout, A., Atlee, J.M., Day, N.A., Shaker, P.: Code generation for a family of executable modelling notations. Softw. Syst. Model. 11(2), 251–272 (2012). https://doi.org/10.1007/s10270-010-0176-6CrossRef

14.

Derezińska, A., Pilitowski, R.: Interpretation of history pseudostates in orthogonal states of UML state machines. In: Feldman, Y.A., Kraft, D., Kuflik, T. (eds.) NGITS 2009. LNCS, vol. 5831, pp. 26–37. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-04941-5_5CrossRef

15.

Derezinska, A., Szczykulski, M.: Interpretation problems in code generation from UML state machines - a comparative study. In: Kwater, T. (ed.) Computing in Science and Technology 2011: Monographs in Applied Informatics, Department of Applied Informatics Faculty of Applied Informatics and Mathematics, Warsaw University of Life Sciences, pp. 36–50 (2012)

16.

Batouta, Z.I., Dehbi, R., Talea, M., Hajoui, O.: Automation in code generation: tertiary and systematic mapping review. In: 4th IEEE International Colloquium on Information Science and Technology (CIST), pp. 200–205. IEEE (2017). https://doi.org/10.1109/cist.2016.7805042

17.

Sunitha, E.V., Samuel, P.: Object oriented method to implement the hierarchical and concurrent states in UML state chart diagrams. In: Lee, R. (ed.) Software Engineering Research, Management and Applications. SCI, vol. 654, pp. 133–149. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-33903-0_10CrossRef

18.

Samek, M.: Practical statecharts in C/C ++: quantum programming for embedded systems. CMP Books (2002)

19.

Wasowski, A.: Code generation and model driven development for constrained embedded software. Ph.D. thesis, University of Copenhagen (2005)

20.

Pilitowski, R., Dereziñska, A.: Code generation and execution framework for UML 2.0 classes and state machines. In: Sobh, T. (ed.) Innovations and Advanced Techniques in Computer and Information Sciences and Engineering, pp. 421–427. Springer, Dordrecht (2007). https://doi.org/10.1007/978-1-4020-6268-1_75CrossRef

21.

Iqbal, M.Z., Arcuri, A., Briand, L.: Environment modeling and simulation for automated testing of soft real-time embedded software. Softw. Syst. Model. 14(1), 483–524 (2013). https://doi.org/10.1007/s10270-013-0328-6CrossRef

22.

Burden, H., Heldal, R., Siljamaki, T.: Executable and translatable UML – how difficult can it be? In: 18th Asia-Pacific Software Engineering Conference, pp. 5–8. IEEE Computer Society, Washington (2011). https://doi.org/10.1109/apsec.2011.37

23.

Hoefig, E.: Interpretation of behaviour models at runtime: performance benchmark and case studies. Ph.D. thesis, Berlin Institute of Technology (2011). http://dx.doi.org/10.14279/depositonce-2842. Accessed 08 Aug 2019

24.

IBM RSA (Rational Software Architect). https://www.ibm.com/developerworks/downloads/r/architect. Accessed 08 Aug 2019

25.

fUML: Semantics of a Foundation Subset for Executable UML models (2018). http://www.omg.org/spec/FUML/. 01 Dec 2018

26.

IBM RRD (Rational Rhapsody Developer). https://www.ibm.com/developerworks/downloads/r/rhapsodydeveloper/. Accessed 08 Aug 2019

27.

FXU (Framework for eXecutable UML). http://galera.ii.pw.edu.pl/~adr/FXU/. Accessed 08 Aug 2019

28.

Derezińska, A., Szustek, A.: Object-oriented testing capabilities and performance evaluation of the c# mutation system. In: Szmuc, T., Szpyrka, M., Zendulka, J. (eds.) CEE-SET 2009. LNCS, vol. 7054, pp. 229–242. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-28038-2_18CrossRef

29.

Derezińska, A., Trzpil, P.: Mutation testing process combined with test-driven development in NET environment. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds.) Theory and Engineering of Complex Systems and Dependability. DepCoS-RELCOMEX 2015. Advances in Intelligent Systems and Computing, vol. 365, pp. 131–140. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-19216-1_13CrossRef

30.

Belli, F., Budnik, C.J., Hollmann, A., Tuglular, T., Wong, W.E.: Model-based mutation testing - approach and case studies. Sci. Comput. Program. 120(1), 25–48 (2016). https://doi.org/10.1016/j.scico.2016.01.003CrossRef

31.

Derezinska, A.: Object-oriented mutation to assess the quality of tests. In: Proceedings of the 29th Euromicro Conference, pp. 417–420 (2003). https://doi.org/10.1109/eurmic.2003.1231626

32.

Strug, J.: Applying mutation testing for assessing test suites quality at model level. In: Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, FedCSIS, Annals of Computer Science and Information Systems, vol. 8, pp. 1593–1596. IEEE (2016). https://doi.org/10.15439/2016f82

33.

Fabbri, S.C.P.F., Delmaro, M.E., Maldonado, J.C., Masiero, P.C.: Mutation analysis testing for finite state machines. In: Proceedings of the 5th IEEE International Symposium on Software Reliability Engineering, pp. 220–229. IEEE Computer Society Press (1994). https://doi.org/10.1109/issre.1994.341378

34.

Fabbri, S.C.P.F., Maldonado, J.C., Sugeta, T., Masiero, P.C.: Mutation testing applied to validate specifications based on statecharts. In: Proceedings 10th International Symposium on Software Reliability Engineering (Cat. No. PR00443), ISSRE 1999, pp. 210–219. IEEE Computer Society (1999). https://doi.org/10.1109/issre.1999.809326

35.

Trakhtenbrot, M.: New mutations for evaluation of specification and implementation levels of adequacy in testing of Statecharts models. In: Proceedings of Testing: Academic and Industrial Conference Practice and Research Techniques – MUTATION, TAICPART-MUTATION 2007, pp. 151–160. IEEE (2007). https://doi.org/10.1109/taic.part.2007.23

36.

Trakhtenbrot, M.: Implementation-oriented mutation testing of Statechart models. In: IEEE International Conference on Software Testing Verification and Validation Workshops (ICSTW), pp. 120–125. IEEE (2010). https://doi.org/10.1109/icstw.2010.55

37.

Trakhtenbrot, M.: Mutation patterns for temporal requirements of reactive systems. In: IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 116–121. IEEE (2017). https://doi.org/10.1109/icstw.2017.27

38.

Bartolini, C.: Software testing techniques revisited for OWL ontologies. In: Hammoudi, S., Pires, L.F., Selic, B., Desfray, P. (eds.) MODELSWARD 2016. CCIS, vol. 692, pp. 132–153. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-66302-9_7CrossRef

39.

Harel, D., et al.: STATEMATE: a working environment for the development of complex reactive systems. IEEE Trans. Softw. Eng. 16(4), 403–414 (1990). https://doi.org/10.1109/32.54292CrossRef

40.

Object Management Group: UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems (2018). http://www.omg.org/spec/MARTE/

41.

Derezińska, A., Redosz, K.: Reuse of project code in model to code transformation, In: Borzemski, L., et al. (eds.) Information Systems Architecture and Technology, Contemporary Approaches to Design and Evolution of Information Systems, pp. 79–88. Oficyna Wydawnicza Politechniki Wroclawskiej, Wroclaw (2014)

42.

Derezinska, A., Zaremba, Ł.: Approaches to semantic mutation of behavioral state machines in model-driven software development. In: Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, ACSIS, vol. 15, pp 863–866 (2018). https://doi.org/10.15439/2018f313

43.

Derezinska, A., Szczykulski, M.: Towards C# application development using UML state machines: a case study. In: Sobh, T., Elleithy, K. (eds.) Emerging Trends in Computing, Informatics, System Sciences, and Engineering. LNEE, vol. 151, pp. 793–803. Springer, New York (2013). https://doi.org/10.1007/978-1-4614-3558-7_68CrossRef

Titel: Model-Driven Software Development Combined with Semantic Mutation of UML State Machines
verfasst von: Anna Derezinska
Łukasz Zaremba
Verlag: Springer International Publishing
Buch: Evaluation of Novel Approaches to Software Engineering
Print ISBN: 978-3-030-40222-8

Electronic ISBN: 978-3-030-40223-5

Copyright-Jahr: 2020
DOI: https://doi.org/10.1007/978-3-030-40223-5_10

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"