Delta-oriented Software Product Line Test Models - The Body Comfort System Case Study

In this Technical Report, we present a complete description of a delta-oriented software product line test model for component and integration testing of a Body Comfort System SPL case study from the automotive domain. The test model comprises the component interface specifications and their variants and the component integration in our architecture test models, as well as the interaction test scenarios for integration testing by means of message sequence charts. As test models for component testing we use state machines.