[发明专利]一种编译验证方法、装置、设备及计算机可读存储介质

权利要求书

1.一种编译验证方法，其特征在于，包括：

利用逻辑编辑器对预获取的目标逻辑程序进行预设次数的异步初始编译，得到各目标中间语言代码；

分别为各所述目标中间语言代码分配相应的中间语言编译器；

利用各所述中间语言编译器对相应的目标中间语言代码进行中间语言编译，得到各目标机器指令代码；

判断各所述目标机器指令代码是否一致；

若否，则输出编译失败提示信息。

2.根据权利要求1所述的编译验证方法，其特征在于，利用逻辑编辑器对预获取的目标逻辑程序进行预设次数的异步初始编译，包括：

利用所述逻辑编辑器对所述目标逻辑程序进行双冗余异步初始编译。

3.根据权利要求2所述的编译验证方法，其特征在于，利用所述逻辑编辑器对所述目标逻辑程序进行双冗余异步初始编译，包括：

利用所述逻辑编辑器对所述目标逻辑程序以程序组织单元POU为单位进行双冗余异步初始编译。

4.根据权利要求1至3所述的编译验证方法，其特征在于，分别为各所述目标中间语言代码分配相应的中间语言编译器，包括：

获取各类别的中间语言编译器，得到中间语言编译器集合；

将所述中间语言编译器集合中各所述中间语言编译器分配给各所述目标中间语言代码。

5.一种编译验证装置，其特征在于，包括：

初始编译模块，用于利用逻辑编辑器对预获取的目标逻辑程序进行预设次数的异步初始编译，得到各目标中间语言代码；

语言编译器分配模块，用于分别为各所述目标中间语言代码分配相应的中间语言编译器；

指令代码获得模块，用于利用各所述中间语言编译器对相应的目标中间语言代码进行中间语言编译，得到各目标机器指令代码；

判断模块，用于判断各所述目标机器指令代码是否一致；

信息输出模块，用于当确定各所述目标机器指令代码不一致时，输出编译失败提示信息。

6.根据权利要求5所述的编译验证装置，其特征在于，所述初始编译模块具体为利用所述逻辑编辑器对所述目标逻辑程序进行双冗余异步初始编译的模块。

7.根据权利要求6所述的编译验证装置，其特征在于，所述初始编译模块具体为利用所述逻辑编辑器对所述目标逻辑程序以程序组织单元POU为单位进行双冗余异步初始编译的模块。

8.根据权利要求5至7所述的编译验证装置，其特征在于，所述语言编译器分配模块包括：

编译器集合获得子模块，用于获取各类别的中间语言编译器，得到中间语言编译器集合；

语言编译器分配子模块，用于将所述中间语言编译器集合中各所述中间语言编译器分配给各所述目标中间语言代码。

9.一种编译验证设备，其特征在于，包括：

存储器，用于存储计算机程序；

处理器，用于执行所述计算机程序时实现如权利要求1至4任一项所述编译验证方法的步骤。

10.一种计算机可读存储介质，其特征在于，所述计算机可读存储介质上存储有计算机程序，所述计算机程序被处理器执行时实现如权利要求1至4任一项所述编译验证方法的步骤。