Input-output conformance testing based on featured transition systems

Tyck till om SwePub Sök här!

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

We extend the theory of input-output conformance testing to the setting of software product lines. In particular, we allow for input-output featured transition systems to be used as the basis for generating test suites and test cases. We introduce refinement operators both at the level of models and at the level of test suites that allow for projecting them into a specific product configuration (or a product sub-line). We show that the two sorts of refinement are consistent and lead to the same set of test-cases. © Copyright 2014 ACM

NATURVETENSKAP Data- och informationsvetenskap Programvaruteknik hsv//swe
NATURAL SCIENCES Computer and Information Sciences Software Engineering hsv//eng
Computer software
Input-output; Input-output conformance; Model based testing; Product configuration; Refinement operators; Software Product Line; Test case; Transition system
Model checking

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)

Ingår i:Proceedings of the 29th Annual ACM Symposium on Applied ComputingNew York, NY, USA : Association for Computing Machinery (ACM), s. 1272-12789781450324694

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.