FMTESTING: A FEATUREIDE Plug-in for Automated Feature Model Analysis and Diagnosis

Tamim Burgstaller; Viet-Man Le; Thi Ngoc Trang Tran; Alexander Felfernig

doi:10.3233/FAIA230640

FMTESTING: A FEATUREIDE Plug-in for Automated Feature Model Analysis and Diagnosis

Tamim Burgstaller, Viet-Man Le, Thi Ngoc Trang Tran, Alexander Felfernig

Institute of Software Engineering and Artificial Intelligence (7160)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Abstract

The increasing size and complexity of feature models (FMs) can trigger anomalies or faults, challenging stakeholders in keeping FMs consistent with the domain requirements. Existing quality assurance tools do not provide advanced techniques to point out possibilities to adapt an FM for consistency recovery. In this paper, we present FMTESTING, which is a plug-in for FEATUREIDE, an ECLIPSE-based IDE supporting different phases of feature-oriented software development. FMTESTING is capable of automatically generating property-based test cases based on six different types of FM analysis operations. Furthermore, for violated test cases, diagnoses are provided to precisely indicate faulty FM elements (constraints) that should be adapted to restore consistency. Our tool provides user interfaces inside FEATUREIDE to ensure convenient use, even for users who are not domain experts.

Original language	English
Title of host publication	ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings
Subtitle of host publication	12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023)
Editors	Kobi Gal, Kobi Gal, Ann Nowe, Grzegorz J. Nalepa, Roy Fairstein, Roxana Radulescu
Publisher	IOS Press
Pages	3190 - 3195
Number of pages	6
ISBN (Electronic)	9781643684369
ISBN (Print)	978-1-64368-436-9
DOIs	https://doi.org/10.3233/FAIA230640
Publication status	Published - 28 Sept 2023
Event	26th European Conference on Artificial Intelligence : ECAI 2023 - Kraków, Poland Duration: 30 Sept 2023 → 5 Oct 2023 https://ecai2023.eu/

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Volume	372
ISSN (Print)	0922-6389
ISSN (Electronic)	1879-8314

Conference

Conference	26th European Conference on Artificial Intelligence
Abbreviated title	ECAI 2023
Country/Territory	Poland
City	Kraków
Period	30/09/23 → 5/10/23
Internet address	https://ecai2023.eu/

Keywords

Configuration
Constraint Satisfaction
Direct Diagnosis
Feature Models
Model-based Diagnosis
Software Product Lines

ASJC Scopus subject areas

Artificial Intelligence

Access to Document

10.3233/FAIA230640Licence: CC BY-NC 4.0

Cite this

Burgstaller, T., Le, V.-M., Tran, T. N. T., & Felfernig, A. (2023). FMTESTING: A FEATUREIDE Plug-in for Automated Feature Model Analysis and Diagnosis. In K. Gal, K. Gal, A. Nowe, G. J. Nalepa, R. Fairstein, & R. Radulescu (Eds.), ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings: 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023) (pp. 3190 - 3195). (Frontiers in Artificial Intelligence and Applications; Vol. 372). IOS Press. https://doi.org/10.3233/FAIA230640

FMTESTING: A FEATUREIDE Plug-in for Automated Feature Model Analysis and Diagnosis. / Burgstaller, Tamim ; Le, Viet-Man ; Tran, Thi Ngoc Trang et al.
ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings: 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). ed. / Kobi Gal; Kobi Gal; Ann Nowe; Grzegorz J. Nalepa; Roy Fairstein; Roxana Radulescu. IOS Press, 2023. p. 3190 - 3195 (Frontiers in Artificial Intelligence and Applications; Vol. 372).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Burgstaller, T , Le, V-M , Tran, TNT & Felfernig, A 2023, FMTESTING: A FEATUREIDE Plug-in for Automated Feature Model Analysis and Diagnosis. in K Gal, K Gal, A Nowe, GJ Nalepa, R Fairstein & R Radulescu (eds), ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings: 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). Frontiers in Artificial Intelligence and Applications, vol. 372, IOS Press, pp. 3190 - 3195, 26th European Conference on Artificial Intelligence , Kraków, Poland, 30/09/23. https://doi.org/10.3233/FAIA230640

Burgstaller T , Le VM , Tran TNT , Felfernig A. FMTESTING: A FEATUREIDE Plug-in for Automated Feature Model Analysis and Diagnosis. In Gal K, Gal K, Nowe A, Nalepa GJ, Fairstein R, Radulescu R, editors, ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings: 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). IOS Press. 2023. p. 3190 - 3195. (Frontiers in Artificial Intelligence and Applications). doi: 10.3233/FAIA230640

