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
Güldali, Barış: Integrating contract-based testing into model-driven software development. 2015
Inhalt
Introduction
Motivation
Model-based Software Development
Model-based Testing
Problem Statement
Solution
I Foundations and Related Work
Fundamentals of Model-based Testing
Software Development Methodology
Model-based Software Development
Modeling
Model Transformations
Testing in Development Process
Test Levels
Test Activities
Test Automation Techniques
Model-based Testing
MBT Process
Different Approaches
Different Paradigms
Contract-based Testing
Characteristics
Reference Model for Contract Modeling
Reference Model for Testing with Contracts
Approaches in the Literature
AutoTest
Korat
WeSUF
LTG/B
WSTVC
Tabular Comparison of Approaches
Summary
Visual Contracts
Modeling with Visual Contracts
Running Example: Online Shop
Visual Contracts
Semantics of Visual Contracts
Application Areas
Experiences with Visual Contracts
Summary of Part I
Improvement Potential in CBT Approaches
Requirements on a novel Testing Approach
II Approach
General Approach
Development Process Overview
Implementation
Test Design
Test Implementation
Test Execution
Summary
Unit Testing
Development Scenario
Test Design
Approach 1: Artificial Prestate
Approach 2: Natural Prestate
Test Implementation
Test Execution
Integration Testing
Development Scenario
Test Design
Test Implementation and Execution
System Testing
Development Scenario
Test Design
Test Implementation
Test Execution
Tool Support and Evaluation
Unit Testing
Approach 1: Artificial Prestate
Approach 2: Natural Prestate
Integration Testing
System Testing
Evaluation
Evaluation by interviews and case studies
Evaluation by quantitative methods
Evaluation by peer reviews
III Closure
Conclusion and Future Work
Contributions
Epilogue
Roadmap for further Research
Further selection criteria for test data
Binding real test data
Agile development
Bibliography
Die detaillierte Suchanfrage erfordert aktiviertes Javascript.