hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Input-output conformance testing based on featured transition systems
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
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
2014 (English)In: Proceedings of the 29th Annual ACM Symposium on Applied Computing, Association for Computing Machinery (ACM), 2014, p. 1272-1278Conference paper, Published paper (Refereed)
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

Place, publisher, year, edition, pages
Association for Computing Machinery (ACM), 2014. p. 1272-1278
Keywords [en]
Computer software, Input-output; Input-output conformance; Model based testing; Product configuration; Refinement operators; Software Product Line; Test case; Transition system, Model checking
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:hh:diva-36572DOI: 10.1145/2554850.2554949Scopus ID: 2-s2.0-84905641858ISBN: 978-1-4503-2469-4 OAI: oai:DiVA.org:hh-36572DiVA, id: diva2:1202932
Conference
29th Annual ACM Symposium on Applied Computing, SAC 2014, March 24-28 2017, Gyeongju, South Korea
Available from: 2018-05-02 Created: 2018-05-02 Last updated: 2018-05-02Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Beohar, HarshMousavi, Mohammad Reza

Search in DiVA

By author/editor
Beohar, HarshMousavi, Mohammad Reza
By organisation
Centre for Research on Embedded Systems (CERES)
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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