Towards automated testing and fixing of re-engineered Feature Models

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

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Résumé

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.

langue originaleAnglais
titreProceedings - International Conference on Software Engineering
EditeurIEEE
Pages1245-1248
Nombre de pages4
Volume2
ISBN (imprimé)9781467330763
Les DOIs
étatPublié - 30 oct. 2013
Evénement35th International Conference on Software Engineering (ICSE 2013) - San Francisco, États-Unis
Durée: 18 mai 201326 mai 2013

Une conférence

Une conférence35th International Conference on Software Engineering (ICSE 2013)
PaysÉtats-Unis
La villeSan Francisco
période18/05/1326/05/13

Empreinte digitale

Testing
Engineers
Linux

Citer ceci

Henard, C., Papadakis, M., Perrouin, G., Klein, J., & Le Traon, Y. (2013). Towards automated testing and fixing of re-engineered Feature Models. Dans Proceedings - International Conference on Software Engineering (Vol 2, p. 1245-1248). [6606689] IEEE. https://doi.org/10.1109/ICSE.2013.6606689
Henard, Christopher ; Papadakis, Mike ; Perrouin, Gilles ; Klein, Jacques ; Le Traon, Yves. / Towards automated testing and fixing of re-engineered Feature Models. Proceedings - International Conference on Software Engineering. Vol 2 IEEE, 2013. p. 1245-1248
@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 = "10",
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",

}

Henard, C, Papadakis, M, Perrouin, G, Klein, J & Le Traon, Y 2013, Towards automated testing and fixing of re-engineered Feature Models. Dans Proceedings - International Conference on Software Engineering. VOL. 2, 6606689, IEEE, p. 1245-1248, 35th International Conference on Software Engineering (ICSE 2013), San Francisco, États-Unis, 18/05/13. https://doi.org/10.1109/ICSE.2013.6606689

Towards automated testing and fixing of re-engineered Feature Models. / Henard, Christopher; Papadakis, Mike; Perrouin, Gilles; Klein, Jacques; Le Traon, Yves.

Proceedings - International Conference on Software Engineering. Vol 2 IEEE, 2013. p. 1245-1248 6606689.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

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

ER -

Henard C, Papadakis M, Perrouin G, Klein J, Le Traon Y. Towards automated testing and fixing of re-engineered Feature Models. Dans Proceedings - International Conference on Software Engineering. Vol 2. IEEE. 2013. p. 1245-1248. 6606689 https://doi.org/10.1109/ICSE.2013.6606689