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
Mlynarski, Michael: Holistic use of analysis models in model-based system testing. 2011
Inhalt
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
Die detaillierte Suchanfrage erfordert aktiviertes Javascript.