2012 | OriginalPaper | Buchkapitel
Applying Design by Contract to Feature-Oriented Programming
verfasst von : Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel, Gunter Saake
Erschienen in: Fundamental Approaches to Software Engineering
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. 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).