UML Behavior Diagram Driven Tool for Runtime Verification of Java Programs
UML行为图驱动的Java程序运行时验证工具

The UML is a standard visual modeling language that is specified to specify, visualize, construct and document the artifacts of software systems. In this paper, we introduce a UML behavior diagram driven tool for runtime verification of Java programs. It takes a set of random test cases as input and run the instrumented Java programs to get runtime traces for verification. Then it check the dynamic behavior specifications of the programs by compare the program execution traces and the legal sequences of events. In this paper, we describe this tool in detail, including its design, algorithms and implementation, and present several cases to show its availability and effectiveness.