计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2015年
4期
151-155
,共5页
曾一%李函逾%刘慧君%余双双%周波
曾一%李函逾%劉慧君%餘雙雙%週波
증일%리함유%류혜군%여쌍쌍%주파
UML模型%Java代码%时序调用图%方法调用图%一致性检测
UML模型%Java代碼%時序調用圖%方法調用圖%一緻性檢測
UML모형%Java대마%시서조용도%방법조용도%일치성검측
UML model%Java code%Sequence diagram call graph(SD-CG)%Call graph(CG)%Consistency detection
针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法.首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序调用图SD-CG的转换;其次,通过方法调用图CG来表达类方法之间的调用关系,从而反映代码动态行为,由此通过对Java源代码的词法分析与语法分析,可获得类的信息及方法调用图CG;然后设计了UML模型与Java源代码间一致性检测算法,包括对类间静态信息以及时序调用图SD-CG与方法调用图CG间的一致性检测;最后,通过开发UML模型与Java源代码一致性检测工具,验证了所提出的方法是可行有效的.
針對代碼與模型之間的不一緻性問題,提齣瞭一種基于UML模型和Java代碼之間的一緻性檢測方法.首先,對UML類圖和時序圖進行形式化描述,併提齣時序調用圖(SD-CG)這一概唸,在此基礎上完成類的關聯關繫到關聯屬性的轉換以及UML時序圖到時序調用圖SD-CG的轉換;其次,通過方法調用圖CG來錶達類方法之間的調用關繫,從而反映代碼動態行為,由此通過對Java源代碼的詞法分析與語法分析,可穫得類的信息及方法調用圖CG;然後設計瞭UML模型與Java源代碼間一緻性檢測算法,包括對類間靜態信息以及時序調用圖SD-CG與方法調用圖CG間的一緻性檢測;最後,通過開髮UML模型與Java源代碼一緻性檢測工具,驗證瞭所提齣的方法是可行有效的.
침대대마여모형지간적불일치성문제,제출료일충기우UML모형화Java대마지간적일치성검측방법.수선,대UML류도화시서도진행형식화묘술,병제출시서조용도(SD-CG)저일개념,재차기출상완성류적관련관계도관련속성적전환이급UML시서도도시서조용도SD-CG적전환;기차,통과방법조용도CG래표체류방법지간적조용관계,종이반영대마동태행위,유차통과대Java원대마적사법분석여어법분석,가획득류적신식급방법조용도CG;연후설계료UML모형여Java원대마간일치성검측산법,포괄대류간정태신식이급시서조용도SD-CG여방법조용도CG간적일치성검측;최후,통과개발UML모형여Java원대마일치성검측공구,험증료소제출적방법시가행유효적.
