%0 Conference Proceedings
%T Automated Test Design for Boundaries of Product Line Variants
%+ Thales Transportation Systems [Berlin]
%+ Humboldt-Universität zu Berlin = Humboldt University of Berlin = Université Humboldt de Berlin  (HU Berlin)
%A Weissleder, Stephan
%A Wartenberg, Florian
%A Lackner, Hartmut
%Z Part 2: Test Derivation Methods
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 27th IFIP International Conference on Testing Software and Systems (ICTSS)
%C Sharjah and Dubai, United Arab Emirates
%Y Khaled El-Fakih
%Y Gerassimos Barlas
%Y Nina Yevtushenko
%3 Testing Software and Systems
%V LNCS-9447
%P 86-101
%8 2015-11-23
%D 2015
%R 10.1007/978-3-319-25945-1_6
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X Developing product lines is usually more efficient than developing single products because of the reuse of single components. Testing, however, has to consider complete, integrated systems. To prevent testing every product on system level, the whole product line should be analyzed with the aim of selecting distinguishing product behavior and a minimum of system products to test. In this paper, we present a model-based test design approach for testing the selected behavior of products, but also their deselected behavior. A major challenge of this approach is that the deselected behavior of a product is often not part of its behavioral model. Thus, we use the variability model to transform the behavioral model so that showing the exclusion of the deselected behavior is also covered by tests. We present the approach, a corresponding prototypical implementation, and our experiences using a set of examples.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01470159/document
%2 https://inria.hal.science/hal-01470159/file/385214_1_En_6_Chapter.pdf
%L hal-01470159
%U https://inria.hal.science/hal-01470159
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-ICTSS
%~ IFIP-LNCS-9447