Exploring feature interactions in the wild: the new feature-interaction challenge

The feature-interaction problem has been keeping researchers and practitioners in suspense for years. Although there has been substantial progress in developing approaches for modeling, detecting, managing, and resolving feature interactions, we lack sufficient knowledge on the kind of feature interactions that occur in real-world systems. In this position paper, we set out the goal to explore the nature of feature interactions systematically and comprehensively, classified in terms of order and visibility. Understanding this nature will have significant implications on research in this area, for example, on the efficiency of interaction-detection or performance-prediction techniques. A set of preliminary results as well as a discussion of possible experimental setups and corresponding challenges give us confidence that this endeavor is within reach but requires a collaborative effort of the community.

[1]  Don Batory,et al.  Scaling step-wise refinement , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[2]  Rob van der Linden,et al.  Using an architecture to help beat feature interaction , 1994, FIW.

[3]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[4]  Glenn Bruns Foundations for Features , 2005, FIW.

[5]  Gunter Saake,et al.  Analysis Strategies for Software Product Lines , 2012 .

[6]  Jia Liu,et al.  Feature oriented refactoring of legacy applications , 2006, ICSE.

[7]  Babak Esfandiari,et al.  On feature interactions among Web services , 2004 .

[8]  Sven Apel,et al.  Scalable analysis of variable software , 2013, ESEC/FSE 2013.

[9]  Nancy D. Griffeth,et al.  The negotiating agents approach to runtime feature interaction resolution , 1994, FIW.

[10]  Greg Utas A Pattern Language of Feature Interaction , 1998, FIW.

[11]  Myra B. Cohen,et al.  Covering arrays for efficient fault characterization in complex configuration spaces , 2004, IEEE Transactions on Software Engineering.

[12]  Yow-Jian Lin,et al.  A Building Block Approach to Detecting and Resolving Feature Interactions , 1994 .

[13]  D. Richard Kuhn,et al.  Software fault interactions and implications for software testing , 2004, IEEE Transactions on Software Engineering.

[14]  Thomas Leich,et al.  Aspectual Feature Modules , 2008, IEEE Transactions on Software Engineering.

[15]  Muffy Calder,et al.  Modular modelling of signalling pathways and their cross-talk , 2012, Theor. Comput. Sci..

[16]  Pamela Zave Modularity in Distributed Feature Composition , 2009 .

[17]  Sven Apel,et al.  An Overview of Feature-Oriented Software Development , 2009, J. Object Technol..

[18]  Sven Apel,et al.  Detecting Dependences and Interactions in Feature-Oriented Design , 2010, 2010 IEEE 21st International Symposium on Software Reliability Engineering.

[19]  T. Repasi,et al.  Using model-checking for the detection of non-functional feature interactions , 2012, 2012 IEEE 16th International Conference on Intelligent Engineering Systems (INES).

[20]  Sven Apel,et al.  The road to feature modularity? , 2011, SPLC '11.

[21]  C. Mohan,et al.  Interactions between query optimization and concurrency control , 1992, [1992 Proceedings] Second International Workshop on Research Issues on Data Engineering: Transaction and Query Processing.

[22]  Joanne M. Atlee,et al.  Composing features and resolving interactions , 2000, SIGSOFT '00/FSE-8.

[23]  Gunter Saake,et al.  On the impact of the optional feature problem: analysis and case studies , 2009, SPLC.

[24]  Muffy Calder,et al.  Feature interaction detection by pairwise analysis of LTL properties—A case study , 2006, Formal Methods Syst. Des..

[25]  Myra B. Cohen,et al.  Feature Interaction Faults Revisited: An Exploratory Study , 2011, 2011 IEEE 22nd International Symposium on Software Reliability Engineering.

[26]  Don S. Batory,et al.  On the modularity of feature interactions , 2008, GPCE '08.

[27]  Gunter Saake,et al.  Feature-Oriented Software Product Lines , 2013, Springer Berlin Heidelberg.

[28]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .

[29]  Mario Kolberg,et al.  Feature interaction: a critical review and considered forecast , 2003, Comput. Networks.

[30]  Sven Apel,et al.  Scalable Prediction of Non-functional Properties in Software Product Lines , 2011, 2011 15th International Software Product Line Conference.

[31]  Pamela Zave,et al.  Software Requirements and Design: The Work of Michael Jackson , 2013 .

[32]  Sooyong Park,et al.  Combining feature-oriented analysis and aspect-oriented programming for product line asset development , 2006, 10th International Software Product Line Conference (SPLC'06).

[33]  Sven Apel,et al.  Detection of feature interactions using feature-aware verification , 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).

[34]  Sven Apel,et al.  Strategies for product-line verification: Case studies and experiments , 2013, 2013 35th International Conference on Software Engineering (ICSE).

[35]  Sven Apel,et al.  Feature-interaction detection based on feature-based specifications , 2013, Comput. Networks.

[36]  Øystein Haugen,et al.  A Technique for Agile and Automatic Interaction Testing for Product Lines , 2012, ICTSS.

[37]  Kathi Fisler,et al.  Verifying cross-cutting features as open systems , 2002, SIGSOFT '02/FSE-10.

[38]  Michael Weiss,et al.  Towards a Classification of Web Service Feature Interactions , 2005, ICSOC.

[39]  Christian Kästner,et al.  Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity , 2011, ECOOP.

[40]  Alma L. Juarez Dominguez,et al.  Detection of Feature Interactions in Automotive Active Safety Features , 2012 .

[41]  Amy P. Felty,et al.  Feature specification and automated conflict detection , 2003, TSEM.

[42]  Robert J. Hall,et al.  Fundamental Nonmodularity in Electronic Mail , 2004, Automated Software Engineering.

[43]  Thomas Leich,et al.  Tailor-made data management for embedded systems: A case study on Berkeley DB , 2009, Data Knowl. Eng..

[44]  Evan H. Magill,et al.  Learning To Detect and Avoid Run-Time Feature Interactions in Intelligent Networks , 1998, IEEE Trans. Software Eng..

[45]  Andreas Reuter,et al.  Principles of transaction-oriented database recovery , 1983, CSUR.

[46]  Luigi Logrippo,et al.  Distributed resolution of feature interactions for internet applications , 2007, Comput. Networks.

[47]  Don S. Batory,et al.  Feature interactions, products, and composition , 2011, GPCE '11.

[48]  Sven Apel,et al.  An analysis of the variability in forty preprocessor-based software product lines , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

[49]  Bashar Nuseibeh,et al.  Feature interaction: the security threat from within software systems , 2008 .

[50]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[51]  Christian Prehofer,et al.  Feature-Oriented Programming: A Fresh Look at Objects , 1997, ECOOP.

[52]  G. Herman,et al.  The feature interaction problem in telecommunications systems , 1989 .

[53]  Michael Jackson,et al.  Distributed Feature Composition: A Virtual Architecture for Telecommunications Services , 1998, IEEE Trans. Software Eng..

[54]  Sven Apel,et al.  Feature-Oriented System Design and Engineering , 2011, Int. J. Softw. Informatics.

[55]  Jon Whittle,et al.  Model composition in product lines and feature interaction detection using critical pair analysis , 2007, MODELS'07.

[56]  Bengt Jonsson,et al.  Using temporal logic for modular specification of telephone services , 1994, FIW.

[57]  Gunter Saake,et al.  Predicting performance via automated feature-interaction detection , 2012, 2012 34th International Conference on Software Engineering (ICSE).

[58]  Joanne M. Atlee,et al.  Reachability analysis of feature interactions: a progress report , 1996, ISSTA '96.