A Method for Functional Testing of Media Synchronization Protocols
A Method for Functional Testing of Media Synchronization Protocols
复制标题
一种媒体同步协议功能测试方法
DOI：
10.1007/3-540-45801-8_52
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
T. Higashino
中科院分区：
文献类型：
--
作者：
M. Yamada;T. Mori;A. Fukada;A. Nakata;T. Higashino
本文提出了一种基于并发同步定时I/O自动机的媒体同步协议的功能测试方法。为了跟踪所有的测试序列（I/O事件序列）与模型上的同步，我们需要执行每个I/O事件在一个适当的时间，满足所有给定的测试序列的整体时序约束。然而，输出是由IUT给出的，并且是不可控的。此外，每个输出/同步定时可能影响测试序列中其后续I/O事件的可执行定时。在本文中，我们提出了一种技术，以获得一组时间间隔，使所有给定的测试序列可执行，并提出了一种方法，使用该技术进行功能测试。
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.