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

52 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 Sep 2014
Event	18th International Software Product Line Conference, SPLC 2014 - Florence, Italy Duration: 15 Sep 2014 → 19 Sep 2014

Publication series

Name	SPLC '14
Publisher	ACM

Conference

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

Keywords

Model-based testing
Software product line
Test case generation

Access to Document

10.1145/2647908.2655971

SPLAT14-xdeSubmitted manuscript, 489 KB

Fingerprint Dive into the research topics of 'Abstract test case generation for behavioural testing of software product lines'. Together they form a unique fingerprint.

1 Finished

Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines
DEVROEY, X., HEYMANS, P., SCHOBBENS, P. & PERROUIN, G.
1/09/11 → 30/08/17
Project: PHD

1 Participation in conference

1st Workshop on Software Product Line Analysis Tools (SPLat'14)
Xavier Devroey (Speaker)
16 Sep 2014
Activity: Participating in or organising an event types › Participation in conference

VIBeS Case Studies: Featured Transition Systems and Feature Models
DEVROEY, X. (Creator), University of Namur, Oct 2020
DOI: 10.5281/zenodo.4105899
Dataset

Behavioural model-based testing of software product lines
Author: Devroey, X., 30 Aug 2017
Supervisor: Schobbens, P. (Supervisor), Heymans, P. (Supervisor), Englebert, V. (President), Baudry, B. (External person) (Jury), Cohen, M. B. (External person) (Jury), Legay, A. (Jury) & Perrouin, G. (Jury)
Student thesis: Doc types › Doctor of Sciences

File

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

Access to Document

Other files and links

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