UML模型和Java代码之间的一致性检测方法
针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法.首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序调用图SD-CG的转换;其次,通过方法调用图CG来表达类方法之间的调用关系,从而反映代码动态行为,由此通过对Java源代码的词法分析与语法分析,可获得类的信息及方法调用图CG;然后设计了UML模型与Java源代码阃一致性检测算法,包括对类间静态信息以及时序调用图SD-CG与方法调用图CG间的一致性检测;最后,通过开发UML模型与Java源代码一致性检测工具,验证了所提出的方法是可行有效的.
统一建模语言模型 Java代码 时序调用图 方法调用图 一致性检测
曾一 李函逾 刘慧君 余双双 周波
重庆大学计算机学院 重庆400030; 软件理论与技术重庆市重点实验室 重庆400030 重庆大学计算机学院 重庆400030
国内会议
宜昌
中文
151-155
2014-10-31（万方平台首次上网日期，不代表论文的发表时间）