[发明专利]一种基于文档的库函数的代码模型的自动合成方法

摘要

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

主权项

一种基于文档的库函数的代码模型的自动合成方法，其特征在于，包含步骤如下：步骤一、获取文档中的有用信息；步骤二、为自然语言句子生成语法树；步骤三、变换语法树生成多个语法树的变体，每个变体表示不同的语义；步骤四、在语法树中识别出参数、程序结构以及操作语义，生成候选的代码模型；步骤五、检验候选模型，删除与原始的类库具有不一致行为的候选模型。