%0 Journal Article
%T UML Behavior Diagram Driven Tool for Runtime Verification of Java Programs<br>UML行为图驱动的Java程序运行时验证工具
%A QIU Xiao-Kang
%A CHEN Ming-Song
%A WANG Lin-Zhang
%A LI Xuan-Dong
%A ZHENG Guo-Liang
%A <br>邱晓康
%A 陈铭松
%A 王林章
%A 李宣东
%A 郑国梁
%J 计算机科学
%D 2007
%I 
%X 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.
%K Runtime verification
%K UML behavior diagrams
%K Instrumentation
%K Random testing
%K Java<br>运行时验证
%K UML行为图
%K 插装
%K 随机测试
%K Java
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=AA7C2AB949E19C8F28383E0241D3AEC6&yid=A732AF04DDA03BB3&vid=339D79302DF62549&iid=59906B3B2830C2C5&sid=9F8C5EF901EA1E7E&eid=CAA7BAE04CB631A1&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=25