Applying generic timing tests for distributed multimedia software systems

IEEE Transactions on Reliability

Volumn 53, Issue 3, 2004, Pages 329-341

  Cheung, S C ^a   Chanson, Samuel T ^a   Xu, Zhendong ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; COMPUTER SOFTWARE; ERROR DETECTION; MULTIMEDIA SYSTEMS; QUALITY ASSURANCE; SYSTEMS ANALYSIS;

DISTRIBUTED MULTIMEDIA; GENERIC TIMING TESTS; NONDETERMINISTIC BEHAVIOR; SOFTWARE TESTING; SYSTEM RELIABILITY;

RELIABILITY;

EID: 4544365639     PISSN: 00189529     EISSN: None     Source Type: Journal    
DOI: 10.1109/TR.2004.833314     Document Type: Article

References (54)

1. J. F. Allen, "Maintaining knowledge about temporal intervals," Commun. ACM, vol. 26, no. 11, pp. 832-843, November 1983.
2. R. Aur and T. A. Henzinger, "Real-time logics: complexity and expressiveness," in Proc. 5th Annu. IEEE Symp. Logic in Computer Science, 1990, pp. 390-401.
3. A. F. Ates et al., "Using timed CSP for specification, verification and simulation of multimedia synchronization," IEEE J. Select. Areas Commun., vol. 14, no. 1, pp. 126-137, 1996.
4. A. F. Ates and B. Sarikaya, "Test sequence generation and timed testing," Computer Networks and ISDN Systems, vol. 29, no. 1, pp. 107-131, 1996.
5. B. d'Ausbourg, G. Durrieu, and P. Roche, "Deriving a formal model of an interactive system from its UIL description in order to verify and to test its behavior," in Proc. Eurographics Workshop on Design, Specification and Verification of Interactive Systems, 1996, pp. 105-122.
6. B. d'Ausbourg and J. Cazin, "Using TRIO specifications to generate test cases for an interactive system," in Proc. Eurographics Workshop on Design, Specification and Verification of Interactive Systems, 1999, pp. 148-166.
7. B. Beizer, Software Testing Techniques, 2nd ed. New York: Van Nostrand Reinhold, 1990.
8. L. Blair et al., "Formal specification and verification of multimedia systems in open distributed processing," Computer Standards and Interfaces, vol. 17, pp. 413-436, 1995.
9. G. S. Blair and J.-B. Stefani, Open Distributed Processing and Multimedia: Addison-Wesey, 1998.
10. H. Bowman, C. S. Blair, L. Blair, and A. G. Chetwynd, "Time versus abstraction to formal description," IFIP Transactions C: Communication Systems, vol. C-22, pp. 467-481, 1994.
11. R. Cardell-Oliver, "Conformance testing of real-time systems with timed automata," Formal Aspects of Computing, vol. 12, no. 4, pp. 350-371, 2000.
12. D. L. S. Chan and S. T. Chanson, "Scalabiity support for multiparty multimedia communications," Multimedia Systems, vol. 6, no. 2, pp. 75-87, Mar. 1998.
13. S. C. Cheung and J. Kramer, "Checking safety properties using compositional reachability analysis," ACM Trans. Software Engineering and Methodology, vol. 8, no. 1, pp. 49-78, January 1999.
14. S. C. Cheung and S. T. Chanson, "A model-based authorware for the construction of distributed multimedia systems," Information and Software Technology, vol. 41, no. 11-12, pp. 715-727, Aug. 1999.
15. S. C. Cheung, S. T. Chanson, and Z. Xu, "Toward generic timing tests for distributed multimedia software systems," in Proc. 12th Int. Symp. Software Reliability Engineering, 2001, pp. 210-220.
16. C.-M. Chung and T. K. Shih, "On automatic generation of multimedia presentations," Inform. Sci., vol. 97, no. 3-4, pp. 293-321, April 1997.
17. W. J. Conover, Practical Nonparametric Statistics. New York: Wiley, 1980.
18. J.-P. Courtiat and R. C. de Oliveira, "A reachabiity analysis of RT-LOTOS specifications," in Proc. IFIP TC6 Eighth Int. Conf. Formal Description Techniques, Montreal, Quebec, Oct. 1995, pp. 117-124.
19. D. K. Fibush, "Testing multimedia transmission systems," IEEE Design and Test of Computers, vol. 12, no. 4, pp. 34-44, 1995.
20. Information Technology - Open Systems Interconnection - Conformance Testing Methodology and Framework Parts 2: Abstract Test Suite specification, ISO International Standard 9646-2.
21. IWPTS/TESTCOM, Annual IFIP workshop on Protocol Test Systems (IWPTS), started in 1988, the workshop was renamed IFIP International Workshop on Testing of Communicating Systems (IWTCS) in 1996, and became the IFIP International Conference on Testing of Communicating Systems (TESTCOM) in 2000.
22. F. Jahanian and A. K. Mok, "Safety analysis of timing properties in real-time systems," IEEE Trans. Software Engineering, vol. 12, no. 9, pp. 890-904, September 1986.
23. Java Media Framework (JMF). [Online] http://java.sun.com/products/java-media/jmf/1.0/
24. S. K. Kachigan, Mutivariate Statistica Anaysis. New York: Radius Press, 1991.
25. S. Kim, H. Bae, and K. Jun, "A formal TTCN-based protocol testing for intelligent network," in Proc. 3rd IEEE Symp. Computers and Communications, ISCC'98, 1998, pp. 205-209.
26. M. C. Kim and S. T Chanson, "Design for testability of protocols based on formal specifications," in Proc. 8th Int. IFIP Workshop on Protocol Test Systems, Evry, France, September 1995, pp. 257-270.
27. F. Kristoffersen and T. Walter, "TTCN: toward a formal semantics and validation of test suites," Computer Networks and ISDN Systems, vol. 29, no. 1, pp. 15-47, December 1996.
28. D. Lee and M. Yannakakis, "Principles and methods of testing finite state machines - a survey," Proc. IEEE, vol. 84, pp. 1090-1123, August 1996.
29. T. D. C. Little and A. Ghafoor, "Synchronization and storage models for multimedia objects," IEEE J. Select. Areas Commun., vol. 8, no. 3, pp. 413-427, 1990.
30. E. Martins, S. B. Sabiao, and A. M. Ambrosio, "ConData: a tool for automating specification-based test case generation for communication systems," Software Quality Journal, vol. 8, no. 4, pp. 303-320, Dec. 1999.
31. V. B. Misic, S. T. Chanson, and S. C. Cheung, "Toward a framework for testing distributed multimedia software systems," in Proc. Int. Symp. Software Engineering for Parallel and Distributed Systems, 1998, IEEE Comput. Soc., pp. 72-81.
32. B. Nielsen, "Test generation for real-time systems/conformance testing, Specification and Test of Real-Time Systems," PhD thesis, Department of Computer Science, Aalborg University, Denmark, April 2000.
33. K. P. Parker, "The impact of boundary scan on board test," IEEE Design and Test of Computers, vol. 6, no. 4, pp. 18-30, Aug. 1989.
34. B. Prabhakaran and S. V. Raghavan, "Synchronization models for multimedia presentation with user participation," in Proc. ACM Multimedia '93, Aug. 1993, pp. 157-166.
35. PSTV, Annual IFIP International Symposium on Protocol Specification, Testing and Verification, started in 1981, the conference merged with another IFIP conference on formal description techniques (FORTE) and is known as FORTE/PSTV since 1997.
36. Y. S. Ramakrishna et al., "Interval logics and their decision procedures I - an interval logic," Theoretical Computer Science, vol. 166, no. 1-2, pp. 1-47, October 1996.
37. Y. S. Ramakrishna et al, "Interval logics and their decision procedures II - a real-time interval logic," Theoretical Computer Science, vol. 170, no. 1-2, pp. 1-46, Dec. 1996.
38. C. A. S. Santos et al., "Design methodology and formal validation of hypermedia documents," in Proc. 6th ACM International Multimedia Conference (ACM Multimedia'98), Bristol, UK, Sept. 1998, pp. 39-48.
39. B. Sarikaya, Principles of Protocol Engineering and Conformance Testing. New York: Ellis Horwood, 1993.
40. W. Schutz, "Fundamental issues in testing distributed real-time systems," Real-Time Systems, vol. 7, no. 2, pp. 129-157, Sept. 1994.
41. P. Senac, P. de Saqui-Sannes, and R. Willrich, "Hierarchical time stream Petri net: a model for hypermedia systems," in Proc. 6th Int. Conf Application and Theory of Petri Nets, Torino, Italy, June 1995, pp. 451-470.
42. SMIL Specification. [Online] http://www.w3c.org/AudioVideo
43. A. Stuart and J. K. Ord, Advanced Theory of Statistics, 6th ed. New York: Halsted Press, 1994.
44. J. Tretmans, "Test generation with inputs, outputs and repetitive quiescence," Software - Concepts and Tools, vol. 17, no. 3, pp. 103-120, 1996.
45. T. Walter, I. Schieferdecker, and J. Grabowski, "Test architectures for distributed systems - state of the art and beyond," in Testing of Communicating Systems, A. Petrenko and N. Yevtushenko, Eds: Chapman and Hall, Sept. 1998, vol. 11.
46. T. Walter and J. Grabowski, "A framework for the specification of test cases for real-time distributed systems," Information and Software Technology, vol. 41, no. 11-12, pp. 781-798, Aug. 15, 1999.
47. H. K. Wang and J.-L. C. Wu, "Interactive hypermedia applications: a model and its implementation," Software Practice and Experience, vol. 25, no. 9, pp. 1045-1063, 1995.
48. J. Wegener et al., "Testing real-time systems Using genetic algorithms," Software Quality Journal, vol. 6, no. 2, pp. 127-135, June 1997.
49. A. C. Y. Wong et al., A framework for distributed object-oriented testing, in Formal Description Techniques and Protocol Specification, Testing and Verification. Proceedings of FORTE X/PSTV XVII'97. IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), Chapman and Hall, pp. 39-56, 1997.
50. X-Smiles. [Online] www.x-smiles.org/download.htm
51. Z. Xu, "A Generic Timing Test Framework for Multimedia Software Testing," MPhil Thesis, Department of Computer Science, Hong Kong University of Science and Technology, 2001.
52. J. Yu and Y. Xiang, "Hypermedia presentation and authoring system," Computer Networks and ISDN Systems, vol. 29, no. 8-13, pp. 875-886, Sept. 1997.
53. J. Zhang and S. C. Cheung, "Automated test case generation for the stress testing of multimedia systems," Software - Practice and Experience, vol. 32, pp. 1-25, 2003.
54. R. E. Ziemer and W. H. Tranter, Principles of Communications - Systems, Modulation, and Noise, 3rd ed: Houghton Mifflin Company, 1990.