Automated analysis of feature models: Quo vadis?

Galindo, José; Benavides, David; Trinidad, Pablo; Gutiérrez–Fernández, Antonio Manuel; Ruiz–Cortés, Antonio

doi:10.1007/s00607-018-0646-1

Cited by 63 publications

(57 citation statements)

References 207 publications

(436 reference statements)

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…In the past three decades, a myriad of analyses have been proposed that require reasoning about constraints. These include automated analyses of feature models [9,38] and analyses also incorporating other domain artifacts [86,92]. In particular, a logical representation has been used for feature-model evolution [67,87], feature-model interfaces and slicing [1,74], computation of implicit constraints [3], product configuration [44,72] including staged configuration [28], parsing [50], dead-code analysis [83], code simplification [93], type checking [85], consistency checking [29], dataflow analyses [56], model checking [19], testing [16] including variability-aware execution [66] and sampling [58,89], optimization of non-functional properties [78], and variant-preserving refactoring [35].…”

Section: State-of-the-artmentioning

confidence: 99%

A BDD for Linux?

Thüm

2020

Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume a - Volume A

View full text Add to dashboard Cite

What is the number of valid configurations for Linux? How to generate uniform random samples for Linux? Can we create a binary decision diagram for Linux? It seems that the product-line community tries hard to answer such questions for Linux and other configurable systems. However, attempts are often not published due to the publication bias (i.e., unsuccessful attempts are not published). As a consequence, researchers keep trying by potentially spending redundant effort. The goal of this challenge is to guide research on these computationally complex problems and to foster the exchange between researchers and practitioners.

show abstract

Section: State-of-the-artmentioning

confidence: 99%

A BDD for Linux?

Thüm

2020

Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume a - Volume A

View full text Add to dashboard Cite

show abstract

“…For this process, we looked for success cases of companies whose websites have been designed on this platform. As the first searching criteria, we considered the showcase published on the official Wordpress site 5 where we obtained a list of seven websites. Then, we searched throughout the ranking of websites of the last four years (sites developed on Wordpress that are currently working).…”

Section: ) Wordpress Feature Modelmentioning

confidence: 99%

“…To overcome this problem, research has proposed the use of the so-called Automated Analysis of Feature Models [4], [5] which, using computer-aided techniques and tools, allow configuration space management. However, the problem becomes more complex when for each feature of a configuration, there is more than one component that implements it.…”

Section: Introductionmentioning

confidence: 99%

Selection of Software Product Line Implementation Components Using Recommender Systems: An Application to Wordpress

et al. 2019

Self Cite

View full text Add to dashboard Cite

In software products line (SPL), there may be features which can be implemented by different components, which means there are several implementations for the same feature. In this context, the selection of the best components set to implement a given configuration is a challenging task due to the high number of combinations and options which could be selected. In certain scenarios, it is possible to find information associated with the components which could help in this selection task, such as user ratings. In this paper, we introduce a component-based recommender system, called (REcommender System that suggests implementation Components from selecteD fEatures), which uses information associated with the implementation components to make recommendations in the domain of the SPL configuration. We also provide a RESDEC reference implementation that supports collaborative-based and content-based filtering algorithms to recommend (i.e., implementation components) regarding WordPress-based websites configuration. The empirical results, on a knowledge base with 680 plugins and 187 000 ratings by 116 000 users, show promising results. Concretely, this indicates that it is possible to guide the user throughout the implementation components selection with a margin of error smaller than 13% according to our evaluation.

show abstract

“…Software Product Line (SPL) and Feature-Oriented Domain Analysis (FODA) have become mature fields in the Software arena in the last decades [17]. Several are the scenarios where SPL have been applied [23,24]. Concretely, the use of feature models as a subarea of SPLs provides mechanisms for both modelling and analysis.…”

Section: Analysis and Diagnosis Of Feature Modelsmentioning

confidence: 99%

“…Concretely, the use of feature models as a subarea of SPLs provides mechanisms for both modelling and analysis. The automated analysis of feature models has been addressed over the last decade in the area of Software Product Lines [17,24,25]. The goal of the automated analysis is to extract or to infer certain properties of the models.…”

Section: Analysis and Diagnosis Of Feature Modelsmentioning

confidence: 99%

CyberSPL: A Framework for the Verification of Cybersecurity Policy Compliance of System Configurations Using Software Product Lines

et al. 2019

View full text Add to dashboard Cite

Cybersecurity attacks affect the compliance of cybersecurity policies of the organisations. Such disadvantages may be due to the absence of security configurations or the use of default configuration values of software products and systems. The complexity in the configuration of products and systems is a known challenge in the software industry since it includes a wide range of parameters to be taken into account. In other contexts, the configuration problems are solved using Software Product Lines. This is the reason why in this article the framework Cybersecurity Software Product Line (CyberSPL) is proposed. CyberSPL is based on a methodology to design product lines to verify cybersecurity policies according to the possible configurations. The patterns to configure the systems related to the cybersecurity aspects are grouped by defining various feature models. The automated analysis of these models allows us to diagnose possible problems in the security configurations, reducing or avoiding them. As support for this proposal, a multi-user and multi-platform solution has been implemented, enabling setting a catalogue of public or private feature models. Moreover, analysis and reasoning mechanisms have been integrated to obtain all the configurations of a model, to detect if a configuration is valid or not, including the root cause of problems for a given configuration. For validating the proposal, a real scenario is proposed where a catalogue of four different feature models is presented. In this scenario, the models have been analysed, different configurations have been validated, and several configurations with problems have been diagnosed.

show abstract

Automated analysis of feature models: Quo vadis?

Cited by 63 publications

References 207 publications

A BDD for Linux?

A BDD for Linux?

Selection of Software Product Line Implementation Components Using Recommender Systems: An Application to Wordpress

CyberSPL: A Framework for the Verification of Cybersecurity Policy Compliance of System Configurations Using Software Product Lines

Contact Info

Product

Resources

About