UMLAnT: an Eclipse plugin for animating and testing UML designs

ABSTRACT

We describe the UML Animator and Tester (UMLAnT), which is an Eclipse plug-in for animating and testing UML models. UMLAnT can be used both by developers in the software industry and students who are learning concepts in object-oriented modeling. UMLAnT helps designers visualize the behavior specified in a UML model by displaying animated object diagrams and sequence diagrams. UMLAnT allows testers to specify test cases and notifies them about failures during test execution.

REFERENCES

• 1: Grady Booch , James Rumbaugh , Ivar Jacobson, The Unified Modeling Language user guide, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1999
• 2: T. T. Dinh-Trong. Rules For Generating Code From UML Collaboration Diagrams and Activity Diagrams. Master's thesis, http://www.cs.colostate.edu/~trungdt/code_generation/code_generation.htm, Colorado State University, Fort Collins, Colorado, 2003.
• 3: 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.
• 4: Object Management Group. The Unified Modeling Language 1.5. Technical Report formal/03-03-01, 2003.

INDEX TERMS

Keywords:
EMF, Eclipse, EclipseUML, UML, activity diagram, class diagram, model execution, model testing, object diagram, plugin, sequence diagram