Spinal Test Suites for Software Product Lines

Harsh Beohar
(Center for Research on Embedded Systems Halmstad University, Sweden)
Mohammad Reza Mousavi
(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.

In Holger Schlingloff and Alexander K. Petrenko: Proceedings Ninth Workshop on Model-Based Testing (MBT 2014), Grenoble, France, 6 April 2014, Electronic Proceedings in Theoretical Computer Science 141, pp. 44–55.
Published: 27th March 2014.

ArXived at: https://dx.doi.org/10.4204/EPTCS.141.4 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org