de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
Schliessen
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Ergebnisliste
Titel
Titel
Inhalt
Inhalt
Seite
Seite
Im Werk suchen
Validation of software migration : model-driven co-migration of test cases / Ivan Jovanovikj. Paderborn, 2020
Inhalt
Contents
List of Figures
List of Tables
I Foundations and Related Work
1 Introduction
1.1 Motivation
1.2 Problem Statement
1.3 Solution Overview
1.4 Publication Overview
1.5 Structure of the Thesis
2 Foundations
2.1 Software Reengineering
2.1.1 Software Migration
2.1.2 Concept Modeling
2.2 Software Co-Evolution
2.2.1 Change Detection
2.2.2 Impact Analysis
2.2.3 Change Propagation
2.2.4 Validation
2.3 Method Engineering
2.3.1 Situational Method Engineering
2.3.2 Project-Specific Software Engineering Methods
2.3.3 Concept-Based Engineering of Situation-Specific Methods
2.4 Software Testing
2.4.1 Model-based Testing
2.4.2 Testing Languages and Testing Frameworks
2.4.3 Mutation Testing
2.4.4 Test Case Quality
2.5 Technologies
2.5.1 Eclipse Modeling Framework
2.5.2 Xtend
2.5.3 Object Constraint Language (OCL)
3 Requirements and Related Work
3.1 Test Case Co-Migration Scenario
3.1.1 System Migration
3.1.2 Test Case Migration
3.2 Solution Requirements
3.2.1 Pre-Migration Phase: Test Case Quality Evaluation
3.2.2 Migration Phase: Co-Evolution and Migration
3.2.3 Post-Migration Phase: Migration Validation
3.3 Related Work
3.3.1 Quality Evaluation
3.3.2 Evolution, Reengineering, and Migration
3.3.3 Migration Validation
3.4 Summary
II Solution Concept
4 Solution Overview
4.1 Overview of the TeCoMi Framework
4.2 Pre-Migration Phase: Test Case Quality Evaluation
4.2.1 Roles
4.3 Migration Phase: Co-Evolution Analysis and Method Engineering
4.3.1 Method Base
4.3.2 Method Engineering Process
4.3.3 Roles
4.4 Post-Migration: Migration Validation
4.4.1 Roles
4.5 Summary
5 Pre-Migration Phase:Test Case Quality Evaluation
5.1 The Test Case Quality Plan Approach
5.1.1 Characterization of Context
5.1.2 Identification of Information Needs
5.1.3 Definition of a Common Quality Understanding
5.1.4 Definition of Measurements
5.1.5 Tool Support
5.2 The Quality Evaluation Process
5.2.1 Context Characterization
5.2.2 Test Case Quality Plan Creation
5.2.3 Measurement Tool Implementation
5.2.4 Execution and Decision-Making
5.3 Summary and Discussion
6 Migration Phase: Method Engineering considering Co-Evolution Analysis
6.1 Overview of the Migration Phase
6.2 Method Base
6.2.1 Transformation Phase Fragments
6.2.2 Tool Implementation Phase Fragments
6.2.3 Test Method Patterns
6.2.4 Co-Migration Method Patterns
6.2.5 Formalization
6.3 Method Engineering Process
6.3.1 Situational Context Identification
6.3.2 Transformation Method Construction
6.3.3 Tool Implementation
6.3.4 Transformation
6.4 Summary and Discussion
7 Post-Migration Phase: Migration Validation
7.1 Overview of the Post-Migration Phase
7.2 Mutation Analysis Repository
7.2.1 Mutation Analysis Scenarios
7.2.2 Mutation Operators
7.2.3 Mutation Method Patterns
7.3 Test Case Migration Validation Process
7.3.1 Context Characterization
7.3.2 Mutation Method Construction
7.3.3 Mutation Tool Implementation
7.3.4 Mutation Execution and Analysis
7.4 Summary and Discussion
III Evaluation and Conclusion
8 Evaluation
8.1 Evaluation Questions
8.2 Feasibility Study 1: Junit OCL Test Cases to MSUnit OCL Test Cases
8.2.1 Pre-Migration Phase
8.2.2 Migration Phase
8.2.3 Post-Migration Phase
8.3 Feasibility Study 2: JUnit OCL Test Cases to Jasmine OCL Test Cases
8.3.1 Migration Phase
8.4 Discussion
8.5 Summary
9 Conclusion and Future Work
9.1 Summary of Contributions
9.2 Requirements Revisited
9.3 Future Work
Bibliography
A Extended Quality Model for Test Cases
A.1 Extended Quality Model for Test Cases
Die detaillierte Suchanfrage erfordert aktiviertes Javascript.