A novel model-based testing approach for software product lines

Abstract

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.

A formal model for Multi Software Product Lines

“…We plan to integrate our approach to support MPL into DeltaJ 1.5 [26,27] (a prototypical implementation of DOP that supports full Java 1.5) and into the Abstract Behavioral Specification (ABS) delta-oriented modeling language and toolchain [28,29]. DeltaFineFit [30] is a recently proposed model-based testing approach that lifts to DeltaJ 1.5 SPLs the Fine-Fit [31] model-based testing approach of Java programs-both FineFit and DeltaFineFit rely on the notion of data refinement [32] to compare the state of the model with the state of the system under test (SUT). In future work we would like to explore the possibility of extending the DeltaFineFit approach to MPLs.…”

Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form

“…FineFit [22] is an approach for model-based testing of Java programs which relies on the notion of data refinement [20] to compare the state of the model with the state of the system under test (SUT). DeltaFineFit [13] is a recently proposed model-based testing approach for delta-oriented SPLs written in DeltaJ [34,49] (a prototypical language for delta-oriented programming of SPLs of Java programs). DeltaFineFit integrates data-refinement-based testing into delta-oriented SPL development by ensuring that each product is generated together with its FineFit model, thus enabling the fully automated testing of all the products of an SPL.…”

Reducing Redundant Test Executions in Software Product Line Testing—A Case Study

“…There have been extensive techniques to address this problem. Incremental delta-oriented techniques [7,8,10,34] incrementally construct test artifacts for every product by exploiting the commonality and variability between two consecutive products. Stepping from one product to the next product, they reuse test artifacts of the previous products for the next product.…”