UMLAnT: an Eclipse plugin for animating and testing UML designs

Authors:
Trung Dinh Trong;Sudipto Ghosh;Robert B. France;Michael Hamilton;Brent Wilkins
Affiliations:
Colorado State University, Fort Collins, CO;Colorado State University, Fort Collins, CO;Colorado State University, Fort Collins, CO;Colorado State University, Fort Collins, CO;Colorado State University, Fort Collins, CO
Venue:
eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
Year:
2005

Citing 2
Cited 5

The Unified Modeling Language user guide

The Unified Modeling Language user guide
Tool support for validating UML and OCL models through automatic snapshot generation

SAICSIT '03 Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology

Model-Driven Development Using UML 2.0: Promises and Pitfalls

Computer
Consistency, Independence and Consequences in UML and OCL Models

TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
Proving and visualizing OCL invariant independence by automatically generated test cases

TAP'10 Proceedings of the 4th international conference on Tests and proofs
Extensive validation of OCL models by integrating SAT solving into USE

TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
Towards a generic verification methodology for system models

Proceedings of the Conference on Design, Automation and Test in Europe

Quantified Score

Hi-index	0.00

Visualization

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.