Coverage criteria for behavioural testing of software product lines

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

218 Downloads (Pure)

Abstract

Featured Transition Systems (FTS) is a mathematical structure to represent the behaviour of software product line in a concise way. The combination of the well-known transition systems approach to formal behavioural modelling with feature expressions was pivotal to the design of efficient verification approaches. Such approaches indeed avoid to consider products’ behaviour independently, leading to often exponential savings. Building on this successful structure, we lay the foundations of model-based testing approach to SPLs. We define several FTS-aware coverage criteria and report on our experience combining FTS with usage-based testing for configurable websites.

Original languageEnglish
Title of host publicationProceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA)
PublisherSpringer Verlag
Pages336-350
Number of pages15
Volume8802
ISBN (Print)9783662452332
Publication statusPublished - 8 Nov 2014
Event6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 - Imperial, Corfu, Greece
Duration: 8 Oct 201411 Oct 2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8802
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

Conference6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014
CountryGreece
CityImperial, Corfu
Period8/10/1411/10/14

Keywords

  • Coverage criteria
  • Model based testing
  • Software product line engineering

Fingerprint Dive into the research topics of 'Coverage criteria for behavioural testing of software product lines'. Together they form a unique fingerprint.

Cite this