Quality Assurance in the Presence of Variability

  title={Quality Assurance in the Presence of Variability},
  author={Kim Lauenroth and Andreas Metzger and Klaus Pohl},
  booktitle={Intentional Perspectives on Information Systems Engineering},
Software Product Line Engineering (SPLE) is a reuse-driven development paradigm that has been applied successfully in information system engineering and other domains. Quality assurance of the reusable artifacts of the product line (e.g. requirements, design, and code artifacts) is essential for successful product line engineering. As those artifacts are reused in several products, a defect in a reusable artifact can affect several products of the product line. A central challenge for quality… 

Method to Identify Corrections of Defects on Product Line Models

A Classification and Survey of Analysis Strategies for Software Product Lines

A classification of product-line analyses is proposed to enable systematic research and application in software-product-line engineering and develops a research agenda to guide future research on product- line analyses.

Design variability verification in Software Product Lines

This paper proposes a novel notion called variability verification applicable to Software Product Lines (SPL), where each feature exhibits independent variability and the verification of an entire SPL consisting of multiple features is reduced to the verify of the individual features.

Compositional Verification of Software Product Lines

This paper presents a novel approach to the design verification of Software Product Lines (SPL), which ensures that every product at the design level behaviourally conforms to a products at the requirement level.

Behavioural Model Based Testing of Software Product Lines Research

The overall goal is to form an end-to-end model-driven approach, relying on Featured Transition System (FTS), a compact formalism to represent the behaviour of a SPL, where test-cases selection techniques are automated and made practical to the engineers.

Product-line specification and verification with feature-oriented contracts

It is found that behavioral subtyping applies to most, but not all featureoriented contracts, and synergistic effects when using theorem proving and model checking for product-line verification in concert are measured.

Software product line engineering and variability management: achievements and challenges

This research summary outlines current and future research challenges anticipated from major trends in software engineering and technology and outlines a standardized software product line framework.

Compositional Verification of Evolving Software Product Lines

This paper presents a novel approach to the design verification of Software Product Lines (SPL) that ensures that every product at the design level behaviorally conforms to a products at the requirement level.

A Generic Approach for Automated Verification of Product Line Models

The product line verification approach proposed in this thesis is general in the sense that it supports the verification of a comprehensive collection of criteria defined in the typology, and can be reused for any kind of product line model that instantiates the generic meta model based on which it was developed.

Review, Evaluation and Hierarchical Analysis of Domain Analysis Methods in Software Product Lines Revisión, Evaluación y Análisis Jerárquico de Métodos de Análisis del Dominio en Líneas de Productos Software

An evaluation using the DESMET methodology, from a feature analysis qualitative projection inspired on a Systematic Literature Review, related to the domain analysis phase in the SPL context found a priority order was found favoring the Models dimension over Artifacts and Processes.



Model Checking of Domain Artifacts in Product Line Engineering

This paper presents an extended model checking approach which takes the product line variability into account when verifying domain artifacts and is able to verify that every permissible product which can be derived from the productline fulfills the specified properties (specified with CTL).

Consistency management of product line requirements

  • J. SavolainenJuha Kuusela
  • Business, Computer Science
    Proceedings Fifth IEEE International Symposium on Requirements Engineering
  • 2001
The authors present a method that allows system specifications both in the product line variant as well as the product family level, and offers derivation of consistency management support between different specification levels and among family variants.

Towards automated consistency checks of product line requirements specifications

A formal framework for checking consistency of product line requirements specifications supports consistency checks in the domain engineering process and tolerates certain types of inconsistencies caused by the variability of prod-uct line requirements.

Software Product Line Engineering - Foundations, Principles, and Techniques

In this book, Pohl and his co-authors present a framework for software product line engineering which they have developed based on their academic as well as industrial experience gained in projects over the last eight years.

Dynamic Consistency Checking of Domain Requirements in Product Line Engineering

  • K. LauenrothK. Pohl
  • Computer Science
    2008 16th IEEE International Requirements Engineering Conference
  • 2008
This paper presents a consistency checking technique for dynamic properties of DRS based on model checking techniques, presents a proof of correctness for the technique, sketches the tool environment, and reports on the application of the approach to an industrial example.

Safety analysis of software product lines using state-based modeling

Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis

This paper reuses an existing formalization of feature diagrams, but introduces a formalized version of orthogonal variability models (OVMs) that serves as a foundation for a tool supporting automated reasoning on variability.

Considering Feature Interactions in Product Lines: Towards the Automatic Derivation of Dependencies between Product Variants

An approach for systematically and semi-automatically deriving variant dependencies from product line assets is introduced in this paper by extending existing solutions for the automatic detection of feature interactions in single products.

An Ontology of Verification Criteria in the Product Line Domain

A survey on PLM verification approaches is presented and an ontology of verification criteria in which each criterion is formalized using first order logic is proposed.

Product derivation in software product families: a case study