Spinal test suites for software product lines
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
2019-07-122019-07-122019-08-13Bibliographically approved