Reusing State Machines for Automatic Test Generation in Product Lines

In this paper, we deal with the reuse of state machines for automatic test case generation in the context of product lines. We consider a corresponding approach of the Object Management Group and introduce our own approach to reuse state machines. We use OCL expressions to automatically derive test suites. All explanations are supported by the example of a car audio system.