Towards automated testing and fixing of re-engineered Feature Models

Christopher Henard; Mike Papadakis; Gilles Perrouin; Jacques Klein; Yves Le Traon

doi:10.1109/ICSE.2013.6606689

Towards automated testing and fixing of re-engineered Feature Models

Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Yves Le Traon

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Abstract

Mass customization of software products requires their efficient tailoring performed through combination of features. Such features and the constraints linking them can be represented by Feature Models (FMs), allowing formal analysis, derivation of specific variants and interactive configuration. Since they are seldom present in existing systems, techniques to re-engineer FMs have been proposed. There are nevertheless error-prone and require human intervention. This paper introduces an automated search-based process to test and fix FMs so that they adequately represent actual products. Preliminary evaluation on the Linux kernel FM exhibit erroneous FM constraints and significant reduction of the inconsistencies.

Original language	English
Title of host publication	Proceedings - International Conference on Software Engineering
Publisher	IEEE
Pages	1245-1248
Number of pages	4
Volume	2
ISBN (Print)	9781467330763
DOIs	https://doi.org/10.1109/ICSE.2013.6606689
Publication status	Published - 30 Oct 2013
Event	2013 35th International Conference on Software Engineering, ICSE 2013 - San Francisco, United States Duration: 18 May 2013 → 26 May 2013

Conference

Conference	2013 35th International Conference on Software Engineering, ICSE 2013
Country/Territory	United States
City	San Francisco
Period	18/05/13 → 26/05/13

Keywords

Feature Model
Fixing
Search-based
Testing

Access to Document

10.1109/ICSE.2013.6606689

Cite this

@inproceedings{b26558b148a74c8fbd3194d0864aace1,

title = "Towards automated testing and fixing of re-engineered Feature Models",

abstract = "Mass customization of software products requires their efficient tailoring performed through combination of features. Such features and the constraints linking them can be represented by Feature Models (FMs), allowing formal analysis, derivation of specific variants and interactive configuration. Since they are seldom present in existing systems, techniques to re-engineer FMs have been proposed. There are nevertheless error-prone and require human intervention. This paper introduces an automated search-based process to test and fix FMs so that they adequately represent actual products. Preliminary evaluation on the Linux kernel FM exhibit erroneous FM constraints and significant reduction of the inconsistencies.",

keywords = "Feature Model, Fixing, Search-based, Testing",

author = "Christopher Henard and Mike Papadakis and Gilles Perrouin and Jacques Klein and {Le Traon}, Yves",

year = "2013",

month = oct,

day = "30",

doi = "10.1109/ICSE.2013.6606689",

language = "English",

isbn = "9781467330763",

volume = "2",

pages = "1245--1248",

booktitle = "Proceedings - International Conference on Software Engineering",

publisher = "IEEE",

note = "2013 35th International Conference on Software Engineering, ICSE 2013 ; Conference date: 18-05-2013 Through 26-05-2013",

}

Henard, C, Papadakis, M, Perrouin, G, Klein, J & Le Traon, Y 2013, Towards automated testing and fixing of re-engineered Feature Models. in Proceedings - International Conference on Software Engineering. vol. 2, 6606689, IEEE, pp. 1245-1248, 2013 35th International Conference on Software Engineering, ICSE 2013, San Francisco, California, United States, 18/05/13. https://doi.org/10.1109/ICSE.2013.6606689

TY - GEN

T1 - Towards automated testing and fixing of re-engineered Feature Models

AU - Henard, Christopher

AU - Papadakis, Mike

AU - Perrouin, Gilles

AU - Klein, Jacques

AU - Le Traon, Yves

PY - 2013/10/30

Y1 - 2013/10/30

N2 - Mass customization of software products requires their efficient tailoring performed through combination of features. Such features and the constraints linking them can be represented by Feature Models (FMs), allowing formal analysis, derivation of specific variants and interactive configuration. Since they are seldom present in existing systems, techniques to re-engineer FMs have been proposed. There are nevertheless error-prone and require human intervention. This paper introduces an automated search-based process to test and fix FMs so that they adequately represent actual products. Preliminary evaluation on the Linux kernel FM exhibit erroneous FM constraints and significant reduction of the inconsistencies.

AB - Mass customization of software products requires their efficient tailoring performed through combination of features. Such features and the constraints linking them can be represented by Feature Models (FMs), allowing formal analysis, derivation of specific variants and interactive configuration. Since they are seldom present in existing systems, techniques to re-engineer FMs have been proposed. There are nevertheless error-prone and require human intervention. This paper introduces an automated search-based process to test and fix FMs so that they adequately represent actual products. Preliminary evaluation on the Linux kernel FM exhibit erroneous FM constraints and significant reduction of the inconsistencies.

KW - Feature Model

KW - Fixing

KW - Search-based

KW - Testing

UR - http://www.scopus.com/inward/record.url?scp=84883876633&partnerID=8YFLogxK

U2 - 10.1109/ICSE.2013.6606689

DO - 10.1109/ICSE.2013.6606689

M3 - Conference contribution

AN - SCOPUS:84883876633

SN - 9781467330763

VL - 2

SP - 1245

EP - 1248

BT - Proceedings - International Conference on Software Engineering

PB - IEEE

T2 - 2013 35th International Conference on Software Engineering, ICSE 2013

Y2 - 18 May 2013 through 26 May 2013

ER -

Towards automated testing and fixing of re-engineered Feature Models

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this