MaTeLo-statistical usage testing by annotated sequence diagrams, Markov chains and TTCN-3

Proceedings - International Conference on Quality Software

Volumn 2003-January, Issue , 2003, Pages 336-342

  Dulz, W ^a   Zhen, Fenhua ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TEST PATTERN GENERATION; CHAINS; HYPERTEXT SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; MARKOV PROCESSES; REAL TIME SYSTEMS;

AUTOMATED SOFTWARE TESTING; FORMAL DESCRIPTION TECHNIQUES; MARKOV CHAIN MARKUP LANGUAGES; MSC (MESSAGE SEQUENCE CHART); NON-FUNCTIONAL REQUIREMENTS; SPECIFICATION BASED TESTING; STATISTICAL USAGE TESTING; TESTING AND TEST CONTROL NOTATION VERSION 3;

SOFTWARE TESTING;

EID: 84887179971     PISSN: 15506002     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QSIC.2003.1319119     Document Type: Conference Paper

References (15)

1. Kirk Sayre. Improved Techniques for Software Testing Based on Markov Chain Usage Models. PhD thesis, University of Tennessee, Knoxville, December 99.
2. Dauphin, P. and Dulz, W. and Lemmen, F. Specification-driven Performance Monitoring of SDL/MSC-specified Protocols. 8th 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. 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.
7. J. Grabowski. Test Case Generation and Test Case Specification with Message Sequence Charts. Inauguraldissertation, Universität Bern, Feb. 1994.
8. I. Schieferdecker, A. Rennoch and O. Mertens. Timed MSCs-an Extension to MSĆ96. GI/ITGWorkshop on Formal Description Techniques for Distributed Systems, GMD-Studien Nr. 315, p. 165-174, Berlin 1997.
9. I. Schieferdecker, B. Stepien and A. Rennoch. PerfTTCN, a TTCN language extension for performance testing. 10th Intern. Workshop on Testing of Communicating Systems IWTCS97, Cheju Island, Korea, Sept. 1997.
10. Slomka, F. and Dörfel, M. and Münzenberger, R. and Hofmann, R. 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.
11. Lambert, L.. PMSC for Performance Evaluation. Workshop on Performance and Time in SDL and MSC, Erlangen, Germany, February 17.-19., 1998.
12. Theodore S. Norvell. The Java Compiler Compiler (JavaCC), Memorial University of Newfoundland, Canada, January 2003.
13. Jocelyn Paine. Introduction to JJTree. January 1998.
14. Jason Hunter, Brett McLaughlin. JDOM API Javadoc. http://www.jdom.org/docs/apidocs/
15. SAX API Javadoc. http://www.saxproject.org/apidoc/