UML approach to the generation of test sequences for Java-based concurrent systems

Kim, S. K., Wildman, L. P. and Duke, R. W. (2005). UML approach to the generation of test sequences for Java-based concurrent systems. In: P. Strooper, Proceedings of the 2005 Australian Software Engineering Conference. 2005 Australian Software Engineering Conference, Brisbane, Australia, (100-109). 29 March-1 April 2005. doi:10.1109/ASWEC.2005.11

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
A_UML_approach.pdf ERA full text - not publicly available application/pdf 873.11KB 43

Author Kim, S. K.
Wildman, L. P.
Duke, R. W.
Title of paper UML approach to the generation of test sequences for Java-based concurrent systems
Conference name 2005 Australian Software Engineering Conference
Conference location Brisbane, Australia
Conference dates 29 March-1 April 2005
Proceedings title Proceedings of the 2005 Australian Software Engineering Conference
Journal name 2005 Australian Software Engineering Conference, Proceedings
Place of Publication Los Alamitos, CA, U.S.A.
Publisher IEEE Computer Society
Publication Year 2005
Sub-type Fully published paper
DOI 10.1109/ASWEC.2005.11
ISBN 0-7695-2257-2
ISSN 1530-0803
Editor P. Strooper
Volume 2005
Start page 100
End page 109
Total pages 10
Collection year 2005
Language eng
Abstract/Summary Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this specification, test sequences for validating an implementation of the system. The approach is to first extend the specification to create UML state machines that directly address those aspects of the system we wish to test. To be specific, the extended UML state machines can capture state information about the number of waiting threads or the number of threads blocked on a given object. Using the SAL model checker we can generate from the extended UML state machines sequences that cover all the various possibilities of events and states. These sequences can then be directly transformed into test sequences suitable for input into a testing tool such as ConAn. As an illustration, the methodology is applied to generate sequences for testing a Java implementation of the producer-consumer system. © 2005 IEEE
Subjects E1
280302 Software Engineering
700100 Computer Software and Services
Keyword Java
Unified Modeling Language
Concurrency control
Formal specification
Program testing
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status UQ

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 9 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Thu, 23 Aug 2007, 21:01:57 EST