Behavioural Model Based Testing of Software Product Lines: Research Abstract

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

64 Downloads (Pure)

Abstract

Since the inception of Software Product Line (SPL) engi- neering, concerns about testing SPLs emerged. The large number of possible products that may be derived from a SPL induces an even larger set of test-cases, which make SPL testing a very challenging activity. Some individual solutions have been proposed, but few are integrated in a complete testing process. In this paper, we summarize our research addressing variability-aware behavioural model-based testing. So far we developed a statistical prioritization technique and we have defined behavioural coverage criteria dedicated to behavioural model of a SPL. Our 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. The formality of the envisioned models also makes them amenable to model-checking, yielding innovative combinations of quality assurance activities. The evaluation will be performed in two phases: using standard approaches (fault seeding and mutation testing); using the approach on an industrial case-study.
Original languageEnglish
Title of host publicationProceedings of the 18th International Software Product Line Conference - Volume 1
PublisherACM Press
ISBN (Print)978-1-4503-2740-4
Publication statusPublished - 16 Sep 2014
Event18th International Software Product Lines Conference (SPLC'14) - Florence, Italy
Duration: 16 Sep 201419 Sep 2014

Conference

Conference18th International Software Product Lines Conference (SPLC'14)
CountryItaly
CityFlorence
Period16/09/1419/09/14

Fingerprint

Testing
Model checking
Quality assurance
Engineers

Keywords

  • Software Product Line
  • Software Testing
  • Model-Based Testing
  • Featured Transition System

Cite this

Devroey, X. (2014). Behavioural Model Based Testing of Software Product Lines: Research Abstract. In Proceedings of the 18th International Software Product Line Conference - Volume 1 ACM Press.
Devroey, Xavier. / Behavioural Model Based Testing of Software Product Lines: Research Abstract. Proceedings of the 18th International Software Product Line Conference - Volume 1. ACM Press, 2014.
@inbook{d37f359cf392448ab10c6d2979f668e7,
title = "Behavioural Model Based Testing of Software Product Lines: Research Abstract",
abstract = "Since the inception of Software Product Line (SPL) engi- neering, concerns about testing SPLs emerged. The large number of possible products that may be derived from a SPL induces an even larger set of test-cases, which make SPL testing a very challenging activity. Some individual solutions have been proposed, but few are integrated in a complete testing process. In this paper, we summarize our research addressing variability-aware behavioural model-based testing. So far we developed a statistical prioritization technique and we have defined behavioural coverage criteria dedicated to behavioural model of a SPL. Our 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. The formality of the envisioned models also makes them amenable to model-checking, yielding innovative combinations of quality assurance activities. The evaluation will be performed in two phases: using standard approaches (fault seeding and mutation testing); using the approach on an industrial case-study.",
keywords = "Software Product Line, Software Testing, Model-Based Testing, Featured Transition System",
author = "Xavier Devroey",
year = "2014",
month = "9",
day = "16",
language = "English",
isbn = "978-1-4503-2740-4",
booktitle = "Proceedings of the 18th International Software Product Line Conference - Volume 1",
publisher = "ACM Press",
address = "United States",

}

Devroey, X 2014, Behavioural Model Based Testing of Software Product Lines: Research Abstract. in Proceedings of the 18th International Software Product Line Conference - Volume 1. ACM Press, 18th International Software Product Lines Conference (SPLC'14), Florence, Italy, 16/09/14.

Behavioural Model Based Testing of Software Product Lines: Research Abstract. / Devroey, Xavier.

Proceedings of the 18th International Software Product Line Conference - Volume 1. ACM Press, 2014.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

TY - CHAP

T1 - Behavioural Model Based Testing of Software Product Lines: Research Abstract

AU - Devroey, Xavier

PY - 2014/9/16

Y1 - 2014/9/16

N2 - Since the inception of Software Product Line (SPL) engi- neering, concerns about testing SPLs emerged. The large number of possible products that may be derived from a SPL induces an even larger set of test-cases, which make SPL testing a very challenging activity. Some individual solutions have been proposed, but few are integrated in a complete testing process. In this paper, we summarize our research addressing variability-aware behavioural model-based testing. So far we developed a statistical prioritization technique and we have defined behavioural coverage criteria dedicated to behavioural model of a SPL. Our 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. The formality of the envisioned models also makes them amenable to model-checking, yielding innovative combinations of quality assurance activities. The evaluation will be performed in two phases: using standard approaches (fault seeding and mutation testing); using the approach on an industrial case-study.

AB - Since the inception of Software Product Line (SPL) engi- neering, concerns about testing SPLs emerged. The large number of possible products that may be derived from a SPL induces an even larger set of test-cases, which make SPL testing a very challenging activity. Some individual solutions have been proposed, but few are integrated in a complete testing process. In this paper, we summarize our research addressing variability-aware behavioural model-based testing. So far we developed a statistical prioritization technique and we have defined behavioural coverage criteria dedicated to behavioural model of a SPL. Our 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. The formality of the envisioned models also makes them amenable to model-checking, yielding innovative combinations of quality assurance activities. The evaluation will be performed in two phases: using standard approaches (fault seeding and mutation testing); using the approach on an industrial case-study.

KW - Software Product Line

KW - Software Testing

KW - Model-Based Testing

KW - Featured Transition System

M3 - Chapter (peer-reviewed)

SN - 978-1-4503-2740-4

BT - Proceedings of the 18th International Software Product Line Conference - Volume 1

PB - ACM Press

ER -

Devroey X. Behavioural Model Based Testing of Software Product Lines: Research Abstract. In Proceedings of the 18th International Software Product Line Conference - Volume 1. ACM Press. 2014