Birgitta Lindström Dissertates in Computer science

The dissertation concerns the testability of a certain type of computer systems that reacts to their environment. This may be to stop a machine if something jams or handle items on a conveyer belt. The system must act in time, not to soon and not to late.
- This type of systems, event controlled real-time systems, are know to be hard to test. One reason is that they must function both in their action and timing, another is that they are reacting to an often unpredictable environment says Birgitta.

The dissertation considers the different properties that is said to affect punctuallity. These are limited properties that is said to increase testability without making the program less event related. By monitoring how the number of behaviours change and manipulating these properties I could understand how they affect the testability.

A method to identify behaviours

To perform the survey Birgitta has developed a method that makes it possible to identify a number of behaviours. This method allows the investigation of all behaviours while not exausting computing resources.

More information with abstract