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

作     者：邱晓康 陈铭松 王林章 李宣东 郑国梁 QIU Xiao-Kang;CHEN Ming-Song;WANG Lin-Zhang;LI Xuan-Dong;ZHENG Guo-Liang

作者机构：南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2007年第34卷第12期

页      面：273-277页

核心收录：

学科分类：0839[工学-网络空间安全] 08[工学] 

主　　题：运行时验证 UML行为图 插装 随机测试 Java 

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