research-article

A mathematical model of performance-relevant feature interactions

Authors:

Krzysztof Czarnecki,

Huiqun YuAuthors Info & Claims

SPLC '16: Proceedings of the 20th International Systems and Software Product Line Conference

Pages 25 - 34

https://doi.org/10.1145/2934466.2934469

Published: 16 September 2016 Publication History

Abstract

Modern software systems have grown significantly in their size and complexity, therefore understanding how software systems behave when there are many configuration options, also called features, is no longer a trivial task. This is primarily due to the potentially complex interactions among the features. In this paper, we propose a novel mathematical model for performance-relevant, or quantitative in general, feature interactions, based on the theory of Boolean functions. Moreover, we provide two algorithms for detecting all such interactions with little measurement effort and potentially guaranteed accuracy and confidence level. Empirical results on real-world configurable systems demonstrated the feasibility and effectiveness of our approach.

References

[1]

S. Apel, C. Lengauer, B. Möller, and C. Kästner. An algebraic foundation for automatic feature-based program synthesis. Science of Computer Programming, 75(11):1022 -- 1047, 2010.

Digital Library

[2]

S. Apel, W. Scholz, C. Lengauer, and C. Kästner. Detecting dependences and interactions in feature-oriented design. In Software Reliability Engineering (ISSRE), 2010 IEEE 21st International Symposium on, pages 161--170, Nov 2010.

Digital Library

[3]

S. Apel, A. von Rhein, T. Thüm, and C. Kästner. Feature-interaction detection based on feature-based specifications. Computer Networks, 57(12):2399 -- 2409, 2013.

Digital Library

[4]

D. Batory, P. Höfner, and J. Kim. Feature interactions, products, and composition. In Proceedings of the 10th ACM International Conference on Generative Programming and Component Engineering, GPCE '11, pages 13--22. ACM, 2011.

Digital Library

[5]

M. Calder, M. Kolberg, E. H. Magill, and S. Reiff-Marganiec. Feature interaction: a critical review and considered forecast. Computer Networks, 41(1):115 -- 141, 2003.

Digital Library

[6]

M. Calder and A. Miller. Feature interaction detection by pairwise analysis of LTL properties -- a case study. Formal Methods in System Design, 28(3):213--261, 2006.

Digital Library

[7]

O. Goldreich and L. A. Levin. A hard-core predicate for all one-way functions. In Proceedings of the Twenty-first Annual ACM Symposium on Theory of Computing, STOC '89, pages 25--32, New York, NY, USA, 1989. ACM.

Digital Library

[8]

J. Guo, K. Czarnecki, S. Apel, N. Siegmund, and A. Wasowski. Variability-aware performance prediction: A statistical learning approach. In Automated Software Engineering (ASE), 2013 IEEE/ACM 28th International Conference on, pages 301--311, 2013.

Digital Library

[9]

P. Höfner, R. Khedri, and B. Möller. Feature algebra. In Jayadev Misra, Tobias Nipkow, and Emil Sekerinski, editors, FM 2006: Formal Methods, volume 4085 of Lecture Notes in Computer Science, pages 300--315. Springer Berlin Heidelberg, 2006.

Digital Library

[10]

P. Höfner, R. Khedri, and B. Möller. An algebra of product families. Software & Systems Modeling, 10(2):161--182, 2011.

Digital Library

[11]

E. Kushilevitz and Y. Mansour. Learning decision trees using the fourier spectrum. SIAM Journal on Computing, 22(6):1331--1348, 1993.

Digital Library

[12]

N. Linial, Y. Mansour, and N. Nisan. Constant depth circuits, fourier transform, and learnability. J. ACM, 40(3):607--620, 1993.

Digital Library

[13]

J. Liu, D. Batory, and S. Nedunuri. Modeling interactions in feature oriented software designs. In FIW, pages 178--197, 2005.

[14]

Y. Mansour. Learning boolean functions via the Fourier transform. In Theoretical advances in neural computation and learning, pages 391--424. Springer, 1994.

[15]

R. O'Donnell. Analysis of Boolean Functions. Cambridge University Press, 2014.

Digital Library

[16]

A. Sarkar, J. Guo, N. Siegmund, S. Apel, and K. Czarnecki. Cost-efficient sampling for performance prediction of configurable systems. In Automated Software Engineering (ASE), 2015 30th IEEE/ACM International Conference on, pages 342--352, Nov 2015.

Digital Library

[17]

N. Siegmund, A. Grebhahn, S. Apel, and C. Kästner. Performance-influence models for highly configurable systems. In In Proceedings of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), 2015, 2015.

Digital Library

[18]

N. Siegmund, S. S. Kolesnikov, C. Kästner, S. Apel, D. Batory, M. Rosenmuller, and G. Saake. Predicting performance via automated feature-interaction detection. In Software Engineering (ICSE), 2012 34th International Conference on, pages 167--177, 2012.

Digital Library

[19]

P. Valov, J. Guo, and K. Czarnecki. Empirical comparison of regression methods for variability-aware performance prediction. In Proceedings of the 19th International Conference on Software Product Line, SPLC '15, pages 186--190, 2015.

Digital Library

[20]

Y. Zhang, J. Guo, E. Blais, and K. Czarnecki. Performance prediction of configurable software systems by Fourier learning. In Automated Software Engineering (ASE), 2015 30th IEEE/ACM International Conference on, pages 365--373, Nov 2015.

Digital Library

Cited By

