CN112486568B - 一种基于知识图谱的程序自动修正方法 - Google Patents

Abstract

本发明公开了一种基于知识图谱的程序自动修正方法，包括包括以下步骤：S1.获取网络上开放的源代码，通过代码知识图谱构建程序对获取的源代码进行分析，生成代码知识图谱；S2.编写允许出现缺失或者错误的骨架程序；S3.通过代码补全程序对骨架程序进行分析，利用代码知识图谱对骨架程序进行修正和补充，得到正常执行的完整程序。本发明可以对有问题的骨架程序自动修整得到完整的程序，具有简化程序编写、提高程序编写效率、减少人工劳动量的特点。

Description

一种基于知识图谱的程序自动修正方法

技术领域

本发明涉及一种程序自动修正方法，特别是一种基于知识图谱的程序自动修正方法。

背景技术

当前，程序设计的自动化开发技术正在从原来的组件化、模型驱动方法向基于深度学习、语义驱动的方法转变。目前，现有已经存在通过自然语言处理生成所需的程序片段的方法，然而这些方法需要神经网络的大规模计算支持，没有统一的标准，代码知识图谱的逻辑结构、构造方法和自动化实际应用并没有得到很好的解决，并能不提供一种完整的编程手段，程序员在编写程序时，需要非常严谨，不能有缺失和出错，一旦编写程序出现问题，就无法进行正常的运行，无法自动修正，程序编写复杂、麻烦，效率较低，人工劳动量大。

因此，现有的程序处理，存在编写复杂、效率较低、人工劳动量大的问题。

发明内容

本发明的目的在于，提供一种基于知识图谱的程序自动修正方法。本发明可以对有问题的骨架程序自动修整得到完整的程序，具有简化程序编写、提高程序编写效率、减少人工劳动量的特点。

本发明的技术方案：一种基于知识图谱的程序自动修正方法，包括包括以下步骤：

S1.获取网络上开放的源代码，通过代码知识图谱构建程序对获取的源代码进行分析，生成代码知识图谱；

S2.编写允许出现缺失或者错误的骨架程序；

S3.通过代码补全程序对骨架程序进行分析，利用代码知识图谱对骨架程序进行修正和补充，得到正常执行的完整程序。

前述的一种基于知识图谱的程序自动修正方法中，S1中，所述代码知识图谱为RDF三元组结构，RDF三元组结构由代码实体和代码关系组成，代码实体为程序设计语言的所有语法成份，代码关系包括引用、包含、项、归属、值、别名、功能、输入和输出。

前述的一种基于知识图谱的程序自动修正方法中，S1中，代码知识图谱的生成方法包括以下步骤：

(1).取代码图谱构建程序中的包和命名空间，生成三元组为：<包名,项,包>；对于存在上下级关系的包名，生成三元组为：<上级包名,包含,下级包名^下级包名...^下级包名>；

(2).取代码图谱构建程序中的类名和类型部分,生成三元组<类名,项,类>；并根据类所在的包名生成三元组为：<包名,包含,类名>；

(3).取代码图谱构建程序中全局变量的名称、类型、初始值，分别生成三元组为：<变量名,归属,类型>、<变量名,项,变量>、<变量名,缺省,缺省值>；

(4).取代码图谱构建程序中属性变量的名称、类型、初始值、及其所属的类名，分成生成三元组为：<变量名,归属,类型>、<变量名,项,属性>、<变量名,缺省,缺省值>、<类名,包含,变量名>；

(5).取代码图谱构建程序中函数的名称、函数说明、类名、返回参数，分别生成三元组为：<函数名,项,函数>，<函数名,功能,函数说明>，<类名,包含,函数名>，<函数名,输入,传入参数1^传入参数2...>,<函数名,输出,返回说明>，<返回说明,归属,返回类型>，<传入参数名,归属，参数类型>；

(6).按照代码知识图谱的组成规则对每一个开放的源代码生成代码知识图谱；

(7).对任意一个代码知识图谱，规定其中任意一个三元组R到任意一个节点C的距离D＝e-x,其中x为三元组R的三个节点到节点C所经过路径中三元组个数的最小值。

前述的一种基于知识图谱的程序自动修正方法中，所述代码知识图谱的组成规则包括以下步骤：

(1).令R为一个实体关系构成的三元组<e_l,r,e_r>，构成代码知识图谱的基本元件，其中，e_r为导出实体节点，e_l为导入实体节点，r为关系节点；

