国家自然科学基金(60473063)
- 作品数:31 被引量:33H指数:4
- 相关作者:陈平李青山胡圣明王玉英苏旸更多>>
- 相关机构:西安电子科技大学西安建筑科技大学丽水市公安局更多>>
- 发文基金:国家自然科学基金国家教育部博士点基金国防科技技术预先研究基金更多>>
- 相关领域:自动化与计算机技术理学电气工程更多>>
- 逆向工程中UML活动图的呈现技术研究被引量:2
- 2006年
- 在获取动态信息的基础上,研究了UML活动图的呈现技术,给出在Rose中呈现活动图的算法,论述了表示进程创建关系的Fork类型动态信息和表示进程同步关系的Wait类型动态信息的呈现和基于对象流的进程间通信关系呈现。最后,通过实际的系统验证了该算法的有效性。
- 许永峰李青山陈平史红军夏辉
- 关键词:逆向工程UML活动图
- 基于UML活动图的进程关系模型恢复方法
- 2006年
- 针对UNIX平台上的分布、并发的软件系统,提出了基于UML活动图的进程关系模型恢复方法。分析了UNIX平台支持的进程间关系,在此基础上提出了需要获取的动态信息,给出了用UML活动图表示进程关系模型的方法,并用一个实际的软件系统进行实验验证。实验结果表明:逆向恢复出来的进程关系模型具有直观、形象的效果,能够帮助用户更好地理解系统。
- 许永峰陈平
- 关键词:逆向工程UML活动图
- 并发式软件系统横切关注点的建模方法(英文)
- 2007年
- 基于面向侧面技术及统一建模语言状态图提出了并发式软件系统开发过程中横切特性的建模方法。该方法将并发软件系统的业务逻辑和横切行为分别封装到复合状态的不同正交区域中,并通过事件广播机制反映二者的交互关系。同时,以模块化的状态迁移系统作为基本计算模型,对该建模方法进行形式化描述,给出了模型元素及建模过程的精确语义。实例研究表明,该方法在并发软件设计阶段实现了横切关注点的分离策略,并使得系统模型具有松耦合、适应性和可跟踪性的优点。
- 苏旸张敏情潘峰陈平
- 关键词:UML状态图横切关注点
- 软件动态度量及其在逆向工程中的应用
- 2006年
- 在对软件度量进行分析的基础上,指出常用的软件度量是静态的,只反映了系统可能的属性,而不是实在属性.定义了动态扇入扇出度量,用实例说明它们不但反映了系统实在的的属性,还可以用于确定系统中的关键组件,推断系统的功能.基于这个特性,提出了一种在逆向工程中快速认定系统中某一功能的具体实现过程的方法.在这种方法中使用了标有动态扇入扇出值的程序依赖图和部分植入技术.运用这种方法得到的信息量较少但都是与用户的关注点密切相关的,有助于用户快速理解系统.
- 王玉英李青山陈平王学龙
- 关键词:逆向工程程序依赖图
- 基于COM原理的进程结构图呈现技术
- 2006年
- 对于具有分布、并发特征的面向对象系统,抽取和呈现进程间的创建和通信关系,可以从系统的高层体系结构方面帮助用户理解系统。在充分分析Rose扩充技术原理的基础上,给出了反应进程间创建和通信关系的进程结构图的一种呈现技术,通过扩充Rose的版型,将进程结构图在Rose中直观地呈现出来。最后给出了一个分布、并发的软件系统,作为测试案例,对该呈现技术的有效性进行了验证。
- 史红军李青山陈平许永峰夏辉李鹏
- 关键词:逆向工程进程间通信COM
- 生成有向图中全部简单回路的一种有效算法被引量:7
- 2009年
- 在研究有向图中全部简单回路现有算法的基础上,综合各算法的优点提出一种新的算法。算法的主要思想是对图中顶点进行深度优先搜索,在搜索过程中采取措施避免同一回路的重复出现,同时记录有用信息避免对顶点的重复访问,从而提高算法的效率,还给出了算法的证明和实例应用。算法结构清晰简单,方便转化为计算机程序。
- 王玉英陈平苏旸
- 关键词:有向图深度优先搜索
- 一种利用动态信息叠加生成用例模型的方法
- 2006年
- 提出一种利用动态信息叠加生成用例模型的方法。该方法可以利用多次收集到的动态信息,叠加生成目标系统的用例模型并以UML用例图的形式呈现。通过实验测试,使用该方法恢复出来的用例模型接近于实际模型,证明了该方法的有效性。
- 曹翀陈平
- 关键词:逆向工程统一建模语言用例模型
- 程序分析中的设计模式应用
- 2006年
- 基于反射原理和开放编译技术的软件植入方法是程序的动态分析,准确获取理解面向对象软件系统运行时信息的有效手段,文章提出的软件触发器植入算法是在应用设计模式扩展开放编译器功能的基础上实现的,以提高可复用性和可扩展性,并通过实验验证了该算法实现的有效性。
- 任春德陈平彭安斋
- 关键词:设计模式
- 程序理解中基于类图的特征挖掘被引量:1
- 2006年
- 针对从大型系统源代码逆向恢复出的类图十分复杂,不利于系统理解和特征挖掘的问题,从类图中抽象出类型依赖图(TDG),并分为无权值及带权值类型依赖图,利用图上的集合划分算法对TDG进行分层抽象的特征挖掘,挖掘算法将图中的节点划分到不同的集合中,每个集合展现系统关键设计的一个侧面.采用TDG上的分层算法能够有效地降低类图的复杂度并挖掘出系统设计特征.
- 胡圣明李青山褚华陈平
- 关键词:类图
- 一种基于非递归的序列图逆向生成算法
- 2006年
- 在逆向工程领域中,逆向生成的序列图有助于用户理解软件系统的动态特征。逆向生成序列图时往往要处理大量的动态信息,所以序列图的生成效率至关重要。针对序列图逆向生成的递归算法中对于层次较深的动态信息文件生成效率较低,并且达到一定深度后无法正常生成的问题,给出了一种非递归生成算法,提高了生成效率,并且解决了深度较大时原来的递归算法无法正常生成的问题。实验验证了该算法的有效性。
- 崔伟勇陈平张晓风
- 关键词:逆向工程序列图