Test case generation based on time constraints

In real-time systems there are some messages exchanged within the system which must respect a certain delay, otherwise, the system cannot be considered correct. The test phase is essential in order to guarantee the correctness of these systems, and this phase cannot be correctly carried out unless all these factors are taken into account. This paper presents a test generation approach that looks at the use of time constraints and the messages exchange among the components for test purposes. In order to achieve our goal, we have adopted an efficient algorithm, called hit-or-jump, provided in a tool called Sirius, which supports the complete test generation phase.