(2).令R₁＝<e_1l,r₁,e_1r>，R₂＝<e_1r,r₂,e_2r>，则R₁和R₂构成一个关系链复合图；

(3).令R₁＝<e_1l,r₁,e_1r>，R₂＝<r₁,r₂,e_2r>，则R₁和R₂构成一个关系过渡复合图；

(4).令R_i＝<e_l,r,e_ir>,则R＝<e_l,r,e_1r|e_2r|...|e_nr>构成一个动态导出节点复合图；若令R_i＝<e_il,r,e_r>,则R＝<e_1l|e_2l|...|e_nl,r,e_r>构成一个动态导入节点复合图；

(5).令R_i＝<el,r,eir>,则R＝<e_l,r,e_1r^e_2r^...^e_nr>构成一个超导出节点复合图；若令R_i＝<e_il,r,e_r>,则R＝<e1l^e2l^...^enl,r,er>构成一个超导入节点复合图；

(6).令R₁＝<e_1l,r₁,e_1r>,R2＝<e_2l,r₂,e_2r>，则R＝<R₁,r,R₂>构成一个超节点复合图。

前述的一种基于知识图谱的程序自动修正方法中，S2中，骨架程序的编写包括：

(1).定义全局变量：给定变量的名称；

(2).定义类型：给定类型的名称、属性的名称和函数的名称。

前述的一种基于知识图谱的程序自动修正方法中，S3具体包括以下步骤：

(1).将骨架程序构造成骨架知识图谱；

(2).在代码知识图谱中寻找与骨架知识图谱相似的子图，令{G₁,G₂,...,G_N}为所有代码知识图谱，T为骨架知识图谱，{C₁,C₂,...,C_M}为有缺失或者错误的变量、函数或者类型的名称，对每一个C_i,分别计算其与G_j的相似度S_ij；

(3).对每一个C_i，选择与骨架知识图谱相似度S_ij最大的图谱作为候选代码知识图谱；

(4).对每一个C_i，用候选代码知识图谱中的项目替换变量、函数或者类型的错误项和缺失项，得到正常执行的完整程序。

前述的一种基于知识图谱的程序自动修正方法中，所述步骤(2)中，相似度S_ij的计算方法包括以下步骤：

(a).初始化S_ij的值为0；

(b).在G_j中寻找是否有节点命名为C_i，若没有则记S_ij＝0，否则执行下一步；

(c).在G_j中查找所有包含G_j的三元组集，记为P_j，在T中查找所有包含C_i的三元组集，记为Q；

(d).令Y＝P_j∩Q，U＝Q-P_j∩Q，若Y为空集，则记S_ij＝0，否则对于Y中的每一个三元组Y_k，记

其中d_k为三元组Y_k到C_i的距离，对于U中的每一个三元组U_l，

其中f_l为三元组u_l到C_i的距离，S_ij＝D/(D+F)。

前述的一种基于知识图谱的程序自动修正方法中，所述步骤(4)中，候选代码知识图谱中的替换方法包括以下步骤：

(a).对骨架程序中的全局变量v，检查候选代码知识图谱中是否存在三元组<v,项,变量>，若不存在，则默认全局变量v的类型为字符串，若存在，则检查是否存在<v,归属,v1>，若存在，则将v1作为全局变量v的类型，否则，将字符串作为全局变量v的类型；检查候选代码知识图谱中是否存在三元组<v,缺省,v2>，若存在，则将v2作为全局变量v的缺省值；

(b).对骨架程序中的类型t，检查候选代码知识图谱中是否存在三元组<t,项,类>，或者存在t1，使得存在三元组<t1,项,类>和三元组<t1,别名,t>，若存在，将t改为t1；

(c).对于骨架程序中类型t1中的属性变量p，检查候选代码知识图谱中是否存在三元组<p,归属,p1>、<p,项,属性>、<p,缺省,p2>、<t1,包含,p>，若存在，则将p1作为属性变量p的类型，p2作为属性变量p的缺省值；

(d).对于骨架程序中类型t1中的函数f,检查候选知识图谱中是否存在三元组<f,项,函数>、<f,功能,f1>、<t1,包含,f>、<f,输入,fp₁^fp₂...^fp_Z>、<f,输出,f2>、<f2,归属,返回类型>、<fp₁,归属，fp_t1>,<fp₂,归属，fp_t2>、....或者<fp_z,归属，fp_tz>，若存在，则将f1作为函数f的功能说明，fp₁,fp₂...,fp_Z作为函数f的输入参数，fp₁,fp₂...,fp_Z对应的类型分别为fp_t1,fp_t2,...,fp_tz，f2作为函数f的输出类型。

