Skip to main content
Top

2018 | OriginalPaper | Chapter

Towards Minimizing the Impact of Changes Using Search-Based Approach

Authors : Bogdan Korel, Nada Almasri, Luay Tahat

Published in: Search-Based Software Engineering

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Software maintenance is becoming more challenging with the increased complexity of the software and the frequently applied modifications. To manage this complexity, systems development is headed towards Model-driven engineering (MDE) and search-based software engineering (SBSE). Additionally, prior to applying a change to these complex systems, change impact analysis is usually performed in order to determine the scope of the change, its feasibility, and the time and resources required to implement the change. The bigger the scope, the riskier the change is on the system. In this paper, we introduce a set of transformation rules for Extended Finite State Machine (EFSM) models of state-based systems. These transformation rules can be used as the basis for search-based model optimization in order to reduce the average impact of a potential change applied to an EFSM model. Assuming that Model-driven development is adopted for the implementation of a state-based system, reducing the change impact at the model level will lead to reducing the impact at the system level. An exploratory study is performed to measure the impact reduction for a given EFSM model when the transformation rules are applied by a search-based algorithm. The initial results show a promising usage of the transformation rules which can lead to a reduction of more than 50% of the initial average change impact of the model.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

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!

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!

Literature
1.
go back to reference Tahat, L., Korel, B., Koutsogiannakis, G., Almasri, N.: State-based models in regression test suite prioritization. Soft. Qual. J. 25(3), 703–742 (2016)CrossRef Tahat, L., Korel, B., Koutsogiannakis, G., Almasri, N.: State-based models in regression test suite prioritization. Soft. Qual. J. 25(3), 703–742 (2016)CrossRef
2.
go back to reference Boussaïd, I., Siarry, P., Ahmed-Nacer, M.: A survey on search-based model-driven engineering. Autom. Softw. Eng. 24(1), 233–294 (2017)CrossRef Boussaïd, I., Siarry, P., Ahmed-Nacer, M.: A survey on search-based model-driven engineering. Autom. Softw. Eng. 24(1), 233–294 (2017)CrossRef
3.
go back to reference Korel, B., Tahat, L., Vaysburg, B.: Model based regression test reduction using dependence analysis. In: Proceedings of the International IEEE Conference on Software Maintenance, pp. 214–223 (2002) Korel, B., Tahat, L., Vaysburg, B.: Model based regression test reduction using dependence analysis. In: Proceedings of the International IEEE Conference on Software Maintenance, pp. 214–223 (2002)
4.
go back to reference Korel, B., Tahat, L.: Understanding modification in state-based system. In: Proceeding of the 12th IEEE International Conference on Program Comprehension London, UK, pp. 246–250 (2004) Korel, B., Tahat, L.: Understanding modification in state-based system. In: Proceeding of the 12th IEEE International Conference on Program Comprehension London, UK, pp. 246–250 (2004)
5.
go back to reference Tahat, L., Korel, B., Hartman, M., Ural, H.: Regression test suite prioritization using system models. Soft. Test. Ver. Rel. (STRV) 22(7), 481–506 (2011)CrossRef Tahat, L., Korel, B., Hartman, M., Ural, H.: Regression test suite prioritization using system models. Soft. Test. Ver. Rel. (STRV) 22(7), 481–506 (2011)CrossRef
6.
go back to reference Almasri, N., Tahat, L.: Towards automatically quantifying the impact of a change in systems. Softw. Qual. J. 25(3), 601–640 (2016)CrossRef Almasri, N., Tahat, L.: Towards automatically quantifying the impact of a change in systems. Softw. Qual. J. 25(3), 601–640 (2016)CrossRef
7.
go back to reference Williams, J.R., Paige, R.F., Polack, F.A.C.: Searching for model migration strategies. In: Proceedings of the 6th International Workshop Models and Evolution, pp. 39–44. ACM, New York (2012) Williams, J.R., Paige, R.F., Polack, F.A.C.: Searching for model migration strategies. In: Proceedings of the 6th International Workshop Models and Evolution, pp. 39–44. ACM, New York (2012)
8.
go back to reference Bohner, S.A., Arnold, R.S.: Software Change Impact Analysis. IEEE Computer Society Press (1996) Bohner, S.A., Arnold, R.S.: Software Change Impact Analysis. IEEE Computer Society Press (1996)
9.
go back to reference Lehnert, S.: A review of software change impact analysis. Ilmenau University of Technology, Technical report (2011) Lehnert, S.: A review of software change impact analysis. Ilmenau University of Technology, Technical report (2011)
10.
go back to reference Harman, M., Jones, B.F.: Search-based soft. Eng. Inf. Soft. Tech. 43(14), 833–839 (2001)CrossRef Harman, M., Jones, B.F.: Search-based soft. Eng. Inf. Soft. Tech. 43(14), 833–839 (2001)CrossRef
11.
go back to reference O’Keeffe, M., Cinnéide, M.Ó.: Search-based refactoring: an empirical study. J. Softw. Maint. Evol. 20(5), 345–364 (2008) O’Keeffe, M., Cinnéide, M.Ó.: Search-based refactoring: an empirical study. J. Softw. Maint. Evol. 20(5), 345–364 (2008)
12.
go back to reference Favre, J.: Towards a basic theory to model driven engineering. In: Proceedings of the UML 2004 International Workshop on Software Model Engineering (2004) Favre, J.: Towards a basic theory to model driven engineering. In: Proceedings of the UML 2004 International Workshop on Software Model Engineering (2004)
13.
go back to reference Mens, T., Van Gorp, P.: A taxonomy of model transformation. Electron. Notes Theory Comput. Sci. 152(1), 125–142 (2006)CrossRef Mens, T., Van Gorp, P.: A taxonomy of model transformation. Electron. Notes Theory Comput. Sci. 152(1), 125–142 (2006)CrossRef
14.
go back to reference Czarnecki, K., Helsen, S.: Classification of model transformation approaches. In: Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of MDA (2003) Czarnecki, K., Helsen, S.: Classification of model transformation approaches. In: Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of MDA (2003)
15.
go back to reference Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Boston (1999)MATH Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Boston (1999)MATH
17.
go back to reference Räihä, O.: A survey on search-based software design. Comput. Sci. Rev. 4(4), 203–249 (2010)CrossRef Räihä, O.: A survey on search-based software design. Comput. Sci. Rev. 4(4), 203–249 (2010)CrossRef
18.
go back to reference Misbhauddin, M., Alshayeb, M.: UML model refactoring: a systematic literature reviews. Empir. Softw. Eng. 20(1), 206–251 (2015)CrossRef Misbhauddin, M., Alshayeb, M.: UML model refactoring: a systematic literature reviews. Empir. Softw. Eng. 20(1), 206–251 (2015)CrossRef
20.
21.
go back to reference Adenis, P., Mukherjee, K., Ray, A.: State splitting and state merging in probabilistic finite state automata. In: IEEE American Control Conference, pp. 5145–5150 (2011) Adenis, P., Mukherjee, K., Ray, A.: State splitting and state merging in probabilistic finite state automata. In: IEEE American Control Conference, pp. 5145–5150 (2011)
22.
go back to reference Lu, G., Miao, H.: An approach to generating test data for EFSM paths considering condition coverage. Electron. Notes Theor. Comput. Sci. 309, 13–29 (2014)CrossRef Lu, G., Miao, H.: An approach to generating test data for EFSM paths considering condition coverage. Electron. Notes Theor. Comput. Sci. 309, 13–29 (2014)CrossRef
23.
go back to reference Kalaji, A., Hierons, R., Swift, S.: An integrated search-based approach for automatic testing from extended finite state machine models. Info. Soft. Tech. 53(12), 1297–1318 (2011)CrossRef Kalaji, A., Hierons, R., Swift, S.: An integrated search-based approach for automatic testing from extended finite state machine models. Info. Soft. Tech. 53(12), 1297–1318 (2011)CrossRef
24.
go back to reference Fleck, M., Troya, J., Kessentini, M., Wimmer, M., Alkhazi, B.: Model transformation modularization as a many-objective optimization problem. IEEE Trans. Softw. Eng. 43(11), 1009–1032 (2017)CrossRef Fleck, M., Troya, J., Kessentini, M., Wimmer, M., Alkhazi, B.: Model transformation modularization as a many-objective optimization problem. IEEE Trans. Softw. Eng. 43(11), 1009–1032 (2017)CrossRef
Metadata
Title
Towards Minimizing the Impact of Changes Using Search-Based Approach
Authors
Bogdan Korel
Nada Almasri
Luay Tahat
Copyright Year
2018
DOI
https://doi.org/10.1007/978-3-319-99241-9_14

Premium Partner