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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R. Alur and D. L. Dill: “A theory of timed automata”, Theoretical Computer Science, Vol. 126, pp. 183–235 (1994).
T. Higashino, A. Nakata, K. Taniguchi and A. R. Cavalli: “Generating test cases for a timed I/O automaton model”, Proc. of 12th IFIP Workshop on Testing of Communicating Systems (IWTCS’99), pp. 197–214 (Sept. 1999).
C.M. Huang and C. Wang: “Synchronization for Interactive Multimedia Presentations”, IEEE MULTIMEDIA, Vol. 5, No. 4, pp. 44–62 (Oct.-Nov. 1998).
H. Katagiri, M. Kirimura, K. Yasumoto and T. Higashino and K. Taniguchi: “Hardware Implementation of Concurrent Periodic EFSMs”, Proc. of Joint International Conference on 13th Formal Description Techniques and 20th Protocol Specification, Testing, and Verification (FORTE/PSTV2000), pp. 285–300 (Oct. 2000).
D. Lee and M. Yannakakis: “Principles and Methods of Testing Finite State Machines-A Survey”, Proc. of the IEEE, Vol. 84, No. 8 (1996).
T. D. C. Little and A. Ghafoor: “Synchronization and storage models for multimedia objects”, IEEE Journal of Selected Areas in Communications, Vol. 8, No. 3, pp. 413–427 (Apr. 1990).
V Misic, S. T. Chanson and S. C. Cheung: “Towards a Framework for Testing Distributed Multimedia Software Systems”, Proc. International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE98) (Apr. 1998).
K. Abe, T. Matsuura, K. Yasumoto and T. Higashino: “A Method to Execute Existing Program Codes in Multi-theread Environments and Its Implementation” Journal of Information Processing Society of Japan, Vol. 41, No. 9, pp. 2603–2613 (Sep. 2000) (In Japanese).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yamada, M., Mori, T., Fukada, A., Nakata, A., Higashino, T. (2002). A Method for Functional Testing of Media Synchronization Protocols. In: Chong, I. (eds) Information Networking: Wireless Communications Technologies and Network Applications. ICOIN 2002. Lecture Notes in Computer Science, vol 2344. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45801-8_52
Download citation
DOI: https://doi.org/10.1007/3-540-45801-8_52
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44255-4
Online ISBN: 978-3-540-45801-2
eBook Packages: Springer Book Archive