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

计算机科学 ›› 2007, Vol. 34 ›› Issue (12): 273-277.

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

出版日期:2018-11-16 发布日期:2018-11-16

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

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

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

Abstract: 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

Key words: Runtime verification, UML behavior diagrams, Instrumentation, Random testing, Java

. UML行为图驱动的Java程序运行时验证工具[J]. 计算机科学, 2007, 34(12): 273-277. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed