2012 | OriginalPaper | Chapter
Applying Design by Contract to Feature-Oriented Programming
Authors : Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel, Gunter Saake
Published in: Fundamental Approaches to Software Engineering
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Feature-oriented programming
(FOP) is an extension of ob- ject-oriented programming to support software variability by
refining
existing classes and methods. In order to increase the reliability of all implemented program variants, we integrate
design by contract
(DbC) with FOP. DbC is an approach to build reliable object-oriented software by specifying methods with contracts. Contracts are annotations that document and formally specify behavior, and can be used for formal verification of correctness or as test oracles. We present and discuss five approaches to define contracts of methods and their refinements in FOP. Furthermore, we share our insights gained by performing five case studies. This work is a foundation for research on the analysis of feature-oriented programs (e.g., for verifying functional correctness or for detecting feature interactions).