与现有技术相比，本发明允许程序员编写有缺失、有错误的骨架程序，进一步通过代码知识图谱的构造和学习，自动对骨架程序进行修正，从而得到真实可以运行的程序，实现渐进式的程序设计自动化，提高了初始的骨架程序的容错率，可以简化初期程序的编写，降低程序员的编写负担，减少程序员的编写工作量，从而可以提高程序编写的效率。

因此，本发明可以对有问题的骨架程序自动修整得到完整的程序，具有简化程序编写、提高程序编写效率、减少人工劳动量的特点。

附图说明

图1是本发明的流程示意图；

图2是代码知识图谱的基本元件示意图；

图3是RDF三元组结构的关系复合链结构示意图；

图4是RDF三元组结构的关系过渡复合结构示意图；

图5是RDF三元组结构的动态导出复合结构示意图；

图6是RDF三元组结构的超导出节点复合结构示意图；

图7是RDF三元组结构的超节点复合结构示意图；

图8是代码知识图谱A；

图9是代码知识图谱B；

图10是骨架知识图谱。

具体实施方式

下面结合实施例对本发明作进一步的说明，但并不作为对本发明限制的依据。

实施例。

一种基于知识图谱的程序自动修正方法，如图1所示，具体包括以下步骤：

S1.获取网络上开放的源代码，通过代码知识图谱构建程序对获取的源代码进行分析，生成代码知识图谱；

S2.编写允许出现缺失或者错误的骨架程序；

S3.通过代码补全程序对骨架程序进行分析，利用代码知识图谱对骨架程序进行修正和补充，得到正常执行的完整程序。

所述S1.中，所述代码知识图谱为RDF三元组结构。所述RDF三元组结构由代码实体和代码关系组成。代码实体为程序设计语言的所有语法成份，代码关系包括引用、包含、项、归属、值、别名、功能、输入和输出。

代码知识图谱的组成规则包括：

(1).令R为一个实体关系构成的三元组<e_l,r,e_r>，构成代码知识图谱的基本元件，如图2所示。其中，e_r为导出实体节点，e_l为导入实体节点，r为关系节点。

(2).令R₁＝<e_1l,r₁,e_1r>，R₂＝<e_1r,r₂,e_2r>，则R₁和R₂构成一个关系链复合图，如图3所示。

(3).令R₁＝<e_1l,r₁,e_1r>，R₂＝<r₁,r₂,e_2r>，则R₁和R₂构成一个关系过渡复合图，如图4所示。

(4).令R_i＝<e_l,r,e_ir>，i属于{1,2,...,N},则R＝<e_l,r,e_1r|e_2r|...|e_nr>构成一个动态导出节点复合图。如图5所示，它表示在不同环境下，会有不同的三元组项成立。类似的，若令R_i＝<e_il,r,e_r>，i属于{1,2,...,N},则R＝<e_1l|e_2l|...|e_nl,r,e_r>构成一个动态导入节点复合图。

(5).令R_i＝<el,r,eir>，i属于{1,2,...,N},则R＝<e_l,r,e_1r^e_2r^...^e_nr>构成一个超导出节点复合图。如图6所示，它表示所有R_i总是同时成立。类似的，若令R_i＝<e_il,r,e_r>，i属于{1,2,...,N},则R＝<e_1l^e_2l^...^e_nl,r,e_r>构成一个超导入节点复合图。

(6).令R₁＝<e_1l,r₁,e_1r>,R2＝<e_2l,r₂,e_2r>，则R＝<R₁,r,R₂>构成一个超节点复合图，如图7所示。

s1中，代码知识图谱的具体生成方法包括以下步骤：

(1).取代码图谱构建程序中的包和命名空间(简称包名)，生成三元组为：<包名,项,包>；对于存在上下级关系的包名，生成三元组为：<上级包名,包含,下级包名^下级包名...^下级包名>；

(2).取代码图谱构建程序中的类名和类型部分,生成三元组为：<类名,项,类>；并根据类所在的包名生成三元组为：<包名,包含,类名>；若程序中的类包含注释,则根据注释的意义分别生成三元组为：<类名,别名,注释>，<类名,时间戳,注释>，<类名,作者,注释>，<类名,版本,注释>；

