Abstract test case generation for behavioural testing of software product lines

Xavier Devroey; Gilles Perrouin; Pierre-Yves Schobbens

doi:10.1145/2647908.2655971

Abstract test case generation for behavioural testing of software product lines

Xavier Devroey, Gilles Perrouin, Pierre-Yves Schobbens

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

85 Downloads (Pure)

Abstract

In Model Based Testing (MBT), test cases are generated automatically from a partial representation of expected behaviour of the System Under Test (SUT) (i.e., the model). For most industrial systems, it is impossible to generate all the possible test cases from the model. The test engineer recourse to generation algorithms that maximize a given coverage criterion, a metric indicating the percentage of possible behaviours of the SUT covered by the test cases. Our previous work redefined classical Transition Systems (TSs) criteria for SPLs, using Featured Transition Systems (FTSs), a mathematical structure to compactly represent the behaviour of a SPL, as model for test case generation. In this paper, we provide one all-states coverage driven generation algorithm and discuss its scalability and efficiency with respect to random generation. All-states and random generation are compared on fault-seeded FTSs.

Original language	English
Title of host publication	ACM International Conference Proceeding Series
Place of Publication	Florence, Italy
Publisher	ACM Press
Pages	86-93
Number of pages	8
Volume	2
ISBN (Print)	9781450327398
DOIs	https://doi.org/10.1145/2647908.2655971
Publication status	Published - 15 Sept 2014
Event	18th International Software Product Line Conference, SPLC 2014 - Florence, Italy Duration: 15 Sept 2014 → 19 Sept 2014

Publication series

Name	SPLC '14
Publisher	ACM

Conference

Conference	18th International Software Product Line Conference, SPLC 2014
Country/Territory	Italy
City	Florence
Period	15/09/14 → 19/09/14

Keywords

Model-based testing
Software product line
Test case generation

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1145/2647908.2655971

SPLAT14-xdeSubmitted manuscript, 489 KB

Cite this

@inproceedings{234870b32249482a8606d9ee21aaac3e,

title = "Abstract test case generation for behavioural testing of software product lines",

abstract = "In Model Based Testing (MBT), test cases are generated automatically from a partial representation of expected behaviour of the System Under Test (SUT) (i.e., the model). For most industrial systems, it is impossible to generate all the possible test cases from the model. The test engineer recourse to generation algorithms that maximize a given coverage criterion, a metric indicating the percentage of possible behaviours of the SUT covered by the test cases. Our previous work redefined classical Transition Systems (TSs) criteria for SPLs, using Featured Transition Systems (FTSs), a mathematical structure to compactly represent the behaviour of a SPL, as model for test case generation. In this paper, we provide one all-states coverage driven generation algorithm and discuss its scalability and efficiency with respect to random generation. All-states and random generation are compared on fault-seeded FTSs.",

keywords = "Model-based testing, Software product line, Test case generation",

author = "Xavier Devroey and Gilles Perrouin and Pierre-Yves Schobbens",

year = "2014",

month = sep,

day = "15",

doi = "10.1145/2647908.2655971",

language = "English",

isbn = "9781450327398",

volume = "2",

series = "SPLC '14",

publisher = "ACM Press",

pages = "86--93",

booktitle = "ACM International Conference Proceeding Series",

address = "United States",

note = "18th International Software Product Line Conference, SPLC 2014 ; Conference date: 15-09-2014 Through 19-09-2014",

}

TY - GEN

T1 - Abstract test case generation for behavioural testing of software product lines

AU - Devroey, Xavier

AU - Perrouin, Gilles

AU - Schobbens, Pierre-Yves

PY - 2014/9/15

Y1 - 2014/9/15

N2 - In Model Based Testing (MBT), test cases are generated automatically from a partial representation of expected behaviour of the System Under Test (SUT) (i.e., the model). For most industrial systems, it is impossible to generate all the possible test cases from the model. The test engineer recourse to generation algorithms that maximize a given coverage criterion, a metric indicating the percentage of possible behaviours of the SUT covered by the test cases. Our previous work redefined classical Transition Systems (TSs) criteria for SPLs, using Featured Transition Systems (FTSs), a mathematical structure to compactly represent the behaviour of a SPL, as model for test case generation. In this paper, we provide one all-states coverage driven generation algorithm and discuss its scalability and efficiency with respect to random generation. All-states and random generation are compared on fault-seeded FTSs.

AB - In Model Based Testing (MBT), test cases are generated automatically from a partial representation of expected behaviour of the System Under Test (SUT) (i.e., the model). For most industrial systems, it is impossible to generate all the possible test cases from the model. The test engineer recourse to generation algorithms that maximize a given coverage criterion, a metric indicating the percentage of possible behaviours of the SUT covered by the test cases. Our previous work redefined classical Transition Systems (TSs) criteria for SPLs, using Featured Transition Systems (FTSs), a mathematical structure to compactly represent the behaviour of a SPL, as model for test case generation. In this paper, we provide one all-states coverage driven generation algorithm and discuss its scalability and efficiency with respect to random generation. All-states and random generation are compared on fault-seeded FTSs.

KW - Model-based testing

KW - Software product line

KW - Test case generation

UR - http://www.scopus.com/inward/record.url?scp=84907833970&partnerID=8YFLogxK

U2 - 10.1145/2647908.2655971

DO - 10.1145/2647908.2655971

M3 - Conference contribution

AN - SCOPUS:84907833970

SN - 9781450327398

VL - 2

T3 - SPLC '14

SP - 86

EP - 93

BT - ACM International Conference Proceeding Series

PB - ACM Press

CY - Florence, Italy

T2 - 18th International Software Product Line Conference, SPLC 2014

Y2 - 15 September 2014 through 19 September 2014

ER -

Abstract test case generation for behavioural testing of software product lines

Abstract

Publication series

Conference

Keywords

UN SDGs

Access to Document

Other files and links

Fingerprint

VIBeS: Variability Intensive system Behavioural teSting

Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines

1st Workshop on Software Product Line Analysis Tools (SPLat'14)

VIBeS Case Studies: Featured Transition Systems and Feature Models

Behavioural model-based testing of software product lines

Cite this

Abstract test case generation for behavioural testing of software product lines

Abstract

Publication series

Conference

Keywords

UN SDGs

Access to Document

Other files and links

Fingerprint

Research output

VIBeS: Variability Intensive system Behavioural teSting

Projects

Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines

Activities

1st Workshop on Software Product Line Analysis Tools (SPLat'14)

Datasets

VIBeS Case Studies: Featured Transition Systems and Feature Models

Student theses

Behavioural model-based testing of software product lines

Cite this