收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

面向对象软件动态模型抽象与转换技术研究

褚华  
【摘要】: 随着软件系统日益复杂和庞大,软件开发、维护以及进化的大部分工作和主要成本集中在对现有系统的理解上。在软件领域中,逆向工程的目标是利用工程化的方法和技术分析软件系统组件及其之间的相互关联,并以另一种方式或更高抽象层次的形式来描述该系统。逆向工程是一种辅助程序理解的重要手段。 论文通过对逆向工程规范活动的分析,以模型抽象为研究重点,结合面向对象软件系统固有的动态特性,采用以动态分析为主、静态分析为辅的研究思路,提出了一组用于实现面向对象软件逆向工程中动态模型抽取以及动态模型转换的机制和算法。这些机制和算法都已经在逆向工程工具集XDRE(XiDian Reverse Engineering,西电逆向工程)中实现。为了验证算法的正确性、有效性以及相关综合性能,本文对其还进行了系统的实验研究。作者研究工作的具体内容如下: (1)为了实现动态模型之间的自动转换,首先分析了UML序列图和状态图之间的关系,说明在序列图和状态图之间进行自动转换是可行的。其次,对BK算法的核心思想进行了分析,并给出了BK算法与动态模型转换之间的联系。基于上述分析,根据动态分析获取的信息以及结合动态模型转换的特点,应用BK算法从两个不同的抽象层次(对象级和进程级)实现了由多个UML序列图自动合成状态图的工作,分别得到了对象级状态图和进程级状态图。最后,通过实验结果验证了动态模型自动转换算法的正确性和有效性;并对该算法的效率进行了分析。 (2)提出了一种合并模式的匹配算法。由于合成的简单状态图不能适应复杂软件系统的要求,因此有必要对简单状态图进行进一步地抽象。本文提出了一种根据用户给定的合并模式对合成的简单状态图进行再抽象的方法。其主要思想是,用户给定一种合并模式,在简单状态图中寻找与这种模式相匹配的状态和迁移,并将它们合并,从而进一步提高合成的状态图的抽象层次。 (3)提出了一种基于XOR状态的分层抽象简单状态图的方法。在简单状态图中引入层次概念,是增加状态图可理解程度的一种重要手段。通过对XOR状态语义的分析,提出了一种寻找简单状态图中具有异或关系的状态,从而形成超状态的思想,以提高状态图的抽象层次,并给出了实现算法。 (4)给出了在简单状态图中添加UML概念的方法。无论采用何种算法,所生成的状态图只能是实际系统的一个近似描述,而且并不完全符合UML的标准。通过对简单状态图特性的分析,发现在包含两种特殊子图的情况下,可以添加UML概念,并给出了形成UML中的内部动作、进入动作、退出动作和迁移上的动作的规则和条件。 (5)提出了一种基于类中的非公有方法创建层次状态图的方法。该方法已经在XDRE中实现。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 王玉英;基于程序依赖图的软件植入范围选取策略[J];西安文理学院学报(自然科学版);2005年04期
2 王玉英;陈平;方海燕;许人民;;软件逆向工程的研究与发展[J];西安工程科技学院学报;2006年03期
3 周立萍,孙青岩,陈平;逆向工程分析技术研究[J];微机发展;2004年04期
4 黄会群;;逆向工程技术研究[J];计算机与数字工程;2005年12期
5 郑变红;陈平;胡圣明;龚晓洁;;逆向工程中动静态结合辅助用例模型的恢复[J];计算机工程;2007年23期
6 阮新新;;程序静态结构的分析及其应用[J];武汉理工大学学报(信息与管理工程版);2006年04期
7 梁若莹;陈平;胡圣明;刘鹏飞;;动静态信息相结合的UML2.0序列图逆向生成方法[J];计算机科学;2008年08期
8 宋海鸿,陈平;逆向工程在软件开发中的作用和应用现状[J];电子科技;2002年01期
9 史红军;李青山;陈平;许永峰;夏辉;李鹏;;基于COM原理的进程结构图呈现技术[J];计算机工程;2006年16期
10 胡燕京;李彩霞;周子琛;罗海宁;;编译技术研究与逆向工程实践[J];现代电子技术;2007年16期
11 古辉;王艳春;马灵春;;基于GXL的软件文档生成的研究[J];浙江工业大学学报;2008年03期
12 黄捷;古辉;;面向对象程序的类信息的抽取规则[J];计算机系统应用;2011年05期
13 褚华,陈平;一种层次状态图的自动生成方法[J];西安电子科技大学学报;2005年05期
14 冯铁,李文锦,张家晨,柴胜;面向Java语言的设计模式抽取方法的研究[J];计算机工程与应用;2005年25期
15 孙家骕,袁勇;面向Java语言的逆向工程工具JBRET-JAVA[J];岳阳师范学院学报(自然科学版);2002年03期
16 褚华,李青山,陈平,郭俊丽;一种基于UML序列图的状态图合成方法[J];系统工程与电子技术;2005年03期
17 郭颖,钱渊;逆向工程的应用研究和发展[J];信息与电子工程;2004年02期
18 司海平;葛云生;张远翼;;面向用况的逆向工程软件的设计与实现[J];郑州轻工业学院学报(自然科学版);2007年01期
19 李文锦;;基于设计模式的软件设计恢复方法研究[J];计算机与现代化;2007年08期
20 於在稳;谢强;丁秋林;;基于MDA的软件逆向工程研究及应用[J];中国制造业信息化;2007年21期
中国重要会议论文全文数据库 前10条
1 陈军鹏;杜斌;李青;;有副枪转炉复合动态模型[A];中国金属学会2003中国钢铁年会论文集(3)[C];2003年
2 涂曙光;肖金生;;质子交换膜燃料电池动态模型研究[A];第七届全国氢能学术会议论文集[C];2006年
3 涂曙光;肖金生;;质子交换膜燃料电池动态模型研究[A];第七届全国氢能学术会议专辑[C];2006年
4 傅荣;刘超男;;面向对象系统分析与设计中动态模型的Petri网描述[A];1999中国控制与决策学术年会论文集[C];1999年
5 史海华;冯爱兰;;供应链中的联盟忠诚[A];人才、创新与老工业基地的振兴——2004年中国机械工程学会年会论文集[C];2004年
6 魏瑜;;铁路运营线路能力系统动态模型的研究[A];全国青年管理科学与系统科学论文集(第1卷)[C];1991年
7 沈昶;施雄梁;汤曙光;刘玉兰;;烟气分析动态控制炼钢在马钢的应用[A];2005中国钢铁年会论文集(第3卷)[C];2005年
8 邓玉海;;多级闪蒸(MSF)装置的动态特性研究[A];新世纪 新机遇 新挑战——知识创新和高新技术产业发展(下册)[C];2001年
9 何健;徐聪;刘德明;;半导体光放大器中载流子浓度动态变化规律研究[A];全国第十二次光纤通信暨第十三届集成光学学术会议论文集[C];2005年
10 姜涛;崔国民;倪锦;;基于一阶滞后特性的换热网络动态模型及求解[A];中国化工学会2008年石油化工学术年会暨北京化工研究院建院50周年学术报告会论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 褚华;面向对象软件动态模型抽象与转换技术研究[D];西安电子科技大学;2007年
2 张志猛;面向理解的OORE关键技术研究[D];浙江大学;2004年
3 陈华;基于复合代码仓库的多Agent程序理解环境和工具研究[D];浙江大学;2004年
4 付文宇;基于逆向工程的动脉瘤及支架的数值模拟研究[D];北京工业大学;2010年
5 陈昊鹏;软件逆向工程技术研究[D];西北工业大学;2002年
6 王晓波;冠、桥及全口钛基托的激光立体成形制备研究[D];第四军医大学;2005年
7 李青;炼钢电弧炉全程动态模型与仿真研究[D];上海大学;2003年
8 马铁利;汽车车身光顺曲面模型创建与评价方法研究[D];吉林大学;2004年
9 严庆光;面向多点成形的逆向工程关键技术及应用研究[D];吉林大学;2005年
10 吴世雄;逆向工程中多传感器集成的智能化测量研究[D];浙江大学;2005年
中国硕士学位论文全文数据库 前10条
1 李文锦;Java程序中设计模式的抽取方法[D];吉林大学;2005年
2 熊军;基于概念格的Java语言类层次分析研究与实现[D];吉林大学;2005年
3 王振锋;基于AOP的逆向工程框架及工具的研究[D];西安电子科技大学;2005年
4 李红;基于逆向工程的拖拉机造型方法研究[D];河南科技大学;2011年
5 杜佶;径向基函数在逆向工程中的应用研究[D];南京航空航天大学;2005年
6 梁若莹;逆向工程中恢复UML行为模型的研究[D];西安电子科技大学;2008年
7 郑变红;静态程序依赖图和用例模型的生成[D];西安电子科技大学;2007年
8 潘爱梳;软件再工程在基金报表系统中的研究与应用[D];浙江大学;2007年
9 符凯;软件架构重构技术的研究与实现[D];西北大学;2007年
10 黎波;面向再设计的逆向工程CAD建模技术研究[D];广东工业大学;2011年
中国重要报纸全文数据库 前10条
1 记者 赵晓展;我国建大型压水堆核电厂动态模型[N];工人日报;2009年
2 鲍银胜;用动态模型寻找下阶段强势股[N];江苏经济报;2004年
3 本报驻日内瓦记者 宋斌;瑞士借上海世博展示城乡平衡发展[N];光明日报;2010年
4 王东兴;蒸汽机车功成身退引发模型收藏热[N];中国艺术报;2006年
5 张军;具有复杂系统特征的运动目标多模多尺度自适应估计与辨识 获2006年国家自然科学基金重点项目[N];科技日报;2007年
6 赵晓涛;SafeNet发布HASP安全套件[N];网络世界;2009年
7 程文兵;全球第一后的中国汽车该从哪里出发?[N];中国联合商报;2010年
8 卫功兵 陈立勋;梅钢累计产钢突破10万炉[N];中国冶金报;2007年
9 卫功兵 陈立勋;梅钢累计产钢突破十万炉[N];世界金属导报;2006年
10 单戈;构筑高端平台 培养现代制造业人才[N];中国财经报;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978