Spinal test suites for software product lines

Beohar, Harsh,1984-Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES) (författare)

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.

NATURVETENSKAP Data- och informationsvetenskap Programvaruteknik hsv//swe
NATURAL SCIENCES Computer and Information Sciences Software Engineering hsv//eng
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

Mousavi, Mohammad Reza,1978-Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES)(Swepub:hh)mohmou (författare)
Högskolan i HalmstadCentrum för forskning om inbyggda system (CERES) (creator_code:org_t)

Om ämnet

NATURVETENSKAP: NATURVETENSKAP; och Data och informa ...; och Programvarutekni ...

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.