A tool-supported approach to testing UML design models

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2005, Pages 519-528

  Dinh Trong, Trung ^a   Kawane, Nilesh ^a   Ghosh, Sudipto ^a   France, Robert ^a   Andrews, Anneliese A ^b  

^a Colorado State University   (United States)

^b Washington State University   (United States)

Author keywords

Class diagram; Code generation; Interaction diagrams; Model execution; Software testing; Test adequacy criteria; Test execution; UML

Indexed keywords

CODES (STANDARDS); MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; SOFTWARE ENGINEERING;

CLASS DIAGRAM; CODE GENERATION; INTERACTION DIAGRAMS; TEST ADEQUACY CRITERIA; TEST EXECUTION; UML;

COMPUTER PROGRAMMING LANGUAGES;

EID: 27144544980     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. A. Abdurazik and J. Offutt. Using UML collaboration diagrams for static checking and test generation. In 3rd International Conference on the UML, pages 383-395, Oct. 2000.
2. A. Andrews, R. France, S. Ghosh, and G. Craig. Test Adequacy Criteria for UML Design Models. Journal of Software Testing, Verification and Reliability, 13(2):95-127, April-June 2003.
3. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1999.
4. Borland Software Corporation. Together 6.0. http://borland.com/together/, 2003.
5. L. Briand, J. Cui, and Y. Labiche. Towards automated support for deriving test data from UML statecharts. In 6th International Conference on the UML, pages 265-279, Oct. 2003.
6. L. Briand and Y. Labiche. A UML-based approach to system testing. In 4th International Conference on the UML, pages 194-208, Oct. 2001.
7. T. T. Dinh-Trong. Rules For Generating Code From UML Collaboration Diagrams and Activity Diagrams. Master's thesis, Colorado State University, Fort Collins, Colorado, 2003.
8. G. Engels, R. Hucking, S. Sauer, and A. Wagner. UML collaboration diagrams and their transformations to Java. In 2nd International Conference on the UML, October 1999.
9. S. Ghosh, R. B. France, C. Braganza, N. Kawane, A. Andrews, and O. Pilskalns. Test adequacy assessment for UML design model testing. In Proceedings of the International Symposium on Software Reliability Engineering, pages 332-343, Denver, CO, 2003.
10. M. Gogolla, J. Bohling, and M. Richters. Validation of UML and OCL models by automatic snapshot generation. In Proceedings of the 6th Int. Conf. Unified Modeling Language (UML'2003), pages 265-279. Springer, Berlin, LNCS 2863, 2003.
11. D. Harel and E. Gery. Executable object modeling with statecharts. IEEE Computer, 30(7):31-42, 1997.
12. IBM. Rational Rose, http://www-306.ibm.com/software/awdtools/developer/rosexde/, 2004.
13. S. Mellor and M. Balcer. Executable UML: A Foundation for Model Driven Architecture. Addison Wesley Professional, 2002.
14. U. A. Nickel, J. Niere, R. P. Wadsack, and A. Zundorf. Roundtrip Engineering with FUJABA. In Proceedings of the 2th Workshop on Software-Engineering, Bad Honnef, Germany, August 2000.
15. Object Management Group. The Unified Modeling Language UML 1.5. Technical Report formal/03-03-01, The Object Management Group (OMG), 2003.
16. J. Offutt and A. Abdurazik. Generating tests from UML specifications. In 2nd International Conference on the UML, pages 416-429, Oct. 1999.
17. O. Pilskalns, A. Andrews, S. Ghosh, and R. B. France. Rigorous testing by merging structural and behavioral uml representations. In Proceedings of the 6th International Conference on the Unified Modeling Language, pages 234-248, San Francisco, CA, 2003.
18. D. Riehle, S. Fraleigh, D. Bucka-Lassen, and N. Omorogbe. The architecture of a UML virtual machine. In Proceedings of the 2001 Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '01), pages 327-341. ACM Press, 2001.
19. M. Scheetz, A. von Mayrhauser, R. France, E. Dahlman, and A. E. Howe. Generating test cases from an OO model with an AI planning system. In ISSRE'99, pages 250-259, 1999.
20. The Object Management Group. MDA Guide. Version 1.0.1, OMG, omg/03-06-01, 2003.