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 based on featured transition systems
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 of the 29th Annual ACM Symposium on Applied Computing, Association for Computing Machinery (ACM), 2014, s. 1272-1278Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

We extend the theory of input-output conformance testing to the setting of software product lines. In particular, we allow for input-output featured transition systems to be used as the basis for generating test suites and test cases. We introduce refinement operators both at the level of models and at the level of test suites that allow for projecting them into a specific product configuration (or a product sub-line). We show that the two sorts of refinement are consistent and lead to the same set of test-cases. © Copyright 2014 ACM

sted, utgiver, år, opplag, sider
Association for Computing Machinery (ACM), 2014. s. 1272-1278
Emneord [en]
Computer software, Input-output; Input-output conformance; Model based testing; Product configuration; Refinement operators; Software Product Line; Test case; Transition system, Model checking
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-36572DOI: 10.1145/2554850.2554949Scopus ID: 2-s2.0-84905641858ISBN: 978-1-4503-2469-4 (tryckt)OAI: oai:DiVA.org:hh-36572DiVA, id: diva2:1202932
Konferanse
29th Annual ACM Symposium on Applied Computing, SAC 2014, March 24-28 2017, Gyeongju, South Korea
Tilgjengelig fra: 2018-05-02 Laget: 2018-05-02 Sist oppdatert: 2018-05-02bibliografisk 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
isbn
urn-nbn

Altmetric

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