Michael Reichel

A Scenario-Centric Approach for the Definition of the Formal Test Specifications of Reactive Systems

Complex modern embedded automotive software systemsrequire different test techniques in each of the developmentstages. Most common are Model in the Loop, Software inthe Loop, and Hardware in the Loop. The majority of thesetest techniques are automated. Each uses different notationsfor test data, pass/fail criteria, system-under-test interface definition and test-platform-specific parameterization. This leads to a series of problems such as exchangeability of test-specification notations among different teams working on the same functional module, reusability of test cases and uniformity of test-specification representation. This con-tribution proposes an approach for the formal and test-platform-independent definition of the test specification ofreactive systems. Additionally, the application of the ap-proach in three concrete use-case scenarios elicited in apre-development department of AUDI AG is shown.