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

UML Behavior Diagram Driven Tool for Runtime Verification of Java Programs

作　　者：邱晓康[1] 陈铭松[1] 王林章[1] 李宣东[1] 郑国梁[1] 

机构地区：[1]南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系,南京210093

出　　处：《计算机科学》2007年第12期273-277,共5页Computer Science

摘　　要：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.

关 键 词：运行时验证 UML行为图 插装 随机测试 JAVA 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]