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
Input–output conformance testing for software product lines
Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
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: The Journal of logical and algebraic methods in programming, ISSN 2352-2208, E-ISSN 2352-2216, Vol. 85, nr 6, s. 1131-1153Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

We extend the theory of input-output conformance (IOCO) testing to accommodate behavioral models of software product lines (SPLs). We present the notions of residual and spinal testing. These notions allow for structuring the test process for SPLs by taking variability into account and extracting separate test suites for common and specific features of an SPL. The introduced notions of residual and spinal test suites allow for focusing on the newly introduced behavior and avoiding unnecessary re-test of the old one. Residual test suites are very conservative in that they require retesting the old behavior that can reach to new behavior. However, spinal test suites more aggressively prune the old tests and only focus on those test sequences that are necessary in reaching the new behavior. We show that residual testing is complete but does not usually lead to much reduction in the test-suite. In contrast, spinal testing is not necessarily complete but does reduce the test-suite. We give sufficient conditions on the implementation to guarantee completeness of spinal testing. Finally, we specify and analyze an example regarding the Ceiling Speed Monitoring Function from the European Train Control System. (C) 2016 The Author(s). Published by Elsevier Inc.

sted, utgiver, år, opplag, sider
Amsterdam: Elsevier, 2016. Vol. 85, nr 6, s. 1131-1153
Emneord [en]
Model based testing, Input–output conformance testing, Software product lines, Input–output featured transition systems
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-33621DOI: 10.1016/j.jlamp.2016.09.007ISI: 000388062000003Scopus ID: 2-s2.0-85008682089OAI: oai:DiVA.org:hh-33621DiVA, id: diva2:1084833
Prosjekter
AUTO-CAAS, KK HÖG ProjectEFFEMBAC, VR Project
Forskningsfinansiär
ELLIIT - The Linköping‐Lund Initiative on IT and Mobile CommunicationsKnowledge Foundation, 20140312Swedish Research Council, 621-2014-5057Tilgjengelig fra: 2017-03-27 Laget: 2017-03-27 Sist oppdatert: 2018-03-23bibliografisk kontrollert

Open Access i DiVA

fulltext(320 kB)83 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 320 kBChecksum SHA-512
95632e0772e9834f2cd48f7f788c8a6030ba7cefc045ea7bcb3c7d1c97dd6f67e5f2ab625907cd7150fb5a5302aafed47020157f6b71fb6edbae50de00eab2f9
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Beohar, HarshMousavi, Mohammad Reza

Søk i DiVA

Av forfatter/redaktør
Beohar, HarshMousavi, Mohammad Reza
Av organisasjonen
I samme tidsskrift
The Journal of logical and algebraic methods in programming

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 83 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
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 249 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