Searching for Optimal Homing Sequences for Testing Timed Communication Protocols

Free registration required

Executive Summary

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.

  • Format: PDF
  • Size: 491 KB