CIAHelper: Towards Change Impact Analysis in Delta-Oriented Software Product Lines

被引:2
|
作者
Hamza, Mostafa [1 ]
Walker, Robert J. [1 ]
Elaasar, Maged [2 ]
机构
[1] Univ Calgary, Dept Comp Sci, Calgary, AB, Canada
[2] Carleton Univ, Dept Syst & Comp Engn, Ottawa, ON, Canada
基金
加拿大自然科学与工程研究理事会;
关键词
Change impact analysis; feature model; variability model; code assets; delta-oriented programming; MINING VERSION HISTORIES; EVOLUTION;
D O I
10.1145/3233027.3233036
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Change is inevitable for software systems to deal with the evolving environment surrounding them, and applying changes requires careful design and implementation not to break existing functionalities. Evolution in software product lines (SPLs) is more complex compared to evolution for individual products: a change applied to a single feature might affect all the products in the whole product family. In this paper we present an approach for change impact analysis in delta-oriented programming (DOP), an existing language aimed at supporting SPLs. We propose the CIAHelper tool to identify dependencies within a DOP program, by analyzing the semantics of both the code artifacts and variability models to construct a directed dependency graph. We also consider how the source code history could be used to enhance the recall of detecting the affected artifacts given a change proposal. We evaluate our approach by means of five case studies on two different DOP SPLs.
引用
收藏
页码:31 / 42
页数:12
相关论文
共 50 条
  • [1] Delta-Oriented Multi Software Product Lines
    Damiani, Ferruccio
    Schaefer, Ina
    Winkelmann, Tim
    [J]. 18TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2014), VOL 1, 2014, : 232 - 236
  • [2] Towards a Development Process for Maturing Delta-Oriented Software Product Lines
    Schuster, Sven
    Seidl, Christoph
    Schaefer, Ina
    [J]. PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON FEATURE-ORIENTED SOFTWARE DEVELOPMENT (FOSD'17), 2017, : 41 - 50
  • [3] Delta-Oriented Programming of Software Product Lines
    Schaefer, Ina
    Bettini, Lorenzo
    Bono, Viviana
    Damiani, Ferruccio
    Tanzarella, Nico
    [J]. SOFTWARE PRODUCT LINES: GOING BEYOND, 2010, 6287 : 77 - +
  • [4] Towards Incremental Model Slicing for Delta-Oriented Software Product Lines
    Lity, Sascha
    Baller, Hauke
    Schaefer, Ina
    [J]. 2015 22ND INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER), 2015, : 530 - 534
  • [5] A Toolchain for Delta-Oriented Modeling of Software Product Lines
    Chesta, Cristina
    Damiani, Ferruccio
    Dobriakova, Liudmila
    Guernieri, Marco
    Martini, Simone
    Nieke, Michael
    Rodrigues, Vitor
    Schuster, Sven
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, 9953 : 497 - 511
  • [6] Verification of Software Product Lines with Delta-Oriented Slicing
    Bruns, Daniel
    Klebanov, Vladimir
    Schaefer, Ina
    [J]. FORMAL VERIFICATION OF OBJECT-ORIENTED SOFTWARE, 2011, 6528 : 61 - +
  • [7] Compositional type checking of delta-oriented software product lines
    Lorenzo Bettini
    Ferruccio Damiani
    Ina Schaefer
    [J]. Acta Informatica, 2013, 50 : 77 - 122
  • [8] Compositional type checking of delta-oriented software product lines
    Bettini, Lorenzo
    Damiani, Ferruccio
    Schaefer, Ina
    [J]. ACTA INFORMATICA, 2013, 50 (02) : 77 - 122
  • [9] Incremental model checking of delta-oriented software product lines
    Lochau, Malte
    Mennicke, Stephan
    Baller, Hauke
    Ribbeck, Lars
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (01) : 245 - 267
  • [10] Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts
    Lienhardt, Michael
    Damiani, Ferruccio
    Testa, Lorenzo
    Turin, Gianluca
    [J]. INTEGRATED FORMAL METHODS, IFM 2019, 2019, 11918 : 534 - 537