Feature-interaction detection based on feature-based specifications
TLDR
An exploratory study on 10 feature-oriented systems found that the majority of feature interactions could be detected based on feature-based specifications, but some specifications have not been modularized properly and require undesirable workarounds to modularization.About:
This article is published in Computer Networks.The article was published on 2013-08-01 and is currently open access. It has received 74 citations till now. The article focuses on the topics: Feature model & Feature (computer vision).read more
Figures
Figure 2: Three feature implementations of the e-mail client in the form of feature modules, written in C (impl(EmailClient), impl(Encrypt), impl(Forward)), and their composition using superimposition (impl(Forward) • impl(Encrypt) • impl(EmailClient)). 
Figure 3: Exploring possible program paths of the e-mail example using a model checker 
Figure 4: Excerpts of the implementations of Encrypt and Verify of the e-mail system 
Table 1: Overview of the study results (|F |: number of feature; |V |: number of variants, specs: specifications; itns: interactions) 
Figure 1: Feature-interaction detection based on verification and feature-based specifications
Citations
More filters
Journal Article
An overview of AspectJ
TL;DR: AspectJ as mentioned in this paper is a simple and practical aspect-oriented extension to Java with just a few new constructs, AspectJ provides support for modular implementation of a range of crosscutting concerns.
Journal ArticleDOI
A Classification and Survey of Analysis Strategies for Software Product Lines
TL;DR: A classification of product-line analyses is proposed to enable systematic research and application in software-product-line engineering and develops a research agenda to guide future research on product- line analyses.
Proceedings ArticleDOI
Testing autonomous cars for feature interaction failures using many-objective search
TL;DR: A technique to detect feature interaction failures by casting this problem into a search-based test generation problem, and a new search- based test generation algorithm, called FITEST, that is guided by the hybrid test objectives.
Proceedings ArticleDOI
Exploring feature interactions in the wild: the new feature-interaction challenge
TL;DR: The nature of feature interactions systematically and comprehensively is explored, classified in terms of order and visibility, which will have significant implications on research in this area, for example, on the efficiency of interaction-detection or performance-prediction techniques.
Journal ArticleDOI
Automated analysis of feature models: Quo vadis?
José A. Galindo,David Benavides,Pablo Trinidad,Antonio Manuel Gutiérrez-Fernández,Antonio Ruiz-Cortés +4 more
TL;DR: An overview of the evolution of this field since 2010 is provided by performing a systematic mapping study considering 423 primary sources and found six different variability facets where the AAFM is being applied that define the tendencies.
References
More filters
Journal Article
An overview of AspectJ
TL;DR: AspectJ as mentioned in this paper is a simple and practical aspect-oriented extension to Java with just a few new constructs, AspectJ provides support for modular implementation of a range of crosscutting concerns.
Book ChapterDOI
An Overview of AspectJ
TL;DR: AspectJ provides support for modular implementation of a range of crosscutting concerns, and simple extensions to existing Java development environments make it possible to browse the crosscutting structure of aspects in the same kind of way as one browses the inheritance structure of classes.
Book
Generative Programming: Methods, Tools, and Applications
TL;DR: This chapter discusses Domain Engineering and Object-Oriented Analysis and Design, and main development steps in Generative Programming, as well as Static versus Dynamic Parameterization, and a Fresh Look at Polymorphism.
Journal ArticleDOI
Feature-oriented product line engineering
TL;DR: The article illustrates, with a home integration system example, how FORM brings efficiency into product line development.
Book
Software Ecosystem: Understanding an Indispensable Technology and Industry
TL;DR: In Software Ecosystem, Messerschmitt and Szyperski address the overlapping and related perspectives of technologists and nontechnologists.