Güldali, Barış: Integrating contract-based testing into model-driven software development. 2015
Content
- Introduction
- I Foundations and Related Work
- Fundamentals of Model-based Testing
- Software Development Methodology
- Model-based Software Development
- Testing in Development Process
- Model-based Testing
- Contract-based Testing
- Visual Contracts
- Summary of Part I
- II Approach
- General Approach
- Unit Testing
- Integration Testing
- System Testing
- Tool Support and Evaluation
- III Closure