Software system testing and quality assurance
Software system testing and quality assurance
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Synchronization models for multimedia presentation with user participation
MULTIMEDIA '93 Proceedings of the first ACM international conference on Multimedia
Generating test suites for software load testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Efficient algorithms for qualitative reasoning about time
Artificial Intelligence
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
Formal specification and verification of multimedia systems in open distributed processing
Computer Standards & Interfaces - Special issue on formal description techniques
Interactive hypermedia applications: a model and its implementation
Software—Practice & Experience
Towards a structural load testing tool
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Context constraints for compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Test sequence generation and timed testing
Computer Networks and ISDN Systems - Special issue on protocol testing
Scalable video transmission for the Internet
Selected papers of the 8th joint European conference on Networking
Design methodology and formal validation of hypermedia documents
MULTIMEDIA '98 Proceedings of the sixth ACM international conference on Multimedia
Checking safety properties using compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Maintaining knowledge about temporal intervals
Communications of the ACM
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Resource Management for Distributed Multimedia Systems
Resource Management for Distributed Multimedia Systems
A Temporal Model for Interactive Multimedia Scenarios
IEEE MultiMedia
IEEE Transactions on Software Engineering
Interval-Based Conceptual Models for Time-Dependent Multimedia Data
IEEE Transactions on Knowledge and Data Engineering
A Reachability Analysis of RT-LOTOS Specifications
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
Stress Testing of Distributed Multimedia Software Systems
FORTE XII / PSTV XIX '99 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX)
Test Case Generation for Protocols Specified in Estelle
FORTE '90 Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, III
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Hierarchical Time Stream Petri Net: A Model for Hypermedia Systems
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Towards a Framework for Testing Distributed Multimedia Software Systems
PDSE '98 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
Toward Generic Timing Tests for Distributed Multimedia Software Systems
ISSRE '01 Proceedings of the 12th International Symposium on Software Reliability Engineering
A media synchronization survey: reference model, specification, and case studies
IEEE Journal on Selected Areas in Communications
Using timed CSP for specification verification and simulation of multimedia synchronization
IEEE Journal on Selected Areas in Communications
Stress testing real-time systems with genetic algorithms
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Traffic-aware stress testing of distributed systems based on UML models
Proceedings of the 28th international conference on Software engineering
Model driven benchmark generation for web services
Proceedings of the 2006 international workshop on Service-oriented software engineering
Journal of Systems and Software - Special issue: Quality software
Journal of Systems and Software
Automatic feedback, control-based, stress and load testing
Proceedings of the 2008 ACM symposium on Applied computing
Resource-Driven CLP-Based test case generation
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
Continuous validation of load test suites
Proceedings of the 5th ACM/SPEC international conference on Performance engineering
Hi-index | 0.00 |
With the advancement in network bandwidth and computing power, multimedia systems have become a popular means for information delivery. However, general principles of system testing cannot be directly applied to testing of multimedia systems on account of their stringent temporal and synchronization requirements. In particular, few studies have been made on the stress testing of multimedia systems with respect to their temporal requirements under resource saturation. Stress testing is important because erroneous behavior is most likely to occur under resource saturation. This paper presents an automatable method of test case generation for the stress testing of multimedia systems. It adapts constraint solving techniques to generate test cases that lead to potential resource saturation in a multimedia system. Coverage of the test cases is defined upon the reachability graph of a multimedia system. The proposed stress testing technique is supported by tools and has been successfully applied to a real-life commercial multimedia system. Although our technique focuses on the stress testing of multimedia systems, the underlying issues and concepts are applicable to other types of real-time systems.