Abstract
With the advance in network technologies, the use of distributed multimedia data has become very popular. Distributed multimedia systems are complex and error prone. While there are well established testing techniques for the functionalities of such systems, the technique of stress testing to improve test efficiency has not received much attention. It has been argued that faults are more likely to occur in situations where there is a fierce competition for resources. When the system is heavily loaded, errors like mismanagement of buffers can be easily identified. In this paper, we present several criteria for selecting test cases, and describe two methods for generating test cases which maximize system resource usage. Our approach is based on symbolic execution and constraint solving. An example is given to illustrate the concepts and techniques.
Chapter PDF
Similar content being viewed by others
Key words
References
R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science 126 (2): 183–235, 1994.
M. Archer and C. Heitmeyer. Mechanical verification of timed automata: a case study. Proc. IEEE Real-time Technology and Applications Symp., 192–203, 1996.
A.F. Ates et al. Using timed CSP for specification, verification and simulation of multimedia synchronization. IEEE J. on Selected Areas in Comm. 14 (1): 126–137, 1996.
A.F. Ates and B. Sarikaya. Test sequence generation and timed testing. Computer Networks and ISDN Systems 29 (1): 107–131, 1996.
A. Avritzer and E.J. Weyuker. Generating test suites for software load testing. Proc. Intl Symp. on Software Testing and Analysis (ISSTA), 44–57, 1994.
B. Beizer. Software System Testing and Quality Assurance, Van Nostrand Reinhold, New York, 1984.
B. Berthomieu and M. Diaz. Modeling and verification of time dependent systems using Time Petri Nets. IEEE Trans. on Softw. Eng. 17 (3): 259–273, 1991.
S.T. Chanson and J. Zhu. A unified approach to protocol test sequence generation. Proc. IEEE INFOCOM’93, 106–114, 1993.
CA90] W. Chun and P.D. Amer. Test case generation for protocols specified in Estelle. Formal Description Techniques III (FORTE’90), 191–206.
C. Ghezzi et al. A unified high-level Petri net formalism for time-critical systems. IEEE Trans. on Softw. Eng. 17 (2): 160–172, 1991.
C. Ghezzi, S. Morasca and M. Pezze. Validating timing requirements for time basic net specifications. J of Systems and Software 27 (2): 97–117, 1994.
T. Higashino and G.v. Bochmann. Automatic analysis and test case derivation for a restricted class of LOTOS expressions with data parameters. IEEE Trans. on Softw. Eng. 20 (1): 29–42, 1994.
U. Horn and B. Girod. Scalable video transmission for the Internet. Computer Networks and ISDN Systems 29, 1833–1842, 1997.
F. Jahanian and A.K. Mok. Modechart: a specification language for real- time systems. IEEE Trans. on Software Engineering, 20 (12): 933–947, 1994.
K.G. Larsen, P. Pettersson and Wang Yi. Diagnostic model-checking for real-time systems. Hybrid Systems III, LNCS Vol. 1066, Springer, Berlin, 575–586, 1996.
T.D.C. Little and A. Ghafoor. Synchronization and storage models for multimedia objects. IEEE J. on Selected Areas in Comm. 8 (3): 413–427, 1990.
LSGL95] V. Luchangco et al. Verifying timing properties of concurrent algorithms. Formal Description Techniques VII (FORTE’94), 259–273.
D. Mandrioli et al. Generating test cases for real-time systems from logic specifications. ACM Trans. on Computer Systems, 13 (4): 365–398, 1995.
V.B. Misic, S.T. Chanson and S.-C. Cheung. Towards a framework for testing distributed multimedia software systems. Proc. Intl Symp. on Software Engineering for Parallel and Distributed Systems, Kyoto, Japan, 72–81, 1998.
T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77 (4): 541–580, 1989.
B. Sarikaya. Principles of Protocol Engineering and Conformance Testing. Ellis Horwood, New York, NY, USA, 1993.
P. Sénac, P. de Saqui-Sannes and R. Wilirich. Hierarchical time stream Petri net: a model for hypermedia systems. Proc. 16th Int’l Conf. on Application and Theory of Petri Nets, 451–470, 1995.
SS94] J. Skakkebaek and N. Shankar. Towards a duration calculus proof assistant in PVS. Proc. Int’l Symp. on Formal Tech. in Real-Time and Fault-Tolerant Syst.,660–679, 1994.
K.-K. Wong. Distributed Multimedia Authoring Using Application Structures. Master Thesis, Hong Kong Univ. of Sci. and Tech. 1997.
M. Woo, N.U. Qazi and A. Ghafoor. A synchronization framework for commu-nication of pre-orchestrated multimedia information. IEEE Network 8 (1): 52–61, 1994.
C.-S.D. Yang and L.L. Pollock. Towards a structural load testing tool. Proc. Int’l Symp. on Software Testing and Analysis (ISSTA), 201–208, 1996.
J. Yang, A.K. Mok and F. Wang. Symbolic model checking for event-driven real-time systems. ACM Trans. on Prog. Lang. and Syst. 19 (2): 386–412, 1997.
J.C. Yee et al. Resource synchronization specification and modeling based on timed stream Petri net. Proc. of the IASTED/ISMM Intl Conf. on Distributed Multimedia Systems and Applications, 171–175, 1994.
Zhou Chaochen. Duration calculi: an overview. Proc. Formal Methods in Programming and Their Applications, 256–266, 1993.
J. Zhou. The user manual ofNCL 1.0. Loria and Inria-Lorraine, France, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Zhang, J., Cheung, SC., Chanson, S.T. (1999). Stress Testing of Distributed Multimedia Software Systems. In: Wu, J., Chanson, S.T., Gao, Q. (eds) Formal Methods for Protocol Engineering and Distributed Systems. PSTV FORTE 1999 1999. IFIP Advances in Information and Communication Technology, vol 28. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35578-8_7
Download citation
DOI: https://doi.org/10.1007/978-0-387-35578-8_7
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5270-0
Online ISBN: 978-0-387-35578-8
eBook Packages: Springer Book Archive