No Cover Image

Journal article 1193 views 107 downloads

Automating Test Case Selection in Model-Based Software Product Line Development

Alexander Knapp, Markus Roggenbach Orcid Logo, Bernd-Holger Schlingloff

International Journal of Software and Informatics, Volume: 9, Issue: 2, Pages: 153 - 175

Swansea University Author: Markus Roggenbach Orcid Logo

  • spl.pdf

    PDF | Accepted Manuscript

    Creative Commons Attribution Non-Commercial License

    Download (1.09MB)

Abstract

We address the problem of how to select test cases for products in a controlled model-based software product line development process. CVL, the common variability language, gives a framework for materialisation of product models from a given base model, variability model and resolution model. From s...

Full description

Published in: International Journal of Software and Informatics
ISSN: 1673-7288
Published: 2015
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa21771
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract: We address the problem of how to select test cases for products in a controlled model-based software product line development process. CVL, the common variability language, gives a framework for materialisation of product models from a given base model, variability model and resolution model. From such product models, software products can be derived. In practise, test case development for the product line often is independent from the product development. Therefore, the problem arises which test cases can be applied to which products. In particular, the question is whether a test case for one speci c product can be also used for a "similar" product. In this paper, we show how the expected outcome of a test case to a product in a model-based software product line development can be determined. That is, we give a procedure for assigning the outcome of a given test case on an arbitrary member of a software product line. We recall the relevant de nitions for software product line engineering, describe our approach, and demonstrate it with the example of a product line of super-automatic espresso machines.
Keywords: software product lines model-based testing test colouring UML
College: Faculty of Science and Engineering
Issue: 2
Start Page: 153
End Page: 175