[发明专利]一种基于API文档的约束自动生成方法

摘要

本发明公开了一种基于API文档的约束自动生成方法，包括如下步骤：首先输入一个URL；提取网页中类和函数的文字描述；对提取的句子进行一定的分析；然后使用NLP技术为每个句子生成一个树结构；识别树结构中的参数和结构生成树的中间表示形式；基于中间表示形式定义约束模板；最后遍历树结构自动生成相应的约束；本发明主要特点是通过API文档自动生成API函数的约束，方便程序员更好的理解API函数，并且能够弥补现有代码分析工具分析API函数的不足，使得代码分析工具能更好的分析源代码。

主权项

一种基于API文档的约束自动生成方法，其特征在于：包括步骤：步骤1：将API网站中对每个类的描述网页的URL作为输入；步骤2：提取网页中类及其所有成员函数，以及各个成员函数的文档描述信息；步骤3：对提取的文字信息进行预处理，去除冗余的句子，并将同义词进行归类；步骤4：使用NLP技术对步骤3处理后的文字信息进行分析，生成对应的树结构；步骤5：识别步骤4得到的树结构中的参数和结构生成树的中间表示形式；步骤6：根据步骤5得到的所有中间表示形式提取树模式，为所有树模式分别定义约束，构建约束模板；步骤7：遍历API函数对应的的中间表示形式，识别其中的树模式，根据步骤6定义的模板，将API函数转换成相应的约束。