Download now Free registration required
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