- 专利标题: 一种基于网络知识汇聚和迭代式搜索的程序自动构造方法
-
申请号: CN202011180161.5申请日: 2020-10-29
-
公开(公告)号: CN112162746B公开(公告)日: 2022-07-05
- 发明人: 董威 , 刘加芯 , 章雅婷 , 王黛艳 , 陈立前 , 尹良泽 , 王戟
- 申请人: 中国人民解放军国防科技大学
- 申请人地址: 湖南省长沙市开福区砚瓦池正街47号
- 专利权人: 中国人民解放军国防科技大学
- 当前专利权人: 中国人民解放军国防科技大学
- 当前专利权人地址: 湖南省长沙市开福区砚瓦池正街47号
- 代理机构: 湖南兆弘专利事务所
- 代理商 刘畅舟
- 主分类号: G06F8/35
- IPC分类号: G06F8/35 ; G06F8/41 ; G06F16/953 ; G06F16/36 ; G06K9/62
摘要:
本发明公开了一种基于网络知识汇聚和迭代式搜索的程序自动构造方法,包括:从目标网络资源中挖掘API信息,对API分类并分别构造方法排序器、return排序器以及核心API排序器;分别从构造方法排序器、return排序器和核心API排序器中选取API构建程序搜索空间,根据程序搜索空间中的API进行程序合成,若在当前程序搜索空间中找到了通过测试用例的候选程序,结束并退出,否则继续从构造方法排序器、return排序器和核心API排序器中选取API添加到程序搜索空间并根据程序搜索空间中的API进行程序合成,直到生成了通过测试用例的候选程序。本发明可以对程序搜索空间进行约束和缩小,以提高程序的合成效率。
公开/授权文献
- CN112162746A 一种基于网络知识汇聚和迭代式搜索的程序自动构造方法 公开/授权日:2021-01-01