%0 Journal Article
%T uml模型和java代码之间的一致性检测方法
%A 曾 一？
%A 李函逾？
%A 刘慧君？
%A 余双双？
%A 周 波？
%J 计算机科学
%D 2015
%R 10.11896/j.issn.1002-137X.2015.04.030
%X 针对代码与模型之间的不一致性问题,提出了一种基于uml模型和java代码之间的一致性检测方法。首先,对uml类图和时序图进行形式化描述,并提出时序调用图(sd-cg)这一概念,在此基础上完成类的关联关系到关联属性的转换以及uml时序图到时序调用图sd-cg的转换；其次,通过方法调用图cg来表达类方法之间的调用关系,从而反映代码动态行为,由此通过对java源代码的词法分析与语法分析,可获得类的信息及方法调用图cg；然后设计了uml模型与java源代码间一致性检测算法,包括对类间静态信息以及时序调用图sd-cg与方法调用图cg间的一致性检测；最后,通过开发uml模型与java源代码一致性检测工具,验证了所提出的方法是可行有效的。
%K uml模型
%K java代码
%K 时序调用图
%K 方法调用图
%K 一致性检测
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20150430&flag=1