Content

•  
   Abstract
•  
   Zusammenfassung
•  
   Contents
•  
   List of Figures
•  
   List of Tables
•  
   Acronyms
•  
   Problem Definition and Related Work
•  
   1 Introduction
•  
   1.1 Problem statement
•  
   1.2 Contribution
•  
   1.2.1 Methodology
•  
   1.2.2 Practice
•  
   1.3 Publications
•  
   1.4 Outline
•  
  2 Definitions and preliminaries
•  
   2.1 Dynamic Software Testing
•  
   2.1.1 Process and Artefacts
•  
   2.1.2 Test roles
•  
   2.1.3 Meta-Model
•  
   2.1.4 Risk-Based Testing
•  
  2.2 Model-Based Testing
•  
   2.2.1 Definition
•  
   2.2.2 Methodological Issues
•  
   2.2.3 Process and Artefacts
•  
   2.2.4 Test selection algorithms
•  
   2.3 Test Modelling Language
•  
   2.3.1 UML Testing Profile
•  
   2.3.2 Artefact Meta-Model
•  
   2.4 Modelling Business Information Systems
•  
   2.4.1 General definitions
•  
   2.4.2 Motivation
•  
   2.4.3 Representative industry modelling approach
•  
   2.4.4 Running example "Gabi's Ski School"
•  
   2.4.5 Use Cases
•  
   2.4.6 Application Functions
•  
   2.4.7 Logical Data Model
•  
   2.4.8 Logical Data Types
•  
   2.4.9 Dialogs
•  
   2.4.10 Conceptual Components
•  
   2.4.11 Artefact Meta-Model
•  
   2.5 Model Transformations
•  
   2.5.1 Definitions
•  
   2.5.2 Categorization
•  
   2.5.3 Traceability Issue
•  
   2.5.4 Model Transformation Languages
•  
   2.6 Summary
•  
   3 Related work
•  
   3.1 Evaluation criteria
•  
   3.1.1 UML for system modelling
•  
   3.1.2 Modelling viewpoints
•  
   3.1.3 Integrated interaction viewpoint
•  
   3.1.4 Model relations
•  
   3.1.5 UML for test modelling
•  
   3.1.6 Test Model
•  
   3.1.7 Developer Model
•  
   3.1.8 Understandability
•  
   3.1.9 Analysability
•  
   3.1.10 Completeness
•  
   3.1.11 Traceability
•  
   3.1.12 Case study and tool support
•  
  3.2 Identified related work
•  
   3.2.1 Generation from system models
•  
   3.2.2 Generation from several modelling viewpoints
•  
   3.2.3 Generation from test models
•  
   3.2.4 Generation of test models from developer models
•  
   3.2.5 Generation using model relations
•  
   3.2.6 Generation from GUI models
•  
   3.2.7 Test case quality attributes
•  
   3.3 Summary
•  
   Approach and Evaluation
•  
  4 Meta-Model Algebra
•  
   4.1 Motivation
•  
   4.2 Definitions
•  
   4.3 Algebra Meta-Model
•  
   4.4 Related work
•  
   4.5 Meta-Model Properties
•  
   4.5.1 Traceability
•  
   4.5.2 Modelling viewpoints
•  
   4.5.3 Model relation
•  
   4.5.4 Structural mapping
•  
   4.5.5 Traversability
•  
   4.6 Algebra Operations
•  
   4.6.1 transform
•  
   4.6.2 select
•  
   4.6.3 extract
•  
   4.6.4 cover
•  
   4.7 Algebra Specification Language
•  
   4.8 Algebra Instantiation
•  
   4.9 Applicability discussion
•  
   4.10 Summary
•  
  5 Model-Based Test Specification Process
•  
   5.1 Requirements
•  
  5.2 Approach overview
•  
   5.2.1 Process
•  
   5.2.2 Artefacts
•  
   5.3 Step 1. Analyze and annotate the Analysis Model
•  
   5.3.1 Manual testability checks
•  
   5.3.2 Test prioritization through model annotation
•  
   5.4 Step 2. Generate Basic Test Model
•  
   5.4.1 Test Case Selection
•  
   5.4.2 Automated Model Analysis
•  
   5.4.3 Model Transformations
•  
   5.4.4 Model Coverage Measurement
•  
   5.5 Step 3. Extend the Basic Test Model
•  
   5.5.1 Basic vs. extended test model
•  
   5.5.2 Manual extension process
•  
   5.6 Step 4. Generate Concrete Test Cases
•  
   5.6.1 Excursion: Constraints in test data
•  
   5.6.2 Test Data Selection
•  
   5.6.3 Platform-specific test case generation
•  
   5.7 Summary
•  
  6 Evaluation
•  
   6.1 Evaluation planning
•  
   6.1.1 Evaluation goals
•  
   6.1.2 Experiment design
•  
   6.1.3 Setting
•  
   6.1.4 Null Hypotheses
•  
   6.1.5 Alternative Hypotheses
•  
  6.2 Tool support
•  
   6.2.1 Motivation
•  
   6.2.2 Test Model Generator
•  
   6.2.3 Test Case Generator
•  
   6.2.4 Used technology stack
•  
   6.2.5 Used environment
•  
  6.3 Experiment "Gabi's Ski School"
•  
   6.3.1 Input model
•  
   6.3.2 Results
•  
   6.3.3 Interpretation of results
•  
  6.4 Discussion of the results
•  
   6.4.1 Internal validity
•  
   6.4.2 Construct validity
•  
   6.4.3 External validity
•  
   6.5 Summary
•  
  7 Summary and Outlook
•  
   7.1 Summary of Contributions
•  
   7.2 Outlook
•  
   7.3 Final statement
•  
  A Experiment results
•  
   A.1 Understandability questionnaires
•  
   A.2 Coverage reports
•  
   A.2.1 Report for Set 1 and 2
•  
   A.2.2 Report for Set 5 and 6
•  
   Bibliography