(3).取代码图谱构建程序中全局变量的名称(简称变量名)、类型、初始值，分别生成三元组为：<变量名,归属,类型>、<变量名,项,变量>、<变量名,缺省,缺省值>；

(4).取代码图谱构建程序中属性变量的名称(简称变量名)、类型、初始值、及其所属的类名，分成生成三元组为：<变量名,归属,类型>、<变量名,项,属性>、<变量名,缺省,缺省值>、<类名,包含,变量名>；

(5).取代码图谱构建程序中函数的名称(简称函数名)、函数说明、类名、返回参数，包括返回参数的返回类型、返回说明、传入参数(可以有多个)，包括每个参数的类型、参数名，分别生成三元组为：<函数名,项,函数>，<函数名,功能,函数说明>，<类名,包含,函数名>，<函数名,输入,传入参数1^传入参数2...>,<函数名,输出,返回说明>，<返回说明,归属,返回类型>，<传入参数名,归属，参数类型>；

(6).对上述(1)-(5)步骤得到的所有三元组，按照代码知识图谱的组成规则对每一个开放的源代码生成代码知识图谱；

(7).在任意一个代码知识图谱中，规定其中任意一个三元组R到任意一个节点C的距离D＝e^-x,其中x为三元组R的三个节点到节点C所经过路径中三元组个数的最小值。

所述S2中，骨架程序的编写是按照Python程序设计语言的语法编写，但是允许编写过程中出现缺失和错误，具体包括以下内容：

(1).定义全局变量：程序设计语言要求变量给出类型、名称、约束和初始值，而在骨架程序中只要给出变量的名称就可以，其余的通过后续的修正和补充方法得到。

(2).定义类型：程序设计语言要求类型给出类型的名称、约束、属性(包含属性类型、名称、约束、初始值)、函数(输入、输出)。在骨架程序中只要给出类型的名称，属性的名称、函数的名称，其余的通过后续的修正和补充方法得到。

编写好的骨架程序因为缺失或者错误并不能执行，需要通过对缺失或者错误进行修正，因此S3具体包括以下步骤：

(1).将骨架程序按照代码知识图谱的生成方法构造骨架知识图谱。

(2).在代码知识图谱中寻找与骨架知识图谱相似的子图，令{G₁,G₂,...,G_N}为所有代码知识图谱，T为骨架知识图谱，{C₁,C₂,...,C_M}为有缺失或者错误的变量、函数、类型的名称。对每一个C_i，i属于{1,2,...,M},分别计算其与G_j，j属于{1,2,...,N}的相似度S_ij。

S_ij的计算方法如下：

(a).初始化S_ij的值为0；

(b).在G_j中寻找是否有节点命名为C_i，若没有则记S_ij＝0，否则执行下一步；

(c).在G_j中查找所有包含G_j的三元组集，记为P_j，包含C_i的三元组集是指以C_i导入节点或导出节点或者关系节点的三元组集，在T中查找所有包含C_i的三元组集，记为Q；

(d).令Y＝P_j∩Q，U＝Q-P_j∩Q。若Y为空集，则记S_ij＝0，否则对于Y中的每一个三元组Y_k，k属于{1,2,...,K}，K为Y中元素的个数。记

其中d_k为三元组Y_k到C_i的距离。对于U中的每一个三元组U_l，l属于{1,2,...,L},

其中f_l为三元组u_l到C_i的距离。S_ij＝D/(D+F)。

(3).对每一个C_i，i属于{1,2,...,M},选择与骨架知识图谱相似度S_ij最大的图谱作为候选代码知识图谱；

(4).对每一个C_i，i属于{1,2,...,M},用候选代码知识图谱中的项目替换变量、函数和类型的错误项和缺失项，得到正常执行的完整程序。候选代码知识图谱中的替换方法包括以下步骤：

(a).对骨架程序中的全局变量v，检查候选代码知识图谱中是否存在三元组<v,项,变量>，若不存在，则默认全局变量v的类型为字符串，若存在，则检查是否存在<v,归属,v1>，若存在，则将v1作为全局变量v的类型，否则，将字符串作为全局变量v的类型；检查候选代码知识图谱中是否存在三元组<v,缺省,v2>，若存在，则将v2作为全局变量v的缺省值。

(b).对骨架程序中的类型t，检查候选代码知识图谱中是否存在三元组<t,项,类>，或者存在t1，使得存在三元组<t1,项,类>和三元组<t1,别名,t>，若存在，将t改为t1。

