TTRTS: A Tool for Testing Real Time Systems

Abstract: Real-time systems (RTS for short) are simply those systems whose behavior is time dependent. We encounter many of such systems in our daily life (e.g., airplanes traffic control systems, patient monitoring systems, etc.). The correctness of RTS is very critical because a functional misbehavior may have harmful consequences on both human lives and environment. Testing is one of the formal techniques that can be used to ensure the correctness of RTS. In this paper, we present a tool that generates timed test cases for RTS modeled as Timed Input Output Automaton (TIOA). The proposed tool is based on state identification technique and the test cases generated by the tool have full fault coverage. We applied our tool on many examples with different sizes. Such examples and their corresponding results are presented in this paper