Inverse Model Based Testing -- Generating Behavior Models from Abstract Test Cases

Test cases contain a huge amount of domain specific knowledge of experts. Engineers may not use this knowledge only for validation purposes, e.g., applying test cases to software and hardware units, it can be also a starting point for modeling the product prototypically. This paper addresses the issue of generating a functional behavior model from abstract test cases. The test cases belong to the conformity and interoperability test standard for train-borne control units of the European Train Control System (ETCS). The contribution illustrates the approach and its advantages.