Automatic timing test of physical access control systems

The testing of a real-time system involves more challenges than in a regular one. Real-time system testing must deal with issues such as concurrency and timings. The difficulty increases further if the tests should be automated. Automatic tests tend to be static and use identical configurations for each test run and therefore have problems dealing with mutable parameters such as time. This thesis presents a method for generating automatic testing of an eventtriggered real-time system by using a model-based testing approach. Modelbased testing is focused on comparing a system under test to a model. The comparison consists of automatically generating tests from the model, executing them, and comparing the output to the expected result. In the model variables such as time and probability are included in order to mimic real-life usage and deal with the problems in classic automatic real-time system testing