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
Spinal test suites 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
2014 (engelsk)Inngår i: Proceedings: Ninth Workshop on Model-Based Testing (MBT 2014) / [ed] Alexander K. Petrenko, Holger Schlingloff, Sydney: Open Publishing Association , 2014, Vol. 141, s. 44-55Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

A major challenge in testing software product lines is efficiency. In particular, testing a product line should take less effort than testing each and every product individually. We address this issue in the context of input-output conformance testing, which is a formal theory of model-based testing. We extend the notion of conformance testing on input-output featured transition systems with the novel concept of spinal test suites. We show how this concept dispenses with retesting the common behavior among different, but similar, products of a software product line. © H. Beohar & M.R. Mousavi.

sted, utgiver, år, opplag, sider
Sydney: Open Publishing Association , 2014. Vol. 141, s. 44-55
Serie
Electronic Proceedings in Theoretical Computer Science, E-ISSN 2075-2180 ; 141
Emneord [en]
Computer software, Model checking, Software design, Conformance testing, Formal theory, Input-output conformance, Model based testing, Novel concept, Software Product Line, Testing software, Transition system, Software testing
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-40223DOI: 10.4204/EPTCS.141.4Scopus ID: 2-s2.0-84939638773OAI: oai:DiVA.org:hh-40223DiVA, id: diva2:1337303
Konferanse
Conference of 9th Workshop on Model-Based Testing, (MBT 2014), Grenoble, France, April 6, 2014
Tilgjengelig fra: 2019-07-12 Laget: 2019-07-12 Sist oppdatert: 2019-08-13bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Beohar, HarshMousavi, Mohammad Reza

Søk i DiVA

Av forfatter/redaktør
Beohar, HarshMousavi, Mohammad Reza
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

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