UML模型和Java代码之间的一致性检测方法  

Consistency Detection Method between UML Model and Java Source Code

作　　者：曾一[1,2] 李函逾 刘慧君[1,2] 余双双[1] 周波[1] 

机构地区：[1]重庆大学计算机学院,重庆400030 [2]软件理论与技术重庆市重点实验室,重庆400030

出　　处：《计算机科学》2015年第4期151-155,共5页Computer Science

基　　金：国家自然科学基金:自然最近邻居的特征分析与应用研究(61272194)资助

摘　　要：针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法。首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序调用图SD-CG的转换;其次,通过方法调用图CG来表达类方法之间的调用关系,从而反映代码动态行为,由此通过对Java源代码的词法分析与语法分析,可获得类的信息及方法调用图CG;然后设计了UML模型与Java源代码间一致性检测算法,包括对类间静态信息以及时序调用图SD-CG与方法调用图CG间的一致性检测;最后,通过开发UML模型与Java源代码一致性检测工具,验证了所提出的方法是可行有效的。Aiming at the problem of inconsistencies between the code and the model,this paper presented a consistency detection method based on UML model and the JAVA code.Firstly,the UML class diagram and sequence diagram are formalized and a concept of sequence diagram call graph（SD-CG）is put forward.On this basis,the transformation from the associated relationship between classes to the associated attribute of class and the transformation from the sequence diagram to sequence diagram call graph are completed.Thirdly,based on call graph which is made up of class methods being as nodes and the call relation between them being as edges,to analyze the dynamic behavior in the source code,this paper got the information of Java classes and the method call graph（CG）by the lexical analysis and syntax analysis of Java source code.Then the consistency detection algorithm between UML model and Java source code was designed,including the static information consistency detection and the interactive information consistency detection.At last,we developed a prototype tool which can complete information consistency detection to verify the feasibility and effectiveness of the proposed method.

关 键 词：UML模型 JAVA代码 时序调用图 方法调用图 一致性检测 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]