Test Scenario Generation for Feature-Based Context-Oriented Software Systems

Feature-based context-oriented programming reconciles ideas from context-oriented programming, feature modelling, and dynamic software product lines. As a result, feature-based context-oriented programming (FBCOP) offers a programming language, architecture, tools, and methodology to develop context-aware software systems. Such systems use contextual information identified in their immediate environment to select and activate appropriate behaviour at runtime. How to test features-based context-oriented software systems is critical to this work and provides the subject of our research. Systems developed using FBCOP represent contextual information via a context model and behaviour via a feature model (using feature modelling). A mapping model details which contexts trigger which features. Testing FBCOP systems is challenging given the exponential

[1]  Axel Legay,et al.  Statistical model checking for variability-intensive systems: applications to bug detection and minimization , 2021, Formal Aspects of Computing.

[2]  Axel Legay,et al.  Baital: an adaptive weighted sampling approach for improved t-wise coverage , 2020, ESEC/SIGSOFT FSE.

[3]  Malte Lochau,et al.  Real-time-aware reconfiguration decisions for dynamic software product lines , 2020, SPLC.

[4]  Jacopo Mauro,et al.  Anomaly detection in Context-aware Feature Models , 2020, VaMoS.

[5]  R. M. Hierons,et al.  Many-Objective Test Suite Generation for Software Product Lines , 2020, ACM Trans. Softw. Eng. Methodol..

[6]  Kim Mens,et al.  Implementation of a Feature-Based Context-Oriented Programming Language , 2019, COP@ECOOP.

[7]  Mathieu Acher,et al.  Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet? , 2019, 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST).

[8]  Axel Legay,et al.  Quantitative Variability Modeling and Analysis , 2019, VaMoS.

[9]  Michael Nieke,et al.  Context-aware reconfiguration in evolving software product lines , 2018, Sci. Comput. Program..

[10]  Kim Mens,et al.  Feature Visualiser: an Inspection Tool for Context-Oriented Programmers , 2018, COP@ECOOP.

[11]  Kim Mens,et al.  Modeling and Managing Context-Aware Systems' Variability , 2017, IEEE Softw..

[12]  Axel Legay,et al.  A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems , 2017, IEEE Transactions on Software Engineering.

[13]  Marcelo d'Amorim,et al.  Balancing Soundness and Efficiency for Practical Testing of Configurable Systems , 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).

[14]  Mustafa Al-Hajjaji,et al.  Optimizing product orders using graph algorithms for improving incremental product-line analysis , 2017, VaMoS.

[15]  Gunter Saake,et al.  Effective product-line testing using similarity-based product prioritization , 2016, Software & Systems Modeling.

[16]  Thomas Thüm,et al.  Explaining anomalies in feature models , 2016, GPCE.

[17]  Kim Mens,et al.  A Context-Oriented Software Architecture , 2016, COP@ECOOP.

[18]  Pierre-Yves Schobbens,et al.  Statistical prioritization for software product line testing: an experience report , 2015, Software & Systems Modeling.

[19]  Udo Kelter,et al.  Fault-based product-line testing: effective sample generation based on feature-diagram mutation , 2015, SPLC.

[20]  Rafael Capilla,et al.  Collaborative Context Features for Critical Systems , 2015, VaMoS.

[21]  Sergio Segura,et al.  A Comparison of Test Case Prioritization Criteria for Software Product Lines , 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation.

[22]  Rafael Capilla,et al.  Context Variability for Context-Aware Systems , 2014, Computer.

[23]  Kim Mens,et al.  Features on demand , 2014, VaMoS.

[24]  Christel Baier,et al.  Probabilistic model checking for energy analysis in software product lines , 2013, MODULARITY.

[25]  Jacques Klein,et al.  Multi-objective test generation for software product lines , 2013, SPLC '13.

[26]  Axel Legay,et al.  A framework for the rigorous design of highly adaptive timed systems , 2013, 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE).

[27]  John D. McGregor,et al.  Strategies for testing products in software product lines , 2012, ACM SIGSOFT Softw. Eng. Notes.

[28]  Øystein Haugen,et al.  An algorithm for generating t-wise covering arrays from large feature models , 2012, SPLC '12.

