Article

Detection of feature interactions using feature-aware verification

Authors:

Hendrik Speidel,

Philipp Wendler,

Alexander von Rhein,

Dirk BeyerAuthors Info & Claims

ASE '11: Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering

Pages 372 - 375

https://doi.org/10.1109/ASE.2011.6100075

Published: 06 November 2011 Publication History

Abstract

A software product line is a set of software products that are distinguished in terms of features (i.e., end-user-visible units of behavior). Feature interactions-- situations in which the combination of features leads to emergent and possibly critical behavior --are a major source of failures in software product lines. We explore how feature-aware verification can improve the automatic detection of feature interactions in software product lines. Feature-aware verification uses product-line-verification techniques and supports the specification of feature properties along with the features in separate and composable units. It integrates the technique of variability encoding to verify a product line without generating and checking a possibly exponential number of feature combinations. We developed the tool suite SPLVERIFIER for feature-aware verification, which is based on standard model-checking technology. We applied it to an e-mail system that incorporates domain knowledge of AT&T. We found that feature interactions can be detected automatically based on specifications that have only local knowledge.

References

[1]

S. Apel and C. Kästner. An Overview of Feature-Oriented Software Development. J. Object Technology, 8(5):49-84, 2009.

[2]

S. Apel, C. Kästner, A. Größlinger, and C. Lengauer. Type Safety for Feature-Oriented Product Lines. Automated Software Engineering, 17(3):251-300, 2010.

Digital Library

[3]

S. Apel, C. Kästner, and C. Lengauer. FeatureHouse: Language-Independent, Automated Software Composition. In Proc. ICSE, pages 221-231. IEEE, 2009.

Digital Library

[4]

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

[5]

S. Apel, W. Scholz, C. Lengauer, and C. Kästner. Detecting Dependences and Interactions in Feature-Oriented Design. In Proc. ISSRE, pages 161-170. IEEE, 2010.

Digital Library

[6]

S. Apel, H. Speidel, P. Wendler, A. von Rhein, and D. Beyer. Feature-Aware Verification. Technical Report MIP-1105, University of Passau, September 2011.

[7]

D. Beyer and M. E. Keremoglu. CPACHECKER: A tool for configurable software verification. In Proc. CAV, LNCS 6806, pages 184-190. Springer, 2011.

Digital Library

[8]

M. Calder, M. Kolberg, E. Magill, and S. Reiff-Marganiec. Feature Interaction: A Critical Review and Considered Forecast. Computer Networks, 41(1):115-141, 2003.

Digital Library

[9]

A. Classen, P. Heymans, P.-Y. Schobbens, A. Legay, and J.-F. Raskin. Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines. In Proc. ICSE, pages 335-344. ACM, 2010.

Digital Library

[10]

R. Hall. Fundamental Nonmodularity in Electronic Mail. Automated Software Engineering, 12(1):41-79, 2005.

Digital Library

[11]

C. Kästner, S. Apel, T. Thüm, and G. Saake. Type Checking Annotation-Based Product Lines. ACM TOSEM, 2011. To appear.

Digital Library

[12]

K. Lauenroth, S. Toehning, and K. Pohl. Model Checking of Domain Artifacts in Product Line Engineering. In Proc. ASE, pages 269-280. IEEE, 2009.

Digital Library

[13]

H. Li, S. Krishnamurthi, and K. Fisler. Verifying Cross-Cutting Features as Open Systems. In Proc. FSE, pages 89-98. ACM, 2002.

Digital Library

[14]

H. Post and C. Sinz. Configuration Lifting: Verification meets Software Configuration. In Proc. ASE, pages 347-350. IEEE, 2008.

Digital Library

[15]

S. Thaker, D. Batory, D. Kitchin, and W. Cook. Safe Composition of Product Lines. In Proc. GPCE, pages 95-104. ACM, 2007.

Digital Library

Cited By

Wang AFeng NChechik M(2023)Code-Level Functional Equivalence Checking of Annotative Software Product LinesProceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A10.1145/3579027.3608978(64-75)Online publication date: 28-Aug-2023
https://dl.acm.org/doi/10.1145/3579027.3608978
Dimovski ALazreg SCordy MLegay A(2023)Family-based model checking of fMultiLTL propertiesProceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A10.1145/3579027.3608976(41-51)Online publication date: 28-Aug-2023
https://dl.acm.org/doi/10.1145/3579027.3608976
Kuiter EKnüppel ABordis TRunge TSchaefer I(2022)Verification Strategies for Feature-Oriented Software Product LinesProceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3510466.3511272(1-9)Online publication date: 23-Feb-2022
https://dl.acm.org/doi/10.1145/3510466.3511272
Show More Cited By

