王啸吟
- 作品数：6 被引量：8H指数：2
- 供职机构：北京大学信息科学技术学院软件研究所更多>>
- 发文基金：国家科技支撑计划国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于语法与语义分析的代码搜索结果优化
- 通过示例代码学习简单算法的实现和具体API的使用方式是程序开发人员在软件开发中进行软件复用的高效手段,也是使用代码搜索引擎的主要目的。代码搜索引擎从网页搜索技术发展而来,提供对网络上源代码资源的检索功能,能够有效定位与搜...
- 刘石李合王啸吟张路谢冰
- 关键词：软件复用语义分析软件开发
- 文献传递
- 基于语法与语义分析的代码搜索结果优化被引量：6
- 2009年
- 通过示例代码学习简单算法的实现和具体API的使用方式是程序开发人员在软件开发中进行软件复用的高效手段,也是使用代码搜索引擎的主要目的。代码搜索引擎从网页搜索技术发展而来,提供对网络上源代码资源的检索功能,能够有效定位与搜索内容相关的代码,为程序开发人员提供帮助。但现有的代码搜索引擎没有在搜索结果中区别API的实现代码与使用代码,搜索结果存在冗余,导致用户无法快速有效地找到提供有用信息的代码片段。为了使用户更好更快地找到代码搜索目标,阐述了应用语法与语义分析技术从区分API实现代码和使用代码、相似代码聚类、搜索结果摘要3个方面对代码搜索结果进行优化的方法,给出了一个代码搜索引擎的实现,并在实例研究中展示了该方法的有效性。
- 刘石李合王啸吟张路谢冰
- 关键词：软件复用
- 把传统软件转化为富客户端软件的代码拆分方法
- 本发明提供了一种把传统软件转化为富客户端软件的代码拆分方法，属于软件工程领域。该方法包括：首先对应用程序进行数据传输量的插装并进行测试，据此生成模块调用图，然后对该图求最小割集，将图拆分成两部分，并将两部分分别作为客户端...
- 王啸吟张路梅宏
- 把传统软件转化为富客户端软件的代码拆分方法
- 本发明提供了一种把传统软件转化为富客户端软件的代码拆分方法，属于软件工程领域。该方法包括：首先对应用程序进行数据传输量的插装并进行测试，据此生成模块调用图，然后对该图求最小割集，将图拆分成两部分，并将两部分分别作为客户端...
- 王啸吟张路梅宏
- 文献传递
- 支持源代码回溯定位的字符串分析及其应用研究
- 随着计算机软件的不断发展,尤其是数据库软件和Web用字符串在软件程序中扮演的角色日益重要。与此同时,针对字符串的程序分析－字符串分析,也取得了长足的发展,并在软件验证等领域中得到了成功的应用。 软件演化和维护是软件生命...
- 王啸吟
- 关键词：序约束
- 字符串分析研究进展被引量：2
- 2013年
- 随着软件应用范围的不断扩大,尤其是数据库软件和Web软件的广泛应用,字符串变量在软件程序中扮演的角色日益重要.与此同时,针对字符串变量的程序分析技术——字符串分析,也取得了长足的发展,并在软件工程中的很多领域中得到了成功的应用.字符串分析的基本应用模式是首先使用字符串值分析获得字符串变量的所有可能取值,然后使用字符串约束求解判断这些变量的取值是否满足一定约束,从而对程序进行正确性验证.为了使得字符串分析能够应用在安全分析和软件维护应用中,研究人员对字符串分析进行了扩展,进一步分析字符串变量的数据来源.综述了字符串分析技术的研究进展,提出了字符串分析的问题构型,介绍了这一领域现在的主要研究内容:字符串值分析、字符串约束求解、字符串数据来源分析以及字符串分析在软件工程中的应用.
- 梅宏王啸吟张路
