Spinal Test Suites for Software Product Lines

Spinal Test Suites for Software Product Lines

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...

Full description

Bibliographic Details
Main Authors: Harsh Beohar, Mohammad Reza Mousavi
Format: Article
Language:English
Published: Open Publishing Association 2014-03-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1403.7260v1
id doaj-3046bdf6c7534efd9a51226d4b9684a1
record_format Article
spelling doaj-3046bdf6c7534efd9a51226d4b9684a12020-11-25T00:19:01ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802014-03-01141Proc. MBT 2014445510.4204/EPTCS.141.4:31Spinal Test Suites for Software Product LinesHarsh Beohar0Mohammad Reza Mousavi1 Center for Research on Embedded Systems Halmstad University, Sweden Center for Research on Embedded Systems Halmstad University, Sweden 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.http://arxiv.org/pdf/1403.7260v1
collection DOAJ
language English
format Article
sources DOAJ
author Harsh Beohar
Mohammad Reza Mousavi
spellingShingle Harsh Beohar
Mohammad Reza Mousavi
Spinal Test Suites for Software Product Lines
Electronic Proceedings in Theoretical Computer Science
author_facet Harsh Beohar
Mohammad Reza Mousavi
author_sort Harsh Beohar
title Spinal Test Suites for Software Product Lines
title_short Spinal Test Suites for Software Product Lines
title_full Spinal Test Suites for Software Product Lines
title_fullStr Spinal Test Suites for Software Product Lines
title_full_unstemmed Spinal Test Suites for Software Product Lines
title_sort spinal test suites for software product lines
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2014-03-01
description 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.
url http://arxiv.org/pdf/1403.7260v1
work_keys_str_mv AT harshbeohar spinaltestsuitesforsoftwareproductlines
AT mohammadrezamousavi spinaltestsuitesforsoftwareproductlines
_version_ 1725373812904558592

Similar Items