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

Proceedings of the Australian Software Engineering Conference, ASWEC

Volumn 2005, Issue , 2005, Pages 100-109

  Kim, Soon Kyeong ^a   Wildman, Luke ^a   Duke, Roger ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; DATA ACQUISITION; JAVA PROGRAMMING LANGUAGE; QUALITY ASSURANCE;

JAVA-BASED CONCURRENT SYSTEMS; TEST SEQUENCES; UML STATE MACHINES; WAITING THREADS;

CONCURRENT ENGINEERING;

EID: 33646542364     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/aswec.2005.11     Document Type: Conference Paper

References (14)

1. Abdurazik and J. Offutt. Using UML collaboration diagrams for static checking and test generation. Proc. of UML' 2000 - The Unified Modeling Language, LNCS 1939, pages 416-429, 2000.
2. L. Briand and Y. Labiche. A UML-based approach to system testing, Software and Systems Modeling, 1(1):10-42, 2002.
3. L. Briand, J. Cui, and Y. Labiche. Towards automated support for deriving test data from UML statecharts, Proc. UML' 2003 - The Unified Modeling Language, LNCS 2863, pp. 249-264, Springer Verlag, 2003.
4. K. Duddy, A. Gerber, M.J. Lawley, K. Raymond, J. Steel. Declarative Transformation for Object-Oriented Models. In Transformation of Knowledge, Information, and Data: Theory and Applications, edited by P. van Bommel. Idea Group Publishing, 2005.
5. R. Duke, L. Wildman, B. Long. Modeling Java Concurrency with Object-Z, Proc. SEFM'03 - Software Engineering and Formal Methods, IEEE Computer Society Press, pp 173-181, 2003.
6. nd Edition, 2000.
7. S-K. Kim and D. Carrington. A Formal Model of the UML Metamodel: the UML State Machine and its Integrity Constraints. Proc. of ZB 2002. LNCS. 2272, pp. 497-516, 2002.
8. nd Edition, 1999.
9. Long, D. Hoffman, and P. Strooper. Tool support for Testing Concurrent Java Components, IEEE Transactions on Software Engineering, 29(6):555-566, 2003.
10. Long, P. Strooper, and L. Wildman. A Method for Verifying Concurrent Java Components based on an Analysis of Concurrency Failures. Concurrency and Computation: Practice and Experience, Wiley, submitted August 2003.
11. L. de Moura, S. Owre, H. Ruess, J. Rushby, N. Shankar, M. Sorea, and A. Tiwari. SAL 2, Proc. CAV 2004 - Computer-Aided Verification, LNCS 3114, 496-500, Springer Verlag, 2004.
12. OMG, Unified Modeling Language Specification, version 1.3, 1999, http://www.omg.org
13. OMG, UML 2.0 Specification (UML 2.0 Infrastructure Final Adopted Specification), OMG Document ptc/03-09-15, http://www.omg.org/uml/, 2003.
14. L. Wildman, R. Duke, and P. Strooper. Viewpoint -Based Testing of Concurrent Components, Proc. IFM'04 - Integrated Formal Methods, LNCS 2999, 501-520, 2004.