[发明专利]一种基于约束求解的代码搜索方法在审
| 申请号： | 201711405834.0 | 申请日： | 2017-12-22 |
| 公开（公告）号： | CN107992324A | 公开（公告）日： | 2018-05-04 |
| 发明（设计）人： | 张天;吴少博;潘敏学;姜人和 | 申请（专利权）人： | 南京大学 |
| 主分类号： | G06F8/70 | 分类号： | G06F8/70;G06F8/40 |
| 代理公司： | 南京知识律师事务所32207 | 代理人： | 张苏沛 |
| 地址： | 210093 江*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于约束求解的代码搜索方法，其具体步骤为步骤一、从开源社区中获取开源项目；步骤二、使用JPF和JDT分析源代码，将其转化为SSA格式；步骤三、使用JDT分析SSA格式的代码，将其转化为约束；步骤四、将源代码与生成的约束一一对应，构建代码‑约束库；步骤五、构建代码搜索系统，帮助用户搜索代码。该方法的主要特点是基于约束求解的方法解决代码搜索问题，并对循环语句和类成员变量进行了处理，弥补了以往工作的不足，并且大大提高了代码搜索的准确率，使得程序员在软件开发过程中可以搜索需要的代码，加以借鉴或复用，提高软件开发效率和质量。 | ||
| 搜索关键词： | 一种 基于 约束 求解 代码 搜索 方法 | ||
【主权项】：
一种基于约束求解的代码搜索方法，其特征在于，包括如下步骤：步骤一、从开源社区中获取开源项目；步骤二、使用JPF和JDT分析源代码，将其转化为SSA格式；步骤三、使用JDT分析SSA格式的代码，将其转化为约束；步骤四、将源代码与生成的约束一一对应，构建代码‑约束库；步骤五、构建代码搜索系统，帮助用户搜索代码。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于南京大学，未经南京大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201711405834.0/，转载请声明来源钻瓜专利网。
- 上一篇：一种基于红外线的鸡蛋无损检测装置
- 下一篇：一种理化检验用药物溶解稳定振荡器
