公开(公告)号：CN106843849B

公开(公告)日：2020-04-14

申请号：CN201611233727.X

申请日：2016-12-28

Applicant: 南京大学

Inventor： 翟娟 ,  赵建华 ,  黄建军 ,  马仕青 ,  张翔宇 ,  谭琳 ,  秦锋

IPC: G06F8/75 ,  G06F8/73 ,  G06F11/36

Abstract: 本发明的基于文档的库函数的代码模型的自动合成方法，包括步骤：1.从文档中抽取有用信息；2.使用自然语言处理工具生成句子的语法树；3.对步骤2中生成的语法树进行结构上的变换生成多个语法树的变体；4.对步骤3中生成的语法树进行分析，识别其中的参数、程序结构以及操作语义，生成候选的代码模型；5.对步骤4中的候选模型进行检验，删除与原始的类库具有行为不一致的候选模型。本发明综合使用了自然语言处理技术与自动化测试技术，成功地为Java容器类生成了代码模型，生成的代码模型可以有效地提高其它程序分析技术的正确性和效率，解决了程序分析过程中由于类库源代码缺失或者类库源代码过于复杂导致难以分析等问题。

公开(公告)号：CN106843849A

公开(公告)日：2017-06-13

申请号：CN201611233727.X

申请日：2016-12-28

Applicant: 南京大学

Inventor： 翟娟 ,  赵建华 ,  黄建军 ,  马仕青 ,  张翔宇 ,  谭琳 ,  秦锋

IPC: G06F9/44 ,  G06F11/36

Abstract: 本发明的基于文档的库函数的代码模型的自动合成方法，包括步骤：1.从文档中抽取有用信息；2.使用自然语言处理工具生成句子的语法树；3.对步骤2中生成的语法树进行结构上的变换生成多个语法树的变体；4.对步骤3中生成的语法树进行分析，识别其中的参数、程序结构以及操作语义，生成候选的代码模型；5.对步骤4中的候选模型进行检验，删除与原始的类库具有行为不一致的候选模型。本发明综合使用了自然语言处理技术与自动化测试技术，成功地为Java容器类生成了代码模型，生成的代码模型可以有效地提高其它程序分析技术的正确性和效率，解决了程序分析过程中由于类库源代码缺失或者类库源代码过于复杂导致难以分析等问题。

公开(公告)号：CN1584111A

公开(公告)日：2005-02-23

申请号：CN200410041227.7

申请日：2004-06-10

Applicant: 南京大学

Inventor： 顾书林 ,  秦锋 ,  胡立群 ,  朱顺明 ,  叶建东 ,  郑有炓 ,  张荣 ,  施毅

IPC: C23C16/52 ,  C23C16/458 ,  C23C16/18

Abstract: 一种金属有机源压力闭环控制系统包括流量计、金属有机源、与反应室相连的调节阀和压力传感器(DP)，其特点是还包括由单片机、数模转换器、放大器所组成的单片机控制电路。载气通过流量计导入到金属有机源，携带了金属有机源气体的混合气体通过调节阀通入到反应室；单片机控制电路通过控制调节阀改变气体的流量，压力传感器将压力转换为电压反馈信号输出。通过控制和反馈的信号使得管路内的压力达到一个动态平衡值，以减小对MOCVD材料生长过程的影响。