Abstract | ||
---|---|---|
In this paper, we propose a functional testing method of media synchronization protocols, which control the synchronization between audio and movie, described in concurrent synchronous timed I/O automata. In order to trace all test sequences (I/O event sequences) with synchronization on the model, we need to execute each I/O event at an adequate timing which satisfies the whole timing constraint for all the given test sequences. However, the outputs are given from the IUT and uncontrollable. Also each output/synchronization timing may affect executable timing for its succeeding I/O events in the test sequences. In this paper, we propose a technique to derive a set of time intervals which make all the given test sequences executable, and propose a method for functional testing using the technique. |
Year | DOI | Venue |
---|---|---|
2002 | 10.1007/3-540-45801-8_52 | ICOIN (2) |
Keywords | DocType | ISBN |
functional testing,synchronization timing,adequate timing,whole timing constraint,media synchronization protocol,media synchronization protocols,executable timing,o event,o event sequence,o automaton,test sequences executable,test sequence,satisfiability | Conference | 3-540-44255-3 |
Citations | PageRank | References |
2 | 0.39 | 10 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Makoto Yamada | 1 | 459 | 43.38 |
Takanori Mori | 2 | 6 | 1.47 |
Atsushi Fukada | 3 | 4 | 0.78 |
Akio Nakata | 4 | 106 | 10.07 |
Teruo Higashino | 5 | 1086 | 119.60 |