(c).对于骨架程序中类型t1中的属性变量p，检查候选代码知识图谱中是否存在三元组<p,归属,p1>、<p,项,属性>、<p,缺省,p2>、<t1,包含,p>，若存在，则将p1作为属性变量p的类型，p2作为属性变量p的缺省值。

(d).对于骨架程序中类型t1中的函数f,检查候选知识图谱中是否存在三元组<f,项,函数>、<f,功能,f1>、<t1,包含,f>、<f,输入,fp₁^fp₂...^fp_Z>、<f,输出,f2>、<f2,归属,返回类型>、<fp₁,归属，fp_t1>,<fp₂,归属，fp_t2>、....或者<fp_z,归属，fp_tz>，若存在，则将f1作为函数f的功能说明，fp₁,fp₂...,fp_Z作为函数f的输入参数，fp₁,fp₂...,fp_Z对应的类型分别为fp_t1,fp_t2,...,fp_tz，f2作为函数f的输出类型。

实际操作如下：

图8和图9分别是代码图谱构建程序生成的代码知识图谱A和代码知识图谱B。

现有一段骨架程序：

type账号＝<id,账号,密码,有效期>；

type用户＝<姓名,电话>

Global账户库；

function login(账号,密码){}

对以上程序按照本发明方法构造骨架知识图谱，如图10所示。

骨架程序中没有给定id,账号,密码,有效期的类型和约束，没有给定姓名,联系电话的类型和约束，也没有给定用户库的类型，以及login的参数和结果类型。

对这些缺失的内容按照上述方法计算相似度，选取相似度大的图谱进行匹配，匹配相似度计算结果和修补内容如下表所示：

骨架修正后的程序如下：

type账号＝<id:整数,账号:字符串,密码:字符串,有效期:有效期>；

type用户＝<姓名:String,电话:String>

Global用户库:集合<用户>＝null；

function login(账号:字符串,密码:字符串):布尔{}

该程序是可以正常执行无报错的完整程序。

Claims (2)

1.一种基于知识图谱的程序自动修正方法，其特征在于：包括包括以下步骤：

S1.获取网络上开放的源代码，通过代码知识图谱构建程序对获取的源代码进行分析，生成代码知识图谱；

所述代码知识图谱为RDF三元组结构，RDF三元组结构由代码实体和代码关系组成，代码实体为程序设计语言的所有语法成份，代码关系包括引用、包含、项、归属、值、别名、功能、输入和输出；

所述代码知识图谱的组成规则包括以下步骤：

(1).令R为一个实体关系构成的三元组<e_l,r,e_r>，构成代码知识图谱的基本元件，其中，e_r为导出实体节点，e_l为导入实体节点，r为关系节点；

(2).令R₁＝<e_1l,r₁,e_1r>，R₂＝<e_1r,r₂,e_2r>，则R₁和R₂构成一个关系链复合图；

(3).令R₁＝<e_1l,r₁,e_1r>，R₂＝<r₁,r₂,e_2r>，则R₁和R₂构成一个关系过渡复合图；

(4).令R_i＝<e_l,r,e_ir>,则R＝<e_l,r,e_1r|e_2r|...|e_nr>构成一个动态导出节点复合图；若令R_i＝<e_il,r,e_r>,则R＝<e_1l|e_2l|...|e_nl,r,e_r>构成一个动态导入节点复合图；

(5).令R_i＝<e_l,r,eir>,则R＝<e_l,r,e_1r^e_2r^...^e_nr>构成一个超导出节点复合图；若令R_i＝<e_il,r,e_r>,则R＝<e_1l^e_2l^...^e_nl,r,e_r>构成一个超导入节点复合图；

(6).令R₁＝<e_1l,r₁,e_1r>,R2＝<e_2l,r₂,e_2r>，则R＝<R₁,r,R₂>构成一个超节点复合图；

代码知识图谱的生成方法包括以下步骤：

(1).取代码图谱构建程序中的包和命名空间，生成三元组为：<包名,项,包>；对于存在上下级关系的包名，生成三元组为：<上级包名,包含,下级包名^下级包名...^下级包名>；

(2).取代码图谱构建程序中的类名和类型部分,生成三元组<类名,项,类>；并根据类所在的包名生成三元组为：<包名,包含,类名>；

(3).取代码图谱构建程序中全局变量的名称、类型、初始值，分别生成三元组为：<变量名,归属,类型>、<变量名,项,变量>、<变量名,缺省,缺省值>；