Recommendations

Leveraging Feature Similarity for Earlier Detection of Unwanted Feature Interactions in Evolving Software Product Lines
Similarity Search and Applications
Abstract
Software product lines enable reuse of shared software across a family of products. As new products are built in the product line, new features are added. The features are units of functionality that provide services to users. Unwanted feature ...
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) ...
Feature Similarity: A Method to Detect Unwanted Feature Interactions Earlier in Software Product Lines
Similarity Search and Applications
Abstract
Software product lines enable the reuse of shared software across a family of products. As new products are built in the product line, new features are added. A feature is a unit of functionality. Unwanted feature interactions, wherein one feature ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

ASE '11: Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering

November 2011

677 pages

ISBN:9781457716386

Sponsors

Publisher

IEEE Computer Society

United States

Publication History

Published: 06 November 2011

Check for updates

Qualifiers

Article

Conference

ASE '11

Sponsor:

ASE '11: Automated Software Engineering

November 6 - 10, 2011

Acceptance Rates

Overall Acceptance Rate 82 of 337 submissions, 24%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

67
Total Citations
View Citations
242
Total Downloads

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

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Wang AFeng NChechik M(2023)Code-Level Functional Equivalence Checking of Annotative Software Product LinesProceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A10.1145/3579027.3608978(64-75)Online publication date: 28-Aug-2023
https://dl.acm.org/doi/10.1145/3579027.3608978
Dimovski ALazreg SCordy MLegay A(2023)Family-based model checking of fMultiLTL propertiesProceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A10.1145/3579027.3608976(41-51)Online publication date: 28-Aug-2023
https://dl.acm.org/doi/10.1145/3579027.3608976
Kuiter EKnüppel ABordis TRunge TSchaefer I(2022)Verification Strategies for Feature-Oriented Software Product LinesProceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3510466.3511272(1-9)Online publication date: 23-Feb-2022
https://dl.acm.org/doi/10.1145/3510466.3511272
Mendonça WVergilio SMichelon GEgyed AAssunção WFelfernig AFuentes L(2022)Test2FeatureProceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B10.1145/3503229.3547031(62-65)Online publication date: 12-Sep-2022
https://dl.acm.org/doi/10.1145/3503229.3547031
Dimovski AApel SLegay A(2022)Several lifted abstract domains for static analysis of numerical program familiesScience of Computer Programming10.1016/j.scico.2021.102725213:COnline publication date: 1-Jan-2022
https://dl.acm.org/doi/10.1016/j.scico.2021.102725
Dimovski ATilevich EDe Roover C(2021)Lifted termination analysis by abstract interpretation and its applicationsProceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences10.1145/3486609.3487202(96-109)Online publication date: 17-Oct-2021
https://dl.acm.org/doi/10.1145/3486609.3487202
Jouneaux GBarais OCombemale BMussbacher GVisser EKolovos DSöderberg E(2021)SEALS: a framework for building self-adaptive virtual machinesProceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3486608.3486912(150-163)Online publication date: 17-Oct-2021
https://dl.acm.org/doi/10.1145/3486608.3486912
Camargo LFantin LLobão GFigueiredo TBonifacio RGomes KTeixeira L(2021)Evolving Delta-Oriented Product Lines: A Case Study on Feature Interaction, Safe and Partially Safe EvolutionProceedings of the XXXV Brazilian Symposium on Software Engineering10.1145/3474624.3474645(95-104)Online publication date: 27-Sep-2021
https://dl.acm.org/doi/10.1145/3474624.3474645
Guégain ÉQuinton CRouvoy RMousavi MSchobbens P(2021)On reducing the energy consumption of software product linesProceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A10.1145/3461001.3471142(89-99)Online publication date: 6-Sep-2021
https://dl.acm.org/doi/10.1145/3461001.3471142
Soares LMeinicke JNadi SKästner Cde Almeida E(2020)Exploring feature interactions without specifications: a controlled experimentACM SIGPLAN Notices10.1145/3393934.327812753:9(40-52)Online publication date: 7-Apr-2020
https://dl.acm.org/doi/10.1145/3393934.3278127
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