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

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)

NATURAL SCIENCES  -- Computer and Information Sciences -- Software Engineering (hsv//eng)

Nyckelord

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

Publikations- och innehållstyp

ref (ämneskategori)

kon (ämneskategori)