Scenario-based statistical testing of quality of service requirements

Lecture Notes in Computer Science

Volumn 3466, Issue , 2005, Pages 152-173

  Beyer, Matthias ^a   Dulz, Winfried ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

Automatic Test Generation; Markov Chain Usage Model; MSC; QoS; Software Testing; TTCN 3; UML Sequence Diagram

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE; INTERFACES (COMPUTER); MARKOV PROCESSES; REQUIREMENTS ENGINEERING; STATISTICAL TESTS; XML;

MARKOV CHAIN MARKUP LANGUAGES (MCML); STANDARD NOTATION; SYSTEM UNDER TEST (SUT);

QUALITY OF SERVICE;

EID: 24944444418     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11495628_9     Document Type: Conference Paper

References (23)

1. Kirk Sayre. Improved Techniques for Software Testing Based on Markov Chain Usage Models. PhD thesis, University of Tennessee, Knoxville, December 99.
2. th Int. Workshop on Protocol Test Systems, Evry, Sept. 1995.
3. Jason M. Selvidge. Statistical usage testing: Expanding the ability of testing. 1999.
4. James A. Whittaker and J.H. Poore, and Carmen J. Trammel. Statistical testing of software based on a usage model. Software-practice and experience, 25 January 1995
5. Kai-Yuan Cai. Optimal software testing and adaptive software testing in the context of software cybernetics. Information and Software Technology, Vol. 44/11, p 841-855, Nov. 2002.
6. Schieferdecker, A. Rennoch and O. Mertens. Timed MSCs - an Extension to MSC'96. GI/ITG-Workshop on Formal Description Techniques for Distributed Systems, GMD-Studien Nr. 315, p. 165 -174, Berlin 1997.
7. Lambert, L.. PMSC for Performance Evaluation. Workshop on Performance and Time in SDL and MSC, Erlangen, Germany, February 17.-19.1998.
8. J. Grabowski. Test Case Generation and Test Case Specification with Message Sequence Charts. Inauguraldissertation, Universität Bern, Feb. 1994.
9. Schieferdecker, B. Stepien and A. Rennoch. PerfTTCN, a TTCN language extension for performance testing. 10th Intern. Workshop on Testing of Communicating Systems IWTCS'97, Cheju Island, Korea, Sept. 1997.
10. Z. R. Dai, J. Grabowski, H. Neukirchen. TimedTTCN-3 - A Real-Time Extension For TTCN-3, March 2002
11. J. Grabowski, A. Wiles, C. Willcock and D. Hogrefe. On the design of the new testing language TTCN-3. Proceedings 13th IFIP International Workshop on Testing Communication Systems (TestCom 2000), Ottawa, August 2000.
12. F. Slomka, M. Dörfel, R. Münzenberger and R. Hofmann. Hardware/Software Codesign and Rapid-Prototyping of Embedded Systems. IEEE Design & Test of Computers, Special issue: Design Tools for Embedded Systems, Vol. 17, No. 2, April-June 2000.
13. M. Dörfel, W. Dulz, R. Hofmann, R. Münzenberger. Time Extensions and Non-Functional Requirements in SDL, Technical Report IMMD7-01-05, Department of Computer Science 7, Univ. of Erlangen/Nuremberg, August 2001.
14. Object Management Group. UML Testing Profile version 2.0, Final Adopted Specification, ptc/2004-04-02
15. Object Management Group. UML Profile for Schedulability, Performance and Time Specification, Version 1.0, September 2003, formal/03-09-01
16. Object Management Group. OMG XML Metadata Interchange (XMI) Specification Version 1.2, January 2002
17. Object Management Group. Unified Modeling Language Specification, Version 1.3a1, January 1999
18. ETSI. Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; ES 201 873 V2.2.1, 2002
19. ITU. Message Sequence Chart. Standard Z.120, 1996
20. W. Dulz, F. Zhen. MaTeLo - Statistical Usage Testing by Annotated Sequence Diagrams, Markov Chains and TTCN-3. Third International Conference on Quality Software (QSIC 2003), Dallas, Texas, November 6-7 2003
21. G. H. Walton, J.H. Poore. Generating transition probabilities to support model-based software testing. Software - Practice and Experience 2000, 30, p. 1095-1106
22. W. Schaefer, Dept. of Computer Science, Software Engineering Group, Univ. of Paderborn, http://wwwcs.upb.de/cs/ag-schaefer/CaseStudies/ShuttleSystem/
23. Walter J. Gutjahr. Importance Sampling of Test Cases in Markovian Software Usage Models. Department of Statistics, Operations Research and Computer Science, University of Vienna, 1997