Handling interrupts in testing of distributed real-time systems

Testing techniques for sequential software are well established. Unfortunately, these testing techniques are not directly applicable to distributed real-time systems. In previous work we have proposed a method for reproducible and deterministic testing of distributed real-time systems. This method identifies all possible orderings of task starts, preemptions and completions. Each ordering is regarded as a sequential program, and can as such be tested with standard sequential testing techniques. In this paper we extend our method to also handle interrupts. This is essential since critical parts of most real world systems are managed by interrupts