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

作     者：曾一 李函逾 刘慧君 余双双 周波 ZENG Yi;LI Han-yu;LIU Hui-jun;YU Shuang-shuang;ZHOU Bo

作者机构：重庆大学计算机学院重庆400030 软件理论与技术重庆市重点实验室重庆400030 

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

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

年 卷 期：2015年第42卷第4期

页      码：151-155页

摘      要：针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法。首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序调用图SD-CG的转换;其次,通过方法调用图CG来表达类方法之间的调用关系,从而反映代码动态行为,由此通过对Java源代码的词法分析与语法分析,可获得类的信息及方法调用图CG;然后设计了UML模型与Java源代码间一致性检测算法,包括对类间静态信息以及时序调用图SD-CG与方法调用图CG间的一致性检测;最后,通过开发UML模型与Java源代码一致性检测工具,验证了所提出的方法是可行有效的。

主 题 词：UML模型 Java代码 时序调用图 方法调用图 一致性检测 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.11896/j.issn.1002-137X.2015.4.030

馆 藏 号：203100254...