Feature-Oriented Software Product Lines

Apel, Sven; Batory, Don; Kästner, Christian; Saake, Gunter

doi:10.1007/978-3-642-37521-7

Cited by 653 publications

(734 citation statements)

References 0 publications

Supporting

Mentioning

670

Contrasting

Unclassified

Order By: Relevance

“…In a product line, features are related to dedicated artifacts within the solution space. These artifacts are composable into product variants derivable for a given configuration, thus facilitating systematic reuse of artifacts among product-family members at any level of abstraction [1]. At source-code level, features may occur as implementation parameters annotating dedicated pieces of code as feature-specific implementation variability, e.g., using C preprocessor [19].…”

Section: Test-suite Derivation For Product-line Implementationsmentioning

confidence: 99%

Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines

Bürdek

Lochau

Bauregger

et al. 2015

Fundamental Approaches to Software Engineering

Self Cite

View full text Add to dashboard Cite

Abstract. Software testing is still the most established and scalable quality-assurance technique in practice. However, generating effective test suites remains computationally expensive, consisting of repetitive reachability analyses for multiple test goals according to a coverage criterion. This situation is even worse when testing entire software product lines, i.e., families of similar program variants, requiring a sufficient coverage of all derivable program variants. Instead of considering every product variant one-by-one, family-based approaches are variabilityaware analysis techniques in that they systematically explore similarities among the different variants. Based on this principle, we present a novel approach for automated product-line test-suite generation incorporating extensive reuse of reachability information among test cases derived for different test goals and/or program variants. We present a tool implementation on top of CPA/tiger which is based on CPAchecker, and provide evaluation results obtained from various experiments, revealing a considerable increase in efficiency compared to existing techniques.

show abstract

Section: Test-suite Derivation For Product-line Implementationsmentioning

confidence: 99%

Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines

Bürdek

Lochau

Bauregger

et al. 2015

Fundamental Approaches to Software Engineering

Self Cite

View full text Add to dashboard Cite

show abstract

“…To this aim, we consider delta-oriented programming (DOP) [36,7] (see also [1], Section 6.6.1), a recently proposed flexible approach for implementing SPLs. DOP is an extension of feature-oriented programming (FOP) [5], a prominent approach for developing SPLs (cf.…”

Section: Introductionmentioning

confidence: 99%

“…DOP is an extension of feature-oriented programming (FOP) [5], a prominent approach for developing SPLs (cf. [1], Section 6.1). 1 DeltaJ [7,22,44] is the archetypal language for delta-oriented programming of SPLs of Java programs.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A novel model-based testing approach for software product lines

et al. 2016

View full text Add to dashboard Cite

A novel model-based testing approach for software product lines / Damiani, Ferruccio; Faitelson, David; Gladisch, Christoph; Tyszberowicz, Shmuel. -In: SOFTWARE AND SYSTEMS MODELING. -ISSN 1619-ISSN -1366-ISSN . -14:4(2017, pp. 1223-1251. Original Citation:A novel model-based testing approach for software product lines Abstract Model-based testing relies on a model of the system under test. FineFit is a framework for model-based testing of Java programs. In the FineFit approach, the model is expressed by a set of tables based on Parnas tables. A software product line is a family of programs (the products) with well-defined commonalities and variabilities that are developed by (re)using common artifacts. In this paper we address the issue of using the FineFit approach to support the development of correct software product lines. We specify a software product line as a specification product line where each product is a FineFit specification of the corresponding software product. The main challenge is to concisely specify the software product line while retaining the readability of the specification of a single system. To address this we used delta-oriented programming, a recently proposed flexible approach for implementing software product lines, and developed: (i) delta-tables as a means to apply the delta-oriented programming idea to the specification of software product lines; and (ii) DeltaFineFit as a novel model-based testing approach for software product lines.

show abstract

“…Such variant-rich, configurable systems are developed and managed by techniques from the field known as software product line engineering (SPLE) [23]. Feature-oriented software development (FOSD) [1] is currently one of the most widely used approaches for modelling variability. A feature characterises a stakeholder visible piece of functionality or aspect of a system and a feature diagram models all possible products of a configurable system (e.g.…”

Section: Introductionmentioning

confidence: 99%

From Featured Transition Systems to Modal Transition Systems with Variability Constraints

Beek

Damiani

Gnesi

et al. 2015

Software Engineering and Formal Methods

View full text Add to dashboard Cite

Abstract. We present an automatic technique to transform a subclass of featured transition systems into modal transition systems with additional sets of variability constraints in the specific format accepted by the variability model checker VMC. Both formal models are widely used in the field of software product line engineering and both come with a dedicated model checker. The transformation serves two purposes. First, it contributes to a better understanding of the fundamental differences between the two approaches, basically concerning the way in which variability constraints are represented (in terms of features and actions, respectively). Second, it paves the way to compare the modelling and analysis of product line behaviour in two different settings.

show abstract

Feature-Oriented Software Product Lines

Cited by 653 publications

References 0 publications

Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines

Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines

A novel model-based testing approach for software product lines

From Featured Transition Systems to Modal Transition Systems with Variability Constraints

Contact Info

Product

Resources

About