Applying Design by Contract to Feature-Oriented Programmingq

被引：0
|
作者：
Thuem, Thomas [1 ]
Schaefer, Ina [2 ]
Kuhlemann, Martin [1 ]
Apel, Sven [3 ]
Saake, Gunter [1 ]
机构：
[1] Univ Magdeburg, D-39106 Magdeburg, Germany
[2] Tech Univ Carolo Wilhelmina Braunschweig, Braunschweig, Germany
[3] Univ Passau, Passau, Germany
来源：
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2012 | 2012年 / 7212卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Feature-oriented programming (FOP) is an extension of object-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).
引用
收藏
页码：255 / 269
页数：15
相关论文
共 50 条
  • [1] Feature-Oriented Contract Composition
    Thuem, Thomas
    Knueppel, Alexander
    Krueger, Stefan
    Bolle, Stefanie
    Schaefer, Ina
    [J]. SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A, 2020, : 25 - 25
  • [2] Feature-oriented contract composition
    Thuem, Thomas
    Knueppel, Alexander
    Krueger, Stefan
    Bolle, Stefanie
    Schaefer, Ina
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2019, 152 : 83 - 107
  • [3] FEATURE-ORIENTED DESIGN
    CHAHARBAGHI, H
    [J]. FOURTH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED PRODUCTION ENGINEERING, 1988, : 363 - 366
  • [4] A Multilevel Contract Model for Dependable Feature-Oriented Components
    Rhanoui, Maryem
    El Asri, Bouchra
    [J]. 2014 9TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS: THEORIES AND APPLICATIONS (SITA'14), 2014,
  • [5] An incremental method for the design of feature-oriented systems
    Berkani, K
    Le Gall, P
    Klay, F
    [J]. LANGUAGE CONSTRUCTS FOR DESCRIBING FEATURES, 2001, : 45 - 64
  • [6] Applying a Feature-Oriented Software Development Approach to Model Interaction Diversity
    Gollasch, David
    Weber, Gerhard
    [J]. PROCEEDINGS OF 2023 MENSCH UND COMPUTER, MUC 2023: Building Bridges, 2023, : 427 - 431
  • [7] Metrics for Feature-Oriented Programming
    Abilio, Ramon
    Vale, Gustavo
    Figueiredo, Eduardo
    Costa, Heitor
    [J]. PROCEEDINGS OF 2016 IEEE/ACM 7TH INTERNATIONAL WORKSHOP ON EMERGING TRENDS IN SOFTWARE METRICS (WETSOM), 2016, : 36 - 42
  • [8] Feature-oriented Runtime Adaptation
    Pukall, Mario
    Siegmund, Norbert
    Cazzola, Walter
    [J]. SINTER 09, 2009, : 33 - 36
  • [9] Feature-Oriented Control Programming
    Fors, Niklas
    Theorin, Alfred
    Robertz, Sven Gestegard
    Hedin, Gorel
    [J]. 2020 25TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2020, : 1043 - 1046
  • [10] Comparing the influence of using feature-oriented programming and conditional compilation on comprehending feature-oriented software
    Santos, Alcemir Rodrigues
    Machado, Ivan do Carmo
    de Almeida, Eduardo Santana
    Siegmund, Janet
    Apel, Sven
    [J]. EMPIRICAL SOFTWARE ENGINEERING, 2019, 24 (03) : 1226 - 1258
12345