hh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • 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.
Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).ORCID-id: 0000-0002-4869-6794
2016 (engelsk)Inngår i: 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, s. 210-227Konferansepaper, Publicerat paper (Fagfellevurdert)
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

sted, utgiver, år, opplag, sider
Cham: Springer, 2016. Vol. 10231, s. 210-227
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 10231
Emneord [en]
Formal Modelling, Model Validation, Software Product Line, Finite State Machine
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-33213DOI: 10.1007/978-3-319-57666-4_13ISI: 000418342500013Scopus ID: 2-s2.0-85018251728ISBN: 978-3-319-57665-7 (tryckt)ISBN: 978-3-319-57666-4 (digital)OAI: oai:DiVA.org:hh-33213DiVA, id: diva2:1071802
Konferanse
The 13th International Conference on Formal Aspects of Component Software (FACS 2016), Besançon, France, 19-21 October, 2016
Prosjekter
VR Project - EFFEMBACKKS Project - AUTO-CAAS
Forskningsfinansiär
ELLIIT - The Linköping‐Lund Initiative on IT and Mobile CommunicationsSwedish Research Council, 621-2014-5057Knowledge Foundation, 20140312Tilgjengelig fra: 2017-02-06 Laget: 2017-02-06 Sist oppdatert: 2020-02-03bibliografisk kontrollert
Inngår i avhandling
1. Automatic generation of configurable test-suites for software product lines
Åpne denne publikasjonen i ny fane eller vindu >>Automatic generation of configurable test-suites for software product lines
2018 (engelsk)Doktoravhandling, med artikler (Annet vitenskapelig)
Abstract [en]

Software Product Line Engineering (SPLE) is an approach used in the development of similar products, which aims at systematic reuse of software artifacts. The SPLE process has several activities executed to assure software quality. Quality assurance is of vital importance for achieving and maintaining a high quality for various artifacts, such as products and processes. Testing activities are widely used in industry for quality assurance. However, the effort for applying testing is usually high, and increasing the testing efficiency is a major concern. A common means of increasing efficiency is automation of test design. Several techniques, processes, and strategies were developed for SPLE testing, but still many problems are open in this area of research. The challenge in focus is the reduction of the overall test effort required to test SPLE products. Test effort can be reduced by maximizing test reuse using models that take advantage of the similarity between products. The thesis goal is to automate the generation of small test-suites with high fault detection and low test redundancy between products. To achieve the goal, equivalent tests are identified for a set of products using complete and configurable test-suites. Two research directions are explored, one is product-based centered, and the other is product line-centered. For test design, test-suites that have full fault coverage were generated from state machines with and without feature constraints. A prototype tool was implemented for test design automation. In addition, the proposed approach was evaluated using examples, experimental studies, and an industrial case study for the automotive domain. The results of the product-based centered approach indicate a reduction of 36% on the number of test cases that need to be concretized. The results of the product line-centered approach indicate a reduction of 50% on the number of test cases generated for groups of product configurations.

sted, utgiver, år, opplag, sider
Halmstad: Halmstad University Press, 2018. s. 154
Serie
Halmstad University Dissertations ; 48
HSV kategori
Identifikatorer
urn:nbn:se:hh:diva-37779 (URN)978-91-88749-00-0 (ISBN)978-91-88749-01-7 (ISBN)
Disputas
2018-08-24, Halda, Visionen, Kristian IV:s väg 3, Halmstad, 13:00 (engelsk)
Opponent
Veileder
Forskningsfinansiär
ELLIIT - The Linköping‐Lund Initiative on IT and Mobile Communications
Merknad

Paper III & IV not in DiVA.

Tilgjengelig fra: 2019-02-08 Laget: 2018-08-24 Sist oppdatert: 2019-02-08bibliografisk kontrollert

Open Access i DiVA

fulltext(334 kB)136 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 334 kBChecksum SHA-512
31a93a7be77b4062ea9688e0d3577cf3030698b126c3d94799958bb65f59d9f58acc42519ac02a74ca838d7d07608d77fa792f2aa729a76ef521197744c7c678
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Mousavi, Mohammad Reza

Søk i DiVA

Av forfatter/redaktør
Mousavi, Mohammad Reza
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 136 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 283 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf