Behavioural Model Based Testing of Software Product Lines: Research Abstract

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

73 Downloads (Pure)


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


Conference18th International Software Product Lines Conference (SPLC'14)


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


Dive into the research topics of 'Behavioural Model Based Testing of Software Product Lines: Research Abstract'. Together they form a unique fingerprint.

Cite this