Automated test case generation for the stress testing of multimedia systems

Software - Practice and Experience

Volumn 32, Issue 15, 2002, Pages 1411-1435

  Zhang, Jian ^a   Cheung, S C ^b  

^a INSTITUTE OF SOFTWARE   (China)

^b HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Hong Kong)

Author keywords

Constraint solving; Multimedia systems; Resource consumption; Static analysis; Stress testing; Test case generation

Indexed keywords

AUTOMATIC TESTING; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE SELECTION AND EVALUATION; RELIABILITY; RESOURCE ALLOCATION; STORAGE ALLOCATION (COMPUTER);

AUTOMATED TEST CASE GENERATION; CONSTRAINT SOLVING; RESOURCE CONSUMPTION; STATIC ANALYSIS; STRESS TESTING;

MULTIMEDIA SYSTEMS;

EID: 0036907695     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/spe.487     Document Type: Article

References (37)

1. Blakowski, G. Steinmetz R. A media synchronization survey: Reference model, specification and case studies. IEEE Journal on Selected Areas in Communications 1996:14(1):5-35.
2. Horn U, Girod B. Scalable video transmission for the Internet. Computer Networks and ISDN Systems 1997:29:1833-1842.
3. Beizer B. Software System Testing and Quality Assurance. Van Nostrand Reinhold: New York, NY, 1984.
4. Sarikaya B. Principles of Protocol Engineering and Conformance Testing. Ellis Horwood: New York, NY, 1993.
5. Ates AF et al. Using timed CSP for specification, verification and simulation of multimedia synchronization. IEEE Journal on Selected Areas in Communications 1996:14(1):126-137.
6. Ates AF, Sarikaya B. Test sequence generation and timed testing. Computer Networks and ISDN Systems 1996:29(1):107-131.
7. Blair L et al. Formal specification and verification of multimedia systems in open distributed processing. Computer Standards and Interfaces 1995:17:413-436.
8. Little TDC, Ghafoor A. Synchronization and storage models for multimedia objects. IEEE Journal on Selected Areas in Communications 1990:8(3) 413-427.
9. Prabhakaran B. Raghavan SV. Synchronization models for multimedia presentation with user participation. Proceedings of ACM Multimedia '93, Anaheim, CA, August 1993. ACM, 1993:157-166.
10. Senac P, de Saqui-Sannes P, Willrich R. Hierarchical time stream Petri net: A model for hypermedia systems. Proceedings of the 16th International Conference on Application and Theory of Petri Nets, Torino, Italy, June 1995. Springer, 1995:451-470.
11. Wang H K. Wu J.-L C. Interactive hypermedia applications: A model and its implementation. Software-Practice and Experience 1995:25(9):1045-1063.
12. Chun W, Amer P D. Test case generation for protocols specified in Estelle. Proceedings of Formal Description Techniques III, 3rd International Conference on Formal Description Techniques for Distributed Systems and Communicat Communications Protocols (FORTE'90), Madrid, Spain, November 1990. North-Holland, 1990; 191-206.
13. Chason S T, Zhu J. A unified approach to protocol test sequence generation. Proceedings IEEE INFOCOM'93, 20th Annual Joint Conference of the IEEE Computer and Communications Societies, San Francisco, CA, March 1993 IEEE Computer Society, 1993: 106-114.
14. Santos, C A S, Soares L F G, de Souza G L, Courtiat J-P. Design methodology and formal validation of hypermedia documents. Proceedings of 6th ACM International Multimedia Conference (ACM Multimedia '98), Bristol, U.K., September 1998. ACM, 1998: 39-48.
15. Courtiat J-P, de Oliveira R C. A reachability analysis of RT-LOTOS specifications. Proceedings of the IFIP TC6 8th International Conference on Formal Description Techniques, Montreal, Quebec, October 1995. Chapman and Hall, 1995; 117-124.
16. Higashino T, Bochmann Gv. Automatic analysis and test case derivation for a restricted class of LOTOS expressions with data parameters. IEEE Transactions on Software Engineering 1994:20(1):29-42.
17. Mandrioli D et al. Generating test cases for real-time systems from logic specifications. ACM Transactions on Computer Systems 1995:13(4):365-398.
18. Avritzer A, Weyuker E J. Generating test suites for software load testing. Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), Seattle, Washington, August 1994. ACM, 1994, 44-57.
19. Yang CSD, Pollock LL. Towards a structural load testing tool. Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), 1996: 201-208.
20. Misic VB, Chanson ST, Cheung SC. Towards a framework for testing distributed multimedia software systems. Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems, Kyoto, Japan, April 1998. IEEE Computer Society, 1998:72-81.
21. Cheung SC, Chanson ST, Xu Z. Towards generic timing test of distributed multimedia software systems. Proceedings 12th International Symposium on Software Reliability Engineering (ISSRE 2001), Hong Kong, November 2001. IEEE Computer Society Press: Los Alamitos, CA, 2001; 210-220.
22. Zhang J. Cheung SC, Chanson ST. Stress testing of distributed multimedia software systems. Proceedings of Formal Methods for Protocol Engineering and Distributed Systems (SFORTE XII/PSTV XIX'99), Beijing, October 1999. Kluwer Academic Publishers, 1999; 119-133.
23. Wolf LC. Resource Management for Distributed Multimedia Systems. Kluwer Academic Publishers: Boston, MA, 1996.
24. Hirzalla N. Falchuk B, Karmouch A. A temporal model for interactive multimedia scenarios. IEEE Multimedia 1995; 2(3):24-31.
25. Allen J F. Maintaining knowledge about temporal intervals. Communications of the ACM 1983; 26(11):832-843.
26. Little TDC, Ghafoor A. Interval-based conceptual models for time-dependent multimedia data. IEEE Transactions on Knowledge and Data Engineering 1993; 5(4):551-563.
27. Brauer W, Reisig W, Rozenberg G (eds.) Petri nets, central models and their properties Advances in Petri Nets 1986 Part I, Proceedings of an Advanced Course, Bad Honnef, September 8-19, 1986 (Lecture Notes in Computer Science, vol. 254), Springer: Berlin, 1987.
28. Murata T. Petri nets: Properties, analysis and applications. Proceedings of the IEEE 1989; 77(4):541-580.
29. Cheung SC, Kramer J. Context constraints for compositional reachability analysis. ACM Transactions on Software Engineering and Methodology 1996; 5(4):334-377.
30. Cheung SC, Kramer J. Checking safety properties using compositional reachability analysis, ACM Transactions on Software Engineering and Methodology 1999; 8(1):49-78.
31. Godefroid P. Peleted D, Staskauskas M. Using partial-order methods in the formal validation of industrial concurrent programs. IEEE Transactions on Software Engineering 1996; 22(7):496-507.
32. Valmari A. The State Eplosion Problem. Lectures on Petri Nets I: Basic Models. Advances in Petri Nets, Dagstuhl, Germany, September 1996, Springer, 1996; 429-528.
33. Gerevini A, Schubert L. Efficient algorithms for qualitative reasoning about time. Artificial Intelligence 1995; 74(2):207-248.
34. Jaffar J. Maher M J. Constraint logic programming: A survey. Journal of Logic Programming 1994; 19/20(2):503-581.
35. Ilog, ILOG optimization suite. http://www.ilog.fr/products/optimization/.
36. Zhou J. Introduction to the constraint language NCL. Journal of Logic Programming 2000; 45:71-103.
37. World Wide Web Consortium. http://www.w3.org/TR/smil20/.