王雷
- 作品数：6 被引量：25H指数：2
- 供职机构：中国矿业大学（北京）机电与信息工程学院更多>>
- 发文基金：国家自然科学基金国家科技重大专项国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 考虑多种特征因素的设计模式自动识别被引量：2
- 2017年
- 现有的设计模式自动识别方法大多只考虑设计模式的结构特征,识别准确率不高.为此,提出了一种考虑多种特征因素的设计模式自动识别方法.首先,提出了一种基于特征矩阵的待考查系统和设计模式的形式化描述方法;然后,给出了设计模式自动识别的基本流程,并详细讨论了综合考虑多种特征因素的设计模式识别算法;最后,实现了该方法的支撑工具,并使用该工具对一个开源项目进行了设计模式的识别.实验结果表明,相对于只考虑结构特征的设计模式识别方法,该方法的识别准确率较高.对于结构特征不够明显或者与其他模式具有相似结构特征的设计模式,识别准确率明显提升.
- 王雷王智广
- 关键词：软件逆向工程
- 基于图论和FSM的UML模型与代码一致性检测被引量：2
- 2019年
- 提出了一种基于图论和有限状态机(FSM)的统一建模语言(UML)模型与代码一致性检测方法.给出了该方法的基本思路;分别讨论了UML模型与代码静态一致性检测和动态一致性检测算法;实现了该检测方法的支撑工具,并使用该工具对C++项目UMLChecker 1.0进行了检测.实验结果表明,所提方法可对UML模型与代码的一致性进行检测,且具有较高的检测精度.通过对静态行为和动态行为的一致性检测可知,检测精度明显提升.
- 王雷
- 关键词：图论有限状态机
- 一种基于相似度评分的设计模式识别方法被引量：3
- 2019年
- 使用软件工具自动识别UML(Unified Modeling Language)模型中包含的设计模式,可以帮助软件开发人员理解、维护和重构大型软件项目.现有设计模式识别方法大多是将所考虑的若干个特征分别进行匹配,准确率和时间性能不高.为此,提出了一种基于相似度评分的设计模式识别方法.首先,给出该方法的基本流程;然后,提出一种基于有向图/矩阵的设计模式和系统的表示;接着,详细讨论了基于相似度评分的模式实例搜索算法;最后,实现了该方法的支撑工具,并使用该工具对一个开源项目进行了设计模式的识别.该方法不是将所考虑的若干个特征分别进行匹配,而是使用总特征矩阵进行匹配.实验结果表明,相对于将所考虑的若干个特征分别进行匹配的方法,该方法的识别准确率和时间性能更高.
- 王雷王雷王文发
- 关键词：有向图软件逆向工程
- 设计模式自动识别的研究进展
- 2018年
- 简要介绍了设计模式自动识别领域的发展历程;从基于图论、形式化技术、软件度量和人工智能的设计模式识别四大类方法出发,对该领域的研究进行了综述;通过适用的模式类型、时间性能和能否完全自动化3个指标对四大类方法进行了比较;最后分析了当前研究存在的问题与不足,并指出了今后的研究方向.对各方法适用的模式类型、优缺点及内在联系进行了分析和讨论,从宏观上阐述了该领域的研究进展.
- 王智广王雷
- 关键词：软件逆向工程
- 基于矩阵理论的UML类图形式化描述与检测被引量：1
- 2017年
- 针对UML缺少形式化语义,使得开发UML自动检测工具变得困难的问题,提出了一种基于矩阵理论的UML类图形式化描述和自动检测方法.首先,分别给出了基于二元关系和基于矩阵的类图形式化描述规则;然后,讨论了UML类图的自动检测;最后,用一个实例说明了该方法的有效性.实验结果表明:该方法可以对UML类图进行形式化描述,且可以通过数学方法找出模型中存在的错误.
- 王智广王雷李聪莹
- 关键词：矩阵UML类图形式化描述
- 改进的三层架构的研究与应用被引量：18
- 2017年
- 三层架构降低了系统性能,可能导致级联的修改,为此提出一种改进的三层架构,即数据接口三层架构。给出数据接口和数据池的概念以及数据接口三层架构的基本原理,讨论该架构的优点,将该架构用于一个图书管理系统登录模块的开发。应用结果表明,该体系结构可以增强系统的性能、可重用性和可拓展性,解决了级联修改的问题。
- 王雷王智广
- 关键词：软件体系结构可重用性
