A performance comparison of contemporary algorithmic approaches for automated analysis operations on feature models

Pohl, Richard; Lauenroth, Kim; Pohl, Klaus

doi:10.1109/ase.2011.6100068

Cited by 44 publications

(28 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Many results in the automated analysis of software product lines were validated using feature models published in online feature model repositories such as SPLOT [17]. Examples are: Pohl et al [20], Lopez-Herrejon and Egyed [16], Johansen et al [14], Mendonca et al [19] and our own previous work [23] [22]. Most of the feature models in SPLOT were produced for academic purposes without representing actual systems.…”

Section: A Motivationmentioning

confidence: 99%

“…In [20], a large experiment was performed to measure the efficiency of available BDD, SAT and CSP solvers to perform four analysis operations on 90 feature models from the SPLOT repository. They reported long run times for certain operations, and they cancelled certain runs with the larger feature models when the run time exceeded three hours.…”

Section: Finds 30 Valid Solutions That Are Pareto-optimum In 5 Objectmentioning

confidence: 99%

See 1 more Smart Citation

Scalable product line configuration: A straw to break the camel's back

Sayyad

Ingram

Ammar

2013

2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)

110

118

View full text Add to dashboard Cite

Abstract-Software product lines are hard to configure. Techniques that work for medium sized product lines fail for much larger product lines such as the Linux kernel with 6000+ features. This paper presents simple heuristics that help the Indicator-Based Evolutionary Algorithm (IBEA) in finding sound and optimum configurations of very large variability models in the presence of competing objectives. We employ a combination of static and evolutionary learning of model structure, in addition to utilizing a pre-computed solution used as a "seed" in the midst of a randomly-generated initial population. The seed solution works like a single straw that is enough to break the camel's back -given that it is a feature-rich seed. We show promising results where we can find 30 sound solutions for configuring upward of 6000 features within 30 minutes.

show abstract

Section: A Motivationmentioning

confidence: 99%

Section: Finds 30 Valid Solutions That Are Pareto-optimum In 5 Objectmentioning

confidence: 99%

Scalable product line configuration: A straw to break the camel's back

Sayyad

Ingram

Ammar

2013

2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)

110

118

View full text Add to dashboard Cite

show abstract

“…This would also better organize the heuristics of used algorithms, like in the SPLAR Java API [21]. In addition, results from performance comparison between solvers for feature modeling operations [42] may serve as starting point.…”

Section: Challenges Aheadmentioning

confidence: 99%

Domain Specific Languages for Managing Feature Models: Advances and Challenges

Collet

2014

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

View full text Add to dashboard Cite

Abstract. Managing multiple and complex feature models is a tedious and error-prone activity in software product line engineering. Despite many advances in formal methods and analysis techniques, the supporting tools and APIs are not easily usable together, nor unified. In this paper, we report on the development and evolution of the Familiar Domain-Specific Language (DSL). Its toolset is dedicated to the large scale management of feature models through a good support for separating concerns, composing feature models and scripting manipulations. We overview various applications of Familiar and discuss both advantages and identified drawbacks. We then devise salient challenges to improve such DSL support in the near future.

show abstract

“…Pohl et al [53] have carried out a performance comparison of algorithmic approaches for automated analysis operations on FDs. In particular, the capability of SAT and BDD solvers to compute #P is compared, and it seems that BDD technology performs better than SAT for large models.…”

Section: Hybrid Approachesmentioning

confidence: 99%

A Literature Review on Feature Diagram Product Counting and Its Usage in Software Product Line Economic Models

Heradio

Fernández-Amorós²,

Cerrada

et al. 2013

Int. J. Soft. Eng. Knowl. Eng.

View full text Add to dashboard Cite

In software product line engineering, feature diagrams are a popular means to represent the similarities and differences within a family of related systems. In addition, feature diagrams implicitly model valuable information that can be used in economic models to estimate the cost savings of a product line. In particular, this paper reviews existing proposals on computing the total number of products modeled with a feature diagram and, given a feature, the number of products that implement it. The paper also reviews the economic information that can be estimated when such numbers are known. Thus, this paper contributes by bringing together previously-disparate streams of work: the automated analysis of feature diagrams and economic models for product lines.

show abstract

A performance comparison of contemporary algorithmic approaches for automated analysis operations on feature models

Cited by 44 publications

References 13 publications

Scalable product line configuration: A straw to break the camel's back

Scalable product line configuration: A straw to break the camel's back

Domain Specific Languages for Managing Feature Models: Advances and Challenges

A Literature Review on Feature Diagram Product Counting and Its Usage in Software Product Line Economic Models

Contact Info

Product

Resources

About