Applying Design by Contract to Feature-Oriented Programming
Applying Design by Contract to Feature-Oriented Programming
复制标题
将契约设计应用于面向特征的编程
DOI：
10.1007/978-3-642-28872-2_18
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
G. Saake
中科院分区：
文献类型：
--
作者：
Thomas Thüm;Ina Schaefer;Martin Kuhlemann;S. Apel;G. Saake
面向特征的编程（FOP）是面向对象编程的扩展，通过改进现有的类和方法来支持软件的可变性。为了提高所有实施的程序变体的可靠性，我们将合同设计 (DbC) 与 FOP 集成。 DbC 是一种通过契约指定方法来构建可靠的面向对象软件的方法。合约是记录和正式指定行为的注释，可用于正确性的正式验证或作为测试预言机。我们提出并讨论了定义方法契约的五种方法及其在 FOP 中的改进。此外，我们还分享了通过五个案例研究获得的见解。这项工作是研究面向特征的程序分析的基础（例如，验证功能正确性或检测特征交互）。
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).