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 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
2016 (English)In: The Journal of logical and algebraic methods in programming, ISSN 2352-2216, E-ISSN 2352-2208, Vol. 85, no 6, 1131-1153 p.Article in journal (Refereed) 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.

Place, publisher, year, edition, pages
Amsterdam: Elsevier, 2016. Vol. 85, no 6, 1131-1153 p.
Keyword [en]
Model based testing, Input–output conformance testing, Software product lines, Input–output featured transition systems
National Category
Software Engineering
Identifiers
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: diva2:1084833
Projects
AUTO-CAAS, KK HÖG ProjectEFFEMBAC, VR Project
Funder
ELLIIT - The Linköping‐Lund Initiative on IT and Mobile CommunicationsKnowledge Foundation, 20140312Swedish Research Council, 621-2014-5057
Available from: 2017-03-27 Created: 2017-03-27 Last updated: 2017-03-28Bibliographically approved

Open Access in DiVA

fulltext(320 kB)6 downloads
File information
File name FULLTEXT01.pdfFile size 320 kBChecksum SHA-512
95632e0772e9834f2cd48f7f788c8a6030ba7cefc045ea7bcb3c7d1c97dd6f67e5f2ab625907cd7150fb5a5302aafed47020157f6b71fb6edbae50de00eab2f9
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Beohar, HarshMousavi, Mohammad Reza
By organisation
Centre for Research on Embedded Systems (CERES)
In the same journal
The Journal of logical and algebraic methods in programming
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 6 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 14 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