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
Spinal test suites for software product lines
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: Ninth Workshop on Model-Based Testing (MBT 2014) / [ed] Alexander K. Petrenko, Holger Schlingloff, Sydney: Open Publishing Association , 2014, Vol. 141, p. 44-55Conference paper, Published paper (Refereed)
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.

Place, publisher, year, edition, pages
Sydney: Open Publishing Association , 2014. Vol. 141, p. 44-55
Series
Electronic Proceedings in Theoretical Computer Science, E-ISSN 2075-2180 ; 141
Keywords [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
National Category
Software Engineering
Identifiers
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
Conference
Conference of 9th Workshop on Model-Based Testing, (MBT 2014), Grenoble, France, April 6, 2014
Available from: 2019-07-12 Created: 2019-07-12 Last updated: 2019-08-13Bibliographically 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
urn-nbn

Altmetric score

doi
urn-nbn
Total: 96 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