计算机科学 ›› 2015, Vol. 42 ›› Issue (4): 151-155.doi: 10.11896/j.issn.1002-137X.2015.04.030
曾 一,李函逾,刘慧君,余双双,周 波
ZENG Yi, LI Han-yu, LIU Hui-jun, YU Shuang-shuang and ZHOU Bo
摘要： 针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法。首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序调用图SD-CG的转换；其次,通过方法调用图CG来表达类方法之间的调用关系,从而反映代码动态行为,由此通过对Java源代码的词法分析与语法分析,可获得类的信息及方法调用图CG；然后设计了UML模型与Java源代码间一致性检测算法,包括对类间静态信息以及时序调用图SD-CG与方法调用图CG间的一致性检测；最后,通过开发UML模型与Java源代码一致性检测工具,验证了所提出的方法是可行有效的。
| [1] Balzer R.“Tolerating Inconsistency” revisited[C]∥Proc.of the 23rd Int’l Conf.on Software Engineering.Toronto:IEEE Computer Press,2001:665 [2] Ghezzi C,Nuseibeh B.Guest editorial:Introduction to the special section[J].IEEE Trans.on Software Engineering,1999,5(6):782-783 [3] Easterbrook S,Chechik M.Int’l workshop on living with inconsistency[C]∥Proc.of the 23rd Int’l Conf.on Software Engineering.Toronto:IEEE Computer Press,2001:749-750 [4] Clarke E,Grumberg O,Long D.Verification tools for finite-state concurrent systems[C]∥Lecture Notes in Computer Science 803.London:Springer-Verlag,1994:124-175 [5] Holzmann J.The model checker SPIN[J].IEEE Trans.on Software Engineering,1997,3(5):279-95 [6] Heitmeyer C,Jeffords R,Kiskis D.Automated consistency checking requirements specifications[J].ACM Trans.on Software Engineering and Methodology,1996,5(3):231-261 [7] Chan W,Anderson R,Beame P,et al.Model checking large software specifications[J].IEEE Trans.on Software Engineering,1998,4(7):498-519 [8] Atlee J,Gannon J.State-Based model checking of event-driven system requirements[J].IEEE Trans.on Software Engineering,1993,19(1):24-40 [9] 丁娜.带OCL约束的活动图多态测试方法的研究[D].重庆:重庆大学,2012 [10] 逄瑞娟.基于UML顺序图的场景测试用例生成研究[D].青岛:青岛大学,2007 [11] 赵平.Java源代码静态分析系统的设计与实现[D].长春:吉林大学,2013 [12] 章程.基于机器学习和程序分析相结合的程序调用技术研究[D].上海:上海交通大学,2012 [13] 张健.精确的程序静态分析[J].计算机学报,2008,31(9):1550-1555 [14] 逄龙,王甜甜,苏小红,等.支持多程序语言的静态信息提取方法[J].哈尔滨工业大学学报,2011(3):62-66 |
| No related articles found! |
|
||
首页