Sökning: (WFRF:(Clavel J.)) conttype:(refereed) >
Spinal test suites ...
Spinal test suites for software product lines
-
- Beohar, Harsh, 1984- (författare)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES)
-
- Mousavi, Mohammad Reza, 1978- (författare)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES)
-
(creator_code:org_t)
- Sydney : Open Publishing Association, 2014
- 2014
- Engelska.
-
Ingår i: Proceedings. - Sydney : Open Publishing Association. ; , s. 44-55
- Relaterad länk:
-
https://doi.org/10.4...
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.4...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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)