Burgstaller, Tamim ; Le, Viet-Man ; Tran, Thi Ngoc Trang et al. / FMTESTING: A FEATUREIDE Plug-in for Automated Feature Model Analysis and Diagnosis. ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings: 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). editor / Kobi Gal ; Kobi Gal ; Ann Nowe ; Grzegorz J. Nalepa ; Roy Fairstein ; Roxana Radulescu. IOS Press, 2023. pp. 3190 - 3195 (Frontiers in Artificial Intelligence and Applications).

@inproceedings{4c9652decfde45aca6f3075a0c2e8dbf,

title = "FMTESTING: A FEATUREIDE Plug-in for Automated Feature Model Analysis and Diagnosis",

abstract = "The increasing size and complexity of feature models (FMs) can trigger anomalies or faults, challenging stakeholders in keeping FMs consistent with the domain requirements. Existing quality assurance tools do not provide advanced techniques to point out possibilities to adapt an FM for consistency recovery. In this paper, we present FMTESTING, which is a plug-in for FEATUREIDE, an ECLIPSE-based IDE supporting different phases of feature-oriented software development. FMTESTING is capable of automatically generating property-based test cases based on six different types of FM analysis operations. Furthermore, for violated test cases, diagnoses are provided to precisely indicate faulty FM elements (constraints) that should be adapted to restore consistency. Our tool provides user interfaces inside FEATUREIDE to ensure convenient use, even for users who are not domain experts.",

keywords = "Configuration, Constraint Satisfaction, Direct Diagnosis, Feature Models, Model-based Diagnosis, Software Product Lines",

author = "Tamim Burgstaller and Viet-Man Le and Tran, {Thi Ngoc Trang} and Alexander Felfernig",

note = "Publisher Copyright: {\textcopyright} 2023 The Authors.; 26th European Conference on Artificial Intelligence : ECAI 2023, ECAI 2023 ; Conference date: 30-09-2023 Through 05-10-2023",

year = "2023",

month = sep,

day = "28",

doi = "10.3233/FAIA230640",

language = "English",

isbn = "978-1-64368-436-9 ",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press",

pages = "3190 -- 3195",

editor = "Kobi Gal and Kobi Gal and Ann Nowe and Nalepa, {Grzegorz J.} and Roy Fairstein and Roxana Radulescu",

booktitle = "ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings",

address = "Netherlands",

url = "https://ecai2023.eu/",

}

TY - GEN

T1 - FMTESTING: A FEATUREIDE Plug-in for Automated Feature Model Analysis and Diagnosis

AU - Burgstaller, Tamim

AU - Le, Viet-Man

AU - Tran, Thi Ngoc Trang

AU - Felfernig, Alexander

PY - 2023/9/28

Y1 - 2023/9/28

N2 - The increasing size and complexity of feature models (FMs) can trigger anomalies or faults, challenging stakeholders in keeping FMs consistent with the domain requirements. Existing quality assurance tools do not provide advanced techniques to point out possibilities to adapt an FM for consistency recovery. In this paper, we present FMTESTING, which is a plug-in for FEATUREIDE, an ECLIPSE-based IDE supporting different phases of feature-oriented software development. FMTESTING is capable of automatically generating property-based test cases based on six different types of FM analysis operations. Furthermore, for violated test cases, diagnoses are provided to precisely indicate faulty FM elements (constraints) that should be adapted to restore consistency. Our tool provides user interfaces inside FEATUREIDE to ensure convenient use, even for users who are not domain experts.

AB - The increasing size and complexity of feature models (FMs) can trigger anomalies or faults, challenging stakeholders in keeping FMs consistent with the domain requirements. Existing quality assurance tools do not provide advanced techniques to point out possibilities to adapt an FM for consistency recovery. In this paper, we present FMTESTING, which is a plug-in for FEATUREIDE, an ECLIPSE-based IDE supporting different phases of feature-oriented software development. FMTESTING is capable of automatically generating property-based test cases based on six different types of FM analysis operations. Furthermore, for violated test cases, diagnoses are provided to precisely indicate faulty FM elements (constraints) that should be adapted to restore consistency. Our tool provides user interfaces inside FEATUREIDE to ensure convenient use, even for users who are not domain experts.

KW - Configuration

KW - Constraint Satisfaction

KW - Direct Diagnosis

KW - Feature Models

KW - Model-based Diagnosis

KW - Software Product Lines

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

U2 - 10.3233/FAIA230640

DO - 10.3233/FAIA230640

M3 - Conference paper

SN - 978-1-64368-436-9

T3 - Frontiers in Artificial Intelligence and Applications

SP - 3190

EP - 3195

BT - ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings

A2 - Gal, Kobi

A2 - Nowe, Ann

A2 - Nalepa, Grzegorz J.

A2 - Fairstein, Roy

A2 - Radulescu, Roxana

PB - IOS Press

T2 - 26th European Conference on Artificial Intelligence

Y2 - 30 September 2023 through 5 October 2023

ER -

FMTESTING: A FEATUREIDE Plug-in for Automated Feature Model Analysis and Diagnosis

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint