Searching for Optimal Homing Sequences for Testing Timed Communication Protocols

Date Added: Jul 2009
Format: PDF

With the eruption of communication technology and its supportive protocols, the field of testing of timed-IUT (Implementation Under Test with time constraints) was quick to follow. New and extended test generation methods using timed automata were in the need. Many papers were written on a broad range of timed automata testing. Few papers, however, dealt with generation of state identification sequences problems. Those who did, keyed their algorithms towards transformation of a timed-IUT into a regular, untimed IUT; thus, avoiding the need of redefining well known generation algorithms.