Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Validated Test Models for Software Product Lines: Featured Finite State Machines
University of São Paolo, São Carlos, Brazil.
University of São Paolo, São Carlos, Brazil.
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).ORCID iD: 0000-0002-4869-6794
2016 (English)In: Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers / [ed] Kouchnarenko, Olga & Khosravi, Ramtin, Cham: Springer, 2016, Vol. 10231, p. 210-227Conference paper, Published paper (Refereed)
Abstract [en]

Variants of the finite state machine (FSM) model have been extensively used to describe the behaviour of reactive systems. In particular, several model-based testing techniques have been developed to support test case generation and test case executions from FSMs. Most such techniques require several validation properties to hold for the underlying test models. In this paper, we propose an extension of the FSM test model for software product lines (SPLs), named featured finite state machine (FFSM). As the first step towards using FFSMs as test models, we define feature-oriented variants of basic test model validation criteria. We show how the high-level validation properties coincide with the necessary properties on the product FSMs. Moreover, we provide a mechanised tool prototype for checking the feature-oriented properties using satisfiability modulo theory (SMT) solver tools. We investigate the applicability of our approach by applying it to both randomly generated FFSMs as well as those from a realistic case study (the Body Comfort System). The results of our study show that for random FFSMs over 16 independent non-mandatory features, our technique provides substantial efficiency gains for the set of proposed validity checks. © Springer International Publishing AG 2017

Place, publisher, year, edition, pages
Cham: Springer, 2016. Vol. 10231, p. 210-227
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 10231
Keywords [en]
Formal Modelling, Model Validation, Software Product Line, Finite State Machine
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:hh:diva-33213DOI: 10.1007/978-3-319-57666-4_13Scopus ID: 2-s2.0-85018251728ISBN: 978-3-319-57665-7 (print)ISBN: 978-3-319-57666-4 (electronic)OAI: oai:DiVA.org:hh-33213DiVA, id: diva2:1071802
Conference
The 13th International Conference on Formal Aspects of Component Software (FACS 2016), Besançon, France, 19-21 October, 2016
Projects
VR Project - EFFEMBACKKS Project - AUTO-CAAS
Funder
ELLIIT - The Linköping‐Lund Initiative on IT and Mobile CommunicationsSwedish Research Council, 621-2014-5057Knowledge Foundation, 20140312Available from: 2017-02-06 Created: 2017-02-06 Last updated: 2018-01-13Bibliographically approved

Open Access in DiVA

fulltext(334 kB)37 downloads
File information
File name FULLTEXT01.pdfFile size 334 kBChecksum SHA-512
31a93a7be77b4062ea9688e0d3577cf3030698b126c3d94799958bb65f59d9f58acc42519ac02a74ca838d7d07608d77fa792f2aa729a76ef521197744c7c678
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Mousavi, Mohammad Reza
By organisation
Centre for Research on Embedded Systems (CERES)
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 37 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 135 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf