UML行为图驱动的Java程序运行时验证工具

UML Behavior Diagram Driven Tool for Runtime Verification of Java Programs

UML是一种标准的可视化建模工具,广泛应用于软件系统的描述、可视化、构建和建立文档。本文介绍了一种UML行为图驱动的Java程序运行时验证工具。该工具以一个随机的测试用例集作为输入,运行经过插装的被测Java程序,得到一组用于验证的程序运行轨迹。通过对程序运行轨迹和UML行为图中合法的事件序列的比较,该工具可以对程序的动态行为规约进行检查。本文描述了该工具的设计思想、算法和实现技术,并通过对实例研究对该工具的可用性和有效性进行了讨论。

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.