Acher MMartinez J(2023)Generative AI for Reengineering Variants into Software Product LinesProceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B10.1145/3579028.3609016(57-66)Online publication date: 28-Aug-2023
https://dl.acm.org/doi/10.1145/3579028.3609016
Acher MDuarte JJézéquel J(2023)On Programming Variability with Large Language Model-based AssistantProceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A10.1145/3579027.3608972(8-14)Online publication date: 28-Aug-2023
https://dl.acm.org/doi/10.1145/3579027.3608972
Cao RBao LWu CZhangsun PLi YZhang Z(2023)CM-CASL: Comparison-based performance modeling of software systems via collaborative active and semisupervised learningJournal of Systems and Software10.1016/j.jss.2023.111686201(111686)Online publication date: Jul-2023
https://doi.org/10.1016/j.jss.2023.111686
Show More Cited By

Index Terms

A mathematical model of performance-relevant feature interactions

Recommendations

Defining, recognizing and representing feature interactions in a feature-based data model

This research takes a feature data model, i.e. STEP-NC as input and determines interactions among the features in the model. The feature interaction data are then appended to the original data model for subsequent uses such as process planning. The ...
Detecting Feature Interactions in FORML Models
From Software Engineering to Formal Methods and Tools, and Back
Abstract
Requirement engineers must know how features (units of functionality) interact, in order to resolve undesired interactions. Model checking has been proposed as an effective method for detecting feature interactions. We propose a method for (1) ...
A new construction of bent functions based on $${\mathbb{Z}}$$ -bent functions

Dobbertin has embedded the problem of construction of bent functions in a recursive framework by using a generalization of bent functions called $${\mathbb{Z}}$$ -bent functions. Following his ideas, we generalize the construction of partial spreads bent functions to ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

SPLC '16: Proceedings of the 20th International Systems and Software Product Line Conference

September 2016

367 pages

ISBN:9781450340502

DOI:10.1145/2934466

General Chair:
Hong Mei
Shanghai Jiao Tong University, China

Copyright © 2016 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

Huawei Technologies Co. Ltd.: Huawei Technologies Co. Ltd.
Key Laboratory of High Confidence Software Technologies: Key Laboratory of High Confidence Software Technologies, Ministry of Education
DC Holdings: Digital China Holdings Limited

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 16 September 2016

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SPLC '16

Sponsor:

Huawei Technologies Co. Ltd.
Key Laboratory of High Confidence Software Technologies
DC Holdings

SPLC '16: The 20th International Systems and Software Product Line Conference

September 16 - 23, 2016

Beijing, China

Acceptance Rates

Overall Acceptance Rate 167 of 463 submissions, 36%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
212
Total Downloads

Downloads (Last 12 months)7
Downloads (Last 6 weeks)0

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Acher MMartinez J(2023)Generative AI for Reengineering Variants into Software Product LinesProceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B10.1145/3579028.3609016(57-66)Online publication date: 28-Aug-2023
https://dl.acm.org/doi/10.1145/3579028.3609016
Acher MDuarte JJézéquel J(2023)On Programming Variability with Large Language Model-based AssistantProceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A10.1145/3579027.3608972(8-14)Online publication date: 28-Aug-2023
https://dl.acm.org/doi/10.1145/3579027.3608972
Cao RBao LWu CZhangsun PLi YZhang Z(2023)CM-CASL: Comparison-based performance modeling of software systems via collaborative active and semisupervised learningJournal of Systems and Software10.1016/j.jss.2023.111686201(111686)Online publication date: Jul-2023
https://doi.org/10.1016/j.jss.2023.111686
Lesoil LAcher MBlouin AJézéquel J(2023)Input sensitivity on the performance of configurable systems an empirical studyJournal of Systems and Software10.1016/j.jss.2023.111671201:COnline publication date: 1-Jul-2023
https://dl.acm.org/doi/10.1016/j.jss.2023.111671
Martin HAcher MPereira JLesoil LJezequel JKhelladi D(2022)Transfer Learning Across Variants and Versions: The Case of Linux Kernel SizeIEEE Transactions on Software Engineering10.1109/TSE.2021.311676848:11(4274-4290)Online publication date: 1-Nov-2022
https://doi.org/10.1109/TSE.2021.3116768
Cao RBao LWei SDuan JWu XDu YSun R(2021)Fast Performance Modeling across Different Database Versions Using Partitioned Co-KrigingApplied Sciences10.3390/app1120966911:20(9669)Online publication date: 16-Oct-2021
https://doi.org/10.3390/app11209669
Alves Pereira JAcher MMartin HJézéquel JAmaral JKoziolek ATrubiani CIosup A(2020)Sampling Effect on Performance Prediction of Configurable SystemsProceedings of the ACM/SPEC International Conference on Performance Engineering10.1145/3358960.3379137(277-288)Online publication date: 20-Apr-2020
https://dl.acm.org/doi/10.1145/3358960.3379137
Valov PGuo JCzarnecki KAmaral JKoziolek ATrubiani CIosup A(2020)Transferring Pareto Frontiers across Heterogeneous Hardware EnvironmentsProceedings of the ACM/SPEC International Conference on Performance Engineering10.1145/3358960.3379127(12-23)Online publication date: 20-Apr-2020
https://dl.acm.org/doi/10.1145/3358960.3379127
Kolesnikov SSiegmund NKästner CGrebhahn AApel S(2019)Tradeoffs in modeling performance of highly configurable software systemsSoftware and Systems Modeling (SoSyM)10.1007/s10270-018-0662-918:3(2265-2283)Online publication date: 18-Jul-2019
https://dl.acm.org/doi/10.1007/s10270-018-0662-9
Yang KYu HFan GYang XZheng SLeng C(2018)Software Defect Prediction Based on Fourier Learning2018 IEEE International Conference on Progress in Informatics and Computing (PIC)10.1109/PIC.2018.8706304(388-392)Online publication date: Dec-2018
https://doi.org/10.1109/PIC.2018.8706304
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten