Details

Autor(en) / Beteiligte

• Jovanovikj, Ivan
• Engels, Gregor[Akademischer Betreuer]
• Ebert, Jürgen[Akademischer Betreuer]
• Bodden, Eric[Akademischer Betreuer]
• Sauer, Stefan[Akademischer Betreuer]
• Zimmermann, Olaf[Akademischer Betreuer]

Titel

Validation of software migration : model-driven co-migration of test cases

Ort / Verlag

Paderborn

Erscheinungsjahr

2020

Link zu anderen Inhalten

• Volltext
• Volltext

Verknüpfte Titel

Beschreibungen/Notizen

• Tag der Verteidigung: 10.12.2020
• Open Access
• ger: Das Testen von Software spielt im Kontext der Softwaremigration eine wichtige Rolle, da es zur Validierung und Sicherstellung der Funktionsäquivalenz als Schlüsselanforderung verwendet wird. Da die Erstellung von Testfällen eine teure und zeitaufwändige Aktivität ist, sollte ihre Wiederverwendung in Betracht gezogen werden, wenn Testfälle vorhanden sind, was ihre Co-Migration impliziert. Wir adressieren das oben genannten Problem, indem wir ein Framework vorschlagen, das eine End-zu-End-Lösung bietet, indem wir die drei allgemeinen Migrationsphasen behandeln: Vormigration, Migration und Nachmigration. Erstens wird in der Vormigrationsphase eine Bewertung der Testfallqualität durchgeführt, um die Qualität der vorhandenen Testfälle zu bewerten. Dann wird in der Migrationsphase unter Verwendung von Situationsmethoden-Engineering eine situationsspezifische Ko-Migrationsmethode für die Testfälle entwickelt. Diese Entwicklung situationsspezifischer Testmigrationsmethoden konzentriert sich auf die Idee des Doppelhufeisenmodells, das Hufeisenmodelle sowohl für das System als auch für die Testfallmigration umfasst. Schließlich wird in der Nachmigrationsphase durch unseren Mutationsanalyse-basierten Ansatz die Testfallmigration validiert. Um die Anwendbarkeit des entwickelten Frameworks in der Praxis zu demonstrieren, haben wir zwei Machbarkeitsstudien durchgeführt, die sich mit einer Migration von JUnit als Quellumgebung auf MSUnit sowie Jasmine als Zielumgebung befassten.
• eng: Software testing plays an important role in the context of software migration as it is used to validate and ensure functional equivalence as a key requirement. As the creation of test cases is an expensive and time-consuming activity, whenever test cases are existing, their reuse should be considered, thus implying their co-migration. We address the above problem by proposing a framework that provides an end-to-end solution by covering the three general phases of migration: pre-migration, migration, and post-migration. Firstly, in the pre-migration phase, a test case quality evaluation is performed to evaluate the quality of the existing test cases. Then, during the migration phase, by employing situational method engineering, a situational method for the test cases is developed and enacted. This development of situation-specific test migration methods is centered around the idea of the double horseshoe model, which incorporates two horseshoe models, one for the system and another for the test case migration. Finally, during the post-migration phase, we validate the test case migration by applying our novel approach for test case migration which is based on mutation analysis. In order to demonstrate the applicability of the developed framework in practice, we carried out two feasibility studies that dealt with migration from JUnit as the source environment to MSUnit and Jasmine as the target environment.