[29]  Sungwon Kang,et al.  A survey on software product line testing , 2012, SPLC '12.

[30]  Pierre-Yves Schobbens,et al.  Behavioural modelling and verification of real-time software product lines , 2012, SPLC '12.

[31]  Jacques Klein,et al.  Pairwise testing for software product lines: comparison of two approaches , 2012, Software Quality Journal.

[32]  Matteo Pradella,et al.  Context-oriented programming: A software engineering perspective , 2012, J. Syst. Softw..

[33]  Deepti Mishra,et al.  Test case prioritization: a systematic mapping study , 2012, Software Quality Journal.

[34]  Kim Mens,et al.  Feature-Oriented Programming and Context-Oriented Programming: Comparing Paradigm Characteristics by , 2011, ICSEA 2011.

[35]  Sven Apel,et al.  Tailoring dynamic software product lines , 2011, GPCE '11.

[36]  Renée C. Bryce,et al.  Test suite prioritization by cost-based combinatorial interaction coverage , 2011, Int. J. Syst. Assur. Eng. Manag..

[37]  E. Bagheri,et al.  Assessing the maintainability of software product line feature models using structural metrics , 2011, Software Quality Journal.

[38]  Sven Apel,et al.  Feature-Oriented Software Development , 2011, GTTSE.

[39]  Matteo Pradella,et al.  JavaCtx: seamless toolchain integration for context-oriented programming , 2011, COP@ECOOP.

[40]  Kim Mens,et al.  Subjective-C - Bringing Context to Mobile Platform Programming , 2010, SLE.

[41]  Sergio Segura,et al.  Automated analysis of feature models 20 years later: A literature review , 2010, Inf. Syst..

[42]  Myra B. Cohen,et al.  Reducing Field Failures in System Configurable Software: Cost-Based Prioritization , 2009, 2009 20th International Symposium on Software Reliability Engineering.

[43]  Brice Morin,et al.  Taming Dynamically Adaptive Systems using models and aspects , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[44]  Tim Trew,et al.  Using Feature Diagrams with Context Variability to Model Multiple Product Lines for Software Supply Chains , 2008, 2008 12th International Software Product Line Conference.

[45]  Myra B. Cohen,et al.  Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach , 2008, IEEE Transactions on Software Engineering.

[46]  K. Czarnecki,et al.  Feature Diagrams and Logics: There and Back Again , 2007, 11th International Software Product Line Conference (SPLC 2007).

[47]  Theo D'Hondt,et al.  Context-Oriented Domain Analysis , 2007, CONTEXT.

[48]  Robert Hirschfeld,et al.  Language constructs for context-oriented programming: an overview of ContextL , 2005, DLS '05.

[49]  David Garlan,et al.  Context is key , 2005, CACM.

[50]  Gregory D. Abowd,et al.  Towards a Better Understanding of Context and Context-Awareness , 1999, HUC.

[51]  Joao Marques-Silva,et al.  GRASP: A Search Algorithm for Propositional Satisfiability , 1999, IEEE Trans. Computers.

[52]  Michael L. Fredman,et al.  The AETG System: An Approach to Testing Based on Combinatiorial Design , 1997, IEEE Trans. Software Eng..

[53]  Kim Mens,et al.  A Context and Feature Visualisation Tool for a Feature-Based Context-Oriented Programming Language , 2019, SATToSE.

[54]  Cláudia Maria Lima Werner,et al.  An Approach for Feature Modeling of Context-Aware Software Product Line , 2011, J. Univers. Comput. Sci..

[55]  Oscar Nierstrasz,et al.  Context-oriented Programming , 2008, J. Object Technol..

[56]  Theo D'Hondt,et al.  Feature Descriptions for Context-oriented Programming , 2008, SPLC.

[57]  Pierre-Yves Schobbens,et al.  What ' s in a Feature ? A Requirements Engineering Perspective , 2008 .

[58]  Joëlle Coutaz,et al.  Plasticity of User Interfaces: Framework and Research Agenda , 1999, INTERACT.

[59]  Antonio Ruiz Cortés,et al.  Article in Press G Model the Journal of Systems and Software an Overview of Dynamic Software Product Line Architectures and Techniques: Observations from Research and Industry , 2022 .