【摘 要】
：
针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法.首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基
【机 构】
：
重庆大学计算机学院 重庆400030
论文部分内容阅读
针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法.首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序调用图SD-CG的转换;其次,通过方法调用图CG来表达类方法之间的调用关系,从而反映代码动态行为,由此通过对Java源代码的词法分析与语法分析,可获得类的信息及方法调用图CG;然后设计了UML模型与Java源代码阃一致性检测算法,包括对类间静态信息以及时序调用图SD-CG与方法调用图CG间的一致性检测;最后,通过开发UML模型与Java源代码一致性检测工具,验证了所提出的方法是可行有效的.
其他文献
据报载，２０００年日本人的寿命创历史纪录。女性平均寿命为８４．６２岁，男性平均寿命为７７．６４岁，分别比上一年又增长了０．６３岁、０．５４岁。日本人为何长寿？世界卫生组织的研究人员从日本居民的生活习惯、地理环境、
我国房地产业发展的区域差异分析张二勋如何看待我国目前房地产业的现状及存在的问题，是房地产业内外人士十分关注的问题。国内外人士仁者见仁，智者见智。有人认为，我国房地产业
将统计检验方法应用于核函数度量.以核函数、规范化核函数、中心化核函数和核距离作为样本在特征空间中的几何关系度量,使用t检验和F检验等7种统计检验方法检验特征空间中同
皮肤是人体最大的器官,它覆盖全身,占体重的16％。皮肤是人体抵御外界有害因素侵入的第一道防线,具有保护皮下组织和器官免受机械性、物理性、化学性和生物性损害的作用,具有
半山泥猫习俗源起南宋时期,明、清之际曾蔚然成风,遍及杭嘉湖地区。这一习俗后渐衰落,曾一度湮没,濒临失传。近年来通过非物质文化遗产保护工程,又被重新发掘,再现于世。本文
1983年5月22日,《宁夏日报》以“大坝公社有远见,社队层层抓教育”为题,报导了青铜峡县大坝乡普及小学教育的情况。一年多来,大坝乡的教育工作又有所发展。他们的主要成绩是
三月,春风扑面,繁花似锦。正当全省人民在为实现党的十二大提出的总目标,在“富民”、“升位”上使劲,努力开创社会主义建设新局面的时候,盛况空前的省职工劳模大会召开了。
宝塔菜系唇形科根茎类蔬菜。由于在生长后期地下茎各节变成螺丝形而得名。扬州宝塔菜以色、香、味、形“四绝”俱全而居各类酱菜之首。是我市传统出口商品,远销东南亚、日本
写这两封信的人是位十六岁的小姑娘。她自小因病瘫痪,丧失了自由活动的功能,但她没有屈从命运的摆布,她奋斗抗争,深深地爱着似乎应与之无缘的足球运动,并且成为北京市足球俱
在株洲钢铁厂子弟学校,师生普遍传颂着学生民兵黄海波坚持革命原则,敢顶资产阶级歪风的一桩优秀事迹——“一张电影票”。今年二月的一个晚上,钢厂放电影,观众特别多,验票员