(4).取代码图谱构建程序中属性变量的名称、类型、初始值、及其所属的类名，分成生成三元组为：<变量名,归属,类型>、<变量名,项,属性>、<变量名,缺省,缺省值>、<类名,包含,变量名>；

(5).取代码图谱构建程序中函数的名称、函数说明、类名、返回参数，分别生成三元组为：<函数名,项,函数>，<函数名,功能,函数说明>，<类名,包含,函数名>，<函数名,输入,传入参数1^传入参数2...>,<函数名,输出,返回说明>，<返回说明,归属,返回类型>，<传入参数名,归属，参数类型>；

(6).按照代码知识图谱的组成规则对每一个开放的源代码生成代码知识图谱；

(7).对任意一个代码知识图谱，规定其中任意一个三元组R到任意一个节点C的距离D＝e^-x,其中x为三元组R的三个节点到节点C所经过路径中三元组个数的最小值；

S2.编写允许出现缺失或者错误的骨架程序；

S3.通过代码补全程序对骨架程序进行分析，利用代码知识图谱对骨架程序进行修正和补充，得到正常执行的完整程序，具体为：

(1).将骨架程序构造成骨架知识图谱；

(2).在代码知识图谱中寻找与骨架知识图谱相似的子图，令{G₁,G₂,...,G_N}为所有代码知识图谱，T为骨架知识图谱，{C₁,C₂,...,C_M}为有缺失或者错误的变量、函数或者类型的名称，对每一个C_i,分别计算其与G_j的相似度S_ij；

相似度S_ij的计算方法包括以下步骤：

(a).初始化S_ij的值为0；

(b).在G_j中寻找是否有节点命名为C_i，若没有则记S_ij＝0，否则执行下一步；

(c).在G_j中查找所有包含G_j的三元组集，记为P_j，在T中查找所有包含C_i的三元组集，记为Q；

(d).令Y＝P_j∩Q，U＝Q-P_j∩Q，若Y为空集，则记S_ij＝0，否则对于Y中的每一个三元组Y_k，记

其中d_k为三元组Y_k到C_i的距离，对于U中的每一个三元组U_l，

其中f_l为三元组u_l到C_i的距离，S_ij＝D/(D+F)；

(3).对每一个C_i，选择与骨架知识图谱相似度S_ij最大的图谱作为候选代码知识图谱；

(4).对每一个C_i，用候选代码知识图谱中的项目替换变量、函数或者类型的错误项和缺失项，得到正常执行的完整程序；

候选代码知识图谱中的替换方法包括以下步骤：

(a).对骨架程序中的全局变量v，检查候选代码知识图谱中是否存在三元组<v,项,变量>，若不存在，则默认全局变量v的类型为字符串，若存在，则检查是否存在<v,归属,v1>，若存在，则将v1作为全局变量v的类型，否则，将字符串作为全局变量v的类型；检查候选代码知识图谱中是否存在三元组<v,缺省,v2>，若存在，则将v2作为全局变量v的缺省值；

(b).对骨架程序中的类型t，检查候选代码知识图谱中是否存在三元组<t,项,类>，或者存在t1，使得存在三元组<t1,项,类>和三元组<t1,别名,t>，若存在，将t改为t1；

(c).对于骨架程序中类型t1中的属性变量p，检查候选代码知识图谱中是否存在三元组<p,归属,p1>、<p,项,属性>、<p,缺省,p2>、<t1,包含,p>，若存在，则将p1作为属性变量p的类型，p2作为属性变量p的缺省值；

(d).对于骨架程序中类型t1中的函数f,检查候选知识图谱中是否存在三元组<f,项,函数>、<f,功能,f1>、<t1,包含,f>、<f,输入,fp₁^fp₂...^fp_Z>、<f,输出,f2>、<f2,归属,返回类型>、<fp₁,归属，fp_t1>,<fp₂,归属，fp_t2>、....或者<fp_z,归属，fp_tz>，若存在，则将f1作为函数f的功能说明，fp₁,fp₂...,fp_Z作为函数f的输入参数，fp₁,fp₂...,fp_Z对应的类型分别为fp_t1,fp_t2,...,fp_tz，f2作为函数f的输出类型。

2.根据权利要求1所述的一种基于知识图谱的程序自动修正方法，其特征在于：S2中，骨架程序的编写包括：

(1).定义全局变量：给定变量的名称；

(2).定义类型：给定类型的名称、属性的名称和函数的名称。

Images