Test Coverage of Generalised Test Tables

Forschungsthema:Improve APS, PLC Verification
Typ: BA
Datum: 2018-03-01
Betreuer: Alexander Weigl


Automated production systems, such as industrial plants and assembly lines, are usually driven by Programmable Logic Controllers (PLCs). These computing devices are specially tailored to controlling automated production systems in mission- and safety-critical realtime environments. A malfunction may cause severe damage to the system itself or to the payload, or even harm persons within the reach of the system. They are worthy goal for formal verification. Generalised Test Tables are a table-based specification developed at the chair of Prof. Beckert. They arise from the concrete test table and preserve their comprehensibility although extended expressiveness.

Goal & Task

In this thesis, we want to develop a method for the calculation of standard coverage metrics, e.g. line, branch and path coverage. In order to develop metrics calculation, you need to break in the concept of generalised test table, test metrics, and model checking.

Your Profile

Programming skills in Java are required. Furthermore, you should be interested in programming languages and Model Checking. You should have completed the Formal Methods (Formale Systeme) Course at KIT or equivalent.


  1. Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser and Alexander Weigl. Generalised Test Tables -- A Practical Specification Language for Reactive Systems. iFM 2017.