Skip to main content

2020 | OriginalPaper | Buchkapitel

On the Replicability of Experimental Tool Evaluations in Model-Based Development

Lessons Learnt from a Systematic Literature Review Focusing on MATLAB/Simulink

verfasst von : Alexander Boll, Timo Kehrer

Erschienen in: Systems Modelling and Management

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

Research on novel tools for model-based development differs from a mere engineering task by providing some form of evidence that a tool is effective. This is typically achieved by experimental evaluations. Following principles of good scientific practice, both the tool and the models used in the experiments should be made available along with a paper. We investigate to which degree these basic prerequisites for the replicability of experimental results are met by recent research reporting on novel methods, techniques, or algorithms supporting model-based development using MATLAB/Simulink. Our results from a systematic literature review are rather unsatisfactory. In a nutshell, we found that only 31% of the tools and 22% of the models used as experimental subjects are accessible. Given that both artifacts are needed for a replication study, only 9% of the tool evaluations presented in the examined papers can be classified to be replicable in principle. Given that tools are still being listed among the major obstacles of a more widespread adoption of model-based principles in practice, we see this as an alarming signal. While we are convinced that this can only be achieved as a community effort, this paper is meant to serve as starting point for discussion, based on the lessons learnt from our study.

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!

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!

Literatur
1.
Zurück zum Zitat Arrieta, A., Wang, S., Arruabarrena, A., Markiegi, U., Sagardui, G., Etxeberria, L.: Multi-objective black-box test case selection for cost-effectively testing simulation models. In: Proceedings of the Genetic and Evolutionary Computation Conference GECCO 2018, pp. 1411–1418. Association for Computing Machinery, New York (2018) Arrieta, A., Wang, S., Arruabarrena, A., Markiegi, U., Sagardui, G., Etxeberria, L.: Multi-objective black-box test case selection for cost-effectively testing simulation models. In: Proceedings of the Genetic and Evolutionary Computation Conference GECCO 2018, pp. 1411–1418. Association for Computing Machinery, New York (2018)
2.
Zurück zum Zitat Arrieta, A., Wang, S., Markiegi, U., Arruabarrena, A., Etxeberria, L., Sagardui, G.: Pareto efficient multi-objective black-box test case selection for simulation-based testing. Inf. Softw. Technol. 114, 137–154 (2019)CrossRef Arrieta, A., Wang, S., Markiegi, U., Arruabarrena, A., Etxeberria, L., Sagardui, G.: Pareto efficient multi-objective black-box test case selection for simulation-based testing. Inf. Softw. Technol. 114, 137–154 (2019)CrossRef
3.
Zurück zum Zitat Bertram, V., Maoz, S., Ringert, J.O., Rumpe, B., von Wenckstern, M.: Component and connector views in practice: an experience report. In: Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems MODELS 2017, pp. 167–177. IEEE Press (2017) Bertram, V., Maoz, S., Ringert, J.O., Rumpe, B., von Wenckstern, M.: Component and connector views in practice: an experience report. In: Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems MODELS 2017, pp. 167–177. IEEE Press (2017)
4.
Zurück zum Zitat Bertram, V., Maoz, S., Ringert, J.O., Rumpe, B., von Wenckstern, M.: Component and connector views in practice: an experience report. In: 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 167–177. IEEE (2017) Bertram, V., Maoz, S., Ringert, J.O., Rumpe, B., von Wenckstern, M.: Component and connector views in practice: an experience report. In: 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 167–177. IEEE (2017)
6.
Zurück zum Zitat Brambilla, M., Cabot, J., Wimmer, M.: Model-driven software engineering in practice. Synth. Lect. Softw. Eng. 3(1), 1–207 (2017)CrossRef Brambilla, M., Cabot, J., Wimmer, M.: Model-driven software engineering in practice. Synth. Lect. Softw. Eng. 3(1), 1–207 (2017)CrossRef
7.
Zurück zum Zitat Chowdhury, S.A.: Understanding and improving cyber-physical system models and development tools. In: 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion), pp. 452–453, May 2018 Chowdhury, S.A.: Understanding and improving cyber-physical system models and development tools. In: 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion), pp. 452–453, May 2018
8.
Zurück zum Zitat Chowdhury, S.A., Mohian, S., Mehra, S., Gawsane, S., Johnson, T.T., Csallner, C.: Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge. In: 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), pp. 981–992, May 2018 Chowdhury, S.A., Mohian, S., Mehra, S., Gawsane, S., Johnson, T.T., Csallner, C.: Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge. In: 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), pp. 981–992, May 2018
9.
Zurück zum Zitat Chowdhury, S.A., Shrestha, S.L., Johnson, T.T., Csallner, C.: SLEMI: Equivalence Modulo Input (EMI) based mutation of CPS models for finding compiler bugs in Simulink. In: Proceedings of 42nd ACM/IEEE International Conference on Software Engineering (ICSE). ACM (2020, To appear) Chowdhury, S.A., Shrestha, S.L., Johnson, T.T., Csallner, C.: SLEMI: Equivalence Modulo Input (EMI) based mutation of CPS models for finding compiler bugs in Simulink. In: Proceedings of 42nd ACM/IEEE International Conference on Software Engineering (ICSE). ACM (2020, To appear)
10.
Zurück zum Zitat Chowdhury, S.A., Varghese, L.S., Mohian, S., Johnson, T.T., Csallner, C.: A curated corpus of simulink models for model-based empirical studies. In: 2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), pp. 45–48. IEEE (2018) Chowdhury, S.A., Varghese, L.S., Mohian, S., Johnson, T.T., Csallner, C.: A curated corpus of simulink models for model-based empirical studies. In: 2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), pp. 45–48. IEEE (2018)
11.
Zurück zum Zitat Cohen, J.: A coefficient of agreement for nominal scales. Educ. Psychol. Measur. 20(1), 37–46 (1960)CrossRef Cohen, J.: A coefficient of agreement for nominal scales. Educ. Psychol. Measur. 20(1), 37–46 (1960)CrossRef
12.
Zurück zum Zitat Elberzhager, F., Rosbach, A., Bauer, T.: Analysis and testing of Matlab simulink models: a systematic mapping study. In: Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to Testing Automation JAMAICA 2013, pp. 29–34. Association for Computing Machinery, New York (2013) Elberzhager, F., Rosbach, A., Bauer, T.: Analysis and testing of Matlab simulink models: a systematic mapping study. In: Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to Testing Automation JAMAICA 2013, pp. 29–34. Association for Computing Machinery, New York (2013)
13.
Zurück zum Zitat France, R., Rumpe, B.: Model-driven development of complex software: a research roadmap. In: Future of Software Engineering (FOSE 2007), pp. 37–54. IEEE (2007) France, R., Rumpe, B.: Model-driven development of complex software: a research roadmap. In: Future of Software Engineering (FOSE 2007), pp. 37–54. IEEE (2007)
14.
Zurück zum Zitat Gallego-Calderon, J., Natarajan, A.: Assessment of wind turbine drive-train fatigue loads under torsional excitation. Eng. Struct. 103, 189–202 (2015)CrossRef Gallego-Calderon, J., Natarajan, A.: Assessment of wind turbine drive-train fatigue loads under torsional excitation. Eng. Struct. 103, 189–202 (2015)CrossRef
15.
Zurück zum Zitat Gerlitz, T., Kowalewski, S.: Flow sensitive slicing for MATLAB/Simulink models. In: 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA), pp. 81–90, April 2016 Gerlitz, T., Kowalewski, S.: Flow sensitive slicing for MATLAB/Simulink models. In: 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA), pp. 81–90, April 2016
16.
Zurück zum Zitat Gusenbauer, M., Haddaway, N.R.: Which academic search systems are suitable for systematic reviews or meta-analyses? Evaluating retrieval qualities of Google Scholar, PubMed and 26 other resources. Res. Synth. Methods 11, 181–217 (2019)CrossRef Gusenbauer, M., Haddaway, N.R.: Which academic search systems are suitable for systematic reviews or meta-analyses? Evaluating retrieval qualities of Google Scholar, PubMed and 26 other resources. Res. Synth. Methods 11, 181–217 (2019)CrossRef
17.
Zurück zum Zitat Hebig, R., Quang, T.H., Chaudron, M.R., Robles, G., Fernandez, M.A.: The quest for open source projects that use UML: mining GitHub. In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, pp. 173–183 (2016) Hebig, R., Quang, T.H., Chaudron, M.R., Robles, G., Fernandez, M.A.: The quest for open source projects that use UML: mining GitHub. In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, pp. 173–183 (2016)
18.
Zurück zum Zitat Holling, D., Hofbauer, A., Pretschner, A., Gemmar, M.: Profiting from unit tests for integration testing. In: 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST), pp. 353–363, April 2016 Holling, D., Hofbauer, A., Pretschner, A., Gemmar, M.: Profiting from unit tests for integration testing. In: 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST), pp. 353–363, April 2016
19.
Zurück zum Zitat Hussain, A., Sher, H.A., Murtaza, A.F., Al-Haddad, K.: Improved restricted control set model predictive control (iRCS-MPC) based maximum power point tracking of photovoltaic module. IEEE Access 7, 149422–149432 (2019)CrossRef Hussain, A., Sher, H.A., Murtaza, A.F., Al-Haddad, K.: Improved restricted control set model predictive control (iRCS-MPC) based maximum power point tracking of photovoltaic module. IEEE Access 7, 149422–149432 (2019)CrossRef
20.
Zurück zum Zitat Jiang, Z., Wu, X., Dong, Z., Mu, M.: Optimal test case generation for Simulink models using slicing. In: 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), pp. 363–369, July 2017 Jiang, Z., Wu, X., Dong, Z., Mu, M.: Optimal test case generation for Simulink models using slicing. In: 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), pp. 363–369, July 2017
21.
Zurück zum Zitat Kehrer, T., Kelter, U., Ohrndorf, M., Sollbach, T.: Understanding model evolution through semantically lifting model differences with SiLift. In: 28th IEEE International Conference on Software Maintenance (ICSM), pp. 638–641. IEEE (2012) Kehrer, T., Kelter, U., Ohrndorf, M., Sollbach, T.: Understanding model evolution through semantically lifting model differences with SiLift. In: 28th IEEE International Conference on Software Maintenance (ICSM), pp. 638–641. IEEE (2012)
22.
Zurück zum Zitat Kehrer, T., Kelter, U., Pietsch, P., Schmidt, M.: Adaptability of model comparison tools. In: Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, pp. 306–309. IEEE (2012) Kehrer, T., Kelter, U., Pietsch, P., Schmidt, M.: Adaptability of model comparison tools. In: Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, pp. 306–309. IEEE (2012)
23.
Zurück zum Zitat Khelifi, A., Ben Lakhal, N.M., Gharsallaoui, H., Nasri, O.: Artificial neural network-based fault detection. In: 2018 5th International Conference on Control, Decision and Information Technologies (CoDIT), pp. 1017–1022, April 2018 Khelifi, A., Ben Lakhal, N.M., Gharsallaoui, H., Nasri, O.: Artificial neural network-based fault detection. In: 2018 5th International Conference on Control, Decision and Information Technologies (CoDIT), pp. 1017–1022, April 2018
24.
Zurück zum Zitat Kitchenham, B., Charters, S.: Guidelines for performing systematic literature reviews in software engineering (2007) Kitchenham, B., Charters, S.: Guidelines for performing systematic literature reviews in software engineering (2007)
25.
Zurück zum Zitat Kitchenham, B., et al.: Systematic literature reviews in software engineering-a tertiary study. Inf. Softw. Technol. 52(8), 792–805 (2010)CrossRef Kitchenham, B., et al.: Systematic literature reviews in software engineering-a tertiary study. Inf. Softw. Technol. 52(8), 792–805 (2010)CrossRef
26.
Zurück zum Zitat Kuroki, Y., Yoo, M., Yokoyama, T.: A Simulink to UML model transformation tool for embedded control software development. In: IEEE International Conference on Industrial Technology, ICIT 2016, Taipei, Taiwan, 14–17 March 2016, pp. 700–706. IEEE (2016) Kuroki, Y., Yoo, M., Yokoyama, T.: A Simulink to UML model transformation tool for embedded control software development. In: IEEE International Conference on Industrial Technology, ICIT 2016, Taipei, Taiwan, 14–17 March 2016, pp. 700–706. IEEE (2016)
27.
Zurück zum Zitat Kusmenko, E., Shumeiko, I., Rumpe, B., von Wenckstern, M.: Fast simulation preorder algorithm. In: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development MODELSWARD 2018, pp. 256–267. SCITEPRESS - Science and Technology Publications, Lda, Setubal, PRT (2018) Kusmenko, E., Shumeiko, I., Rumpe, B., von Wenckstern, M.: Fast simulation preorder algorithm. In: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development MODELSWARD 2018, pp. 256–267. SCITEPRESS - Science and Technology Publications, Lda, Setubal, PRT (2018)
28.
Zurück zum Zitat Lamprecht, A.L., et al.: Towards fair principles for research software. Data Sci. 1–23 (2019, Preprint) Lamprecht, A.L., et al.: Towards fair principles for research software. Data Sci. 1–23 (2019, Preprint)
29.
Zurück zum Zitat Langer, P., Mayerhofer, T., Wimmer, M., Kappel, G.: On the usage of UML: initial results of analyzing open UML models. In: Modellierung 2014 (2014) Langer, P., Mayerhofer, T., Wimmer, M., Kappel, G.: On the usage of UML: initial results of analyzing open UML models. In: Modellierung 2014 (2014)
30.
Zurück zum Zitat Liggesmeyer, P., Trapp, M.: Trends in embedded software engineering. IEEE Softw. 26(3), 19–25 (2009)CrossRef Liggesmeyer, P., Trapp, M.: Trends in embedded software engineering. IEEE Softw. 26(3), 19–25 (2009)CrossRef
31.
Zurück zum Zitat Matinnejad, R., Nejati, S., Briand, L.C., Bruckmann, T.: Automated test suite generation for time-continuous Simulink models. In: 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE), pp. 595–606, May 2016 Matinnejad, R., Nejati, S., Briand, L.C., Bruckmann, T.: Automated test suite generation for time-continuous Simulink models. In: 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE), pp. 595–606, May 2016
32.
Zurück zum Zitat Matinnejad, R., Nejati, S., Briand, L.C., Bruckmann, T.: Test generation and test prioritization for Simulink models with dynamic behavior. IEEE Trans. Softw. Eng. 45(9), 919–944 (2019)CrossRef Matinnejad, R., Nejati, S., Briand, L.C., Bruckmann, T.: Test generation and test prioritization for Simulink models with dynamic behavior. IEEE Trans. Softw. Eng. 45(9), 919–944 (2019)CrossRef
33.
Zurück zum Zitat Nejati, S., Gaaloul, K., Menghi, C., Briand, L.C., Foster, S., Wolfe, D.: Evaluating model testing and model checking for finding requirements violations in Simulink models. In: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ESEC/FSE 2019, pp. 1015–1025. Association for Computing Machinery, New York (2019) Nejati, S., Gaaloul, K., Menghi, C., Briand, L.C., Foster, S., Wolfe, D.: Evaluating model testing and model checking for finding requirements violations in Simulink models. In: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ESEC/FSE 2019, pp. 1015–1025. Association for Computing Machinery, New York (2019)
34.
Zurück zum Zitat Norouzi, P., Kıvanç, Ö.C., Üstün, Ö.: High performance position control of double sided air core linear brushless DC motor. In: 2017 10th International Conference on Electrical and Electronics Engineering (ELECO), pp. 233–238, November 2017 Norouzi, P., Kıvanç, Ö.C., Üstün, Ö.: High performance position control of double sided air core linear brushless DC motor. In: 2017 10th International Conference on Electrical and Electronics Engineering (ELECO), pp. 233–238, November 2017
35.
Zurück zum Zitat Oussalem, O., Kourchi, M., Rachdy, A., Ajaamoum, M., Idadoub, H., Jenkal, S.: A low cost controller of PV system based on Arduino board and INC algorithm. Mater. Today: Proc. 24, 104–109 (2019) Oussalem, O., Kourchi, M., Rachdy, A., Ajaamoum, M., Idadoub, H., Jenkal, S.: A low cost controller of PV system based on Arduino board and INC algorithm. Mater. Today: Proc. 24, 104–109 (2019)
36.
Zurück zum Zitat Rao, A.C., Raouf, A., Dhadyalla, G., Pasupuleti, V.: Mutation testing based evaluation of formal verification tools. In: 2017 International Conference on Dependable Systems and Their Applications (DSA), pp. 1–7, October 2017 Rao, A.C., Raouf, A., Dhadyalla, G., Pasupuleti, V.: Mutation testing based evaluation of formal verification tools. In: 2017 International Conference on Dependable Systems and Their Applications (DSA), pp. 1–7, October 2017
37.
Zurück zum Zitat Rashid, M., Anwar, M.W., Khan, A.M.: Toward the tools selection in model based system engineering for embedded systems-a systematic literature review. J. Syst. Softw. 106, 150–163 (2015)CrossRef Rashid, M., Anwar, M.W., Khan, A.M.: Toward the tools selection in model based system engineering for embedded systems-a systematic literature review. J. Syst. Softw. 106, 150–163 (2015)CrossRef
38.
Zurück zum Zitat Rebaya, A., Gasmi, K., Hasnaoui, S.: A Simulink-based rapid prototyping workflow for optimizing software/hardware programming. In: 2018 26th International Conference on Software, Telecommunications and Computer Networks (SoftCOM), pp. 1–6. IEEE (2018) Rebaya, A., Gasmi, K., Hasnaoui, S.: A Simulink-based rapid prototyping workflow for optimizing software/hardware programming. In: 2018 26th International Conference on Software, Telecommunications and Computer Networks (SoftCOM), pp. 1–6. IEEE (2018)
39.
Zurück zum Zitat Sanchez, B., Zolotas, A., Rodriguez, H.H., Kolovos, D., Paige, R.: On-the-fly translation and execution of OCL-like queries on simulink models. In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 205–215. IEEE (2019) Sanchez, B., Zolotas, A., Rodriguez, H.H., Kolovos, D., Paige, R.: On-the-fly translation and execution of OCL-like queries on simulink models. In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 205–215. IEEE (2019)
40.
Zurück zum Zitat Shaw, M.: What makes good research in software engineering? Int. J. Softw. Tools Technol. Trans. 4(1), 1–7 (2002)CrossRef Shaw, M.: What makes good research in software engineering? Int. J. Softw. Tools Technol. Trans. 4(1), 1–7 (2002)CrossRef
41.
Zurück zum Zitat Silva, R., Neiva, F.: Systematic literature review in computer science - a practical guide, November 2016 Silva, R., Neiva, F.: Systematic literature review in computer science - a practical guide, November 2016
42.
Zurück zum Zitat Stapić, Z., López, E.G., Cabot, A.G., de Marcos Ortega, L., Strahonja, V.: Performing systematic literature review in software engineering. In: CECIIS 2012–23rd International Conference (2012) Stapić, Z., López, E.G., Cabot, A.G., de Marcos Ortega, L., Strahonja, V.: Performing systematic literature review in software engineering. In: CECIIS 2012–23rd International Conference (2012)
43.
Zurück zum Zitat Stephan, M., Cordy, J.R.: Identifying instances of model design patterns and antipatterns using model clone detection. In: Proceedings of the Seventh International Workshop on Modeling in Software Engineering MiSE 2015, pp. 48–53. IEEE Press (2015) Stephan, M., Cordy, J.R.: Identifying instances of model design patterns and antipatterns using model clone detection. In: Proceedings of the Seventh International Workshop on Modeling in Software Engineering MiSE 2015, pp. 48–53. IEEE Press (2015)
44.
Zurück zum Zitat Strathmann, T., Oehlerking, J.: Verifying properties of an electro-mechanical braking system. In: 2nd Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2015), April 2015 Strathmann, T., Oehlerking, J.: Verifying properties of an electro-mechanical braking system. In: 2nd Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2015), April 2015
45.
Zurück zum Zitat Tomita, T., Ishii, D., Murakami, T., Takeuchi, S., Aoki, T.: A scalable Monte-Carlo test-case generation tool for large and complex simulink models. In: 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE). pp. 39–46, May 2019 Tomita, T., Ishii, D., Murakami, T., Takeuchi, S., Aoki, T.: A scalable Monte-Carlo test-case generation tool for large and complex simulink models. In: 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE). pp. 39–46, May 2019
46.
Zurück zum Zitat Völter, M., Stahl, T., Bettin, J., Haase, A., Helsen, S.: Model-Driven Software Development: Technology, Engineering, Management. Wiley, Hoboken (2013) Völter, M., Stahl, T., Bettin, J., Haase, A., Helsen, S.: Model-Driven Software Development: Technology, Engineering, Management. Wiley, Hoboken (2013)
47.
Zurück zum Zitat Whittle, J., Hutchinson, J., Rouncefield, M., Burden, H., Heldal, R.: Industrial adoption of model-driven engineering: are the tools really the problem? In: Moreira, A., Schätz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 1–17. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-41533-3_1CrossRef Whittle, J., Hutchinson, J., Rouncefield, M., Burden, H., Heldal, R.: Industrial adoption of model-driven engineering: are the tools really the problem? In: Moreira, A., Schätz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 1–17. Springer, Heidelberg (2013). https://​doi.​org/​10.​1007/​978-3-642-41533-3_​1CrossRef
48.
Zurück zum Zitat Wilkinson, M.D., et al.: The fair guiding principles for scientific data management and stewardship. Sci. Data 3, 1–9 (2016)CrossRef Wilkinson, M.D., et al.: The fair guiding principles for scientific data management and stewardship. Sci. Data 3, 1–9 (2016)CrossRef
49.
Zurück zum Zitat Wille, D., Babur, Ö., Cleophas, L., Seidl, C., van den Brand, M., Schaefer, I.: Improving custom-tailored variability mining using outlier and cluster detection. Sci. Comput. Program. 163, 62–84 (2018)CrossRef Wille, D., Babur, Ö., Cleophas, L., Seidl, C., van den Brand, M., Schaefer, I.: Improving custom-tailored variability mining using outlier and cluster detection. Sci. Comput. Program. 163, 62–84 (2018)CrossRef
50.
Zurück zum Zitat Yang, Y., Jiang, Y., Gu, M., Sun, J.: Verifying Simulink Stateflow model: Timed automata approach. In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering ASE 2016, pp. 852–857. Association for Computing Machinery, New York (2016) Yang, Y., Jiang, Y., Gu, M., Sun, J.: Verifying Simulink Stateflow model: Timed automata approach. In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering ASE 2016, pp. 852–857. Association for Computing Machinery, New York (2016)
Metadaten
Titel
On the Replicability of Experimental Tool Evaluations in Model-Based Development
verfasst von
Alexander Boll
Timo Kehrer
Copyright-Jahr
2020
DOI
https://doi.org/10.1007/978-3-030-58167-1_9

Premium Partner