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

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

来源：计算机科学, 2007, (12): 273-277.

• 运行时验证
• UML行为图
• 插装
• 随机测试
• Java Runtime verification
• UML behavior diagrams
• Instrumentation
• Random testing
• Java

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

• 单位
  计算机软件新技术国家重点实验室; 南京大学