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

说明书

本发明公开了一种编译验证方法，该方法包括以下步骤：利用逻辑编辑器对预获取的目标逻辑程序进行预设次数的异步初始编译，得到各目标中间语言代码；分别为各目标中间语言代码分配相应的中间语言编译器；利用各中间语言编译器对相应的目标中间语言代码进行中间语言编译，得到各目标机器指令代码；判断各目标机器指令代码是否一致；若否，则输出编译失败提示信息。应用本发明所提供的编译验证方法，提升了复杂用户逻辑的可实现性，提高了组态软件的安全性。本发明还公开了一种编译验证装置、设备及存储介质，具有相应技术效果。

技术领域

本发明涉及计算机应用技术领域，特别是涉及一种编译验证方法、装置、设备及计算机可读存储介质。

背景技术

安全控制器作为功能安全级的产品，安全控制器的组态软件主要的功能是实现用户逻辑的编译和下装。目前，组态软件的编译和下装比较容易实现，但是针对安全控制器中T3安全级产品工具等级要求下的组态软件，除了支持编译和下装功能外，还需要有一套故障安全的机制对编译过程进行保护，以避免发生如软件bug和工控机硬件故障可能带来的危险故障。

现有的用户逻辑编译过程主要是通过采用“正编译+反编译”的机制来保证用户逻辑编译的正确性，该机制的实现过程包括：首先，用户在组态软件进行用户逻辑程序的编写(如FBD、LD、ST等逻辑编程语言)；其次，组态软件对用户逻辑程序进行编译并生成安全控制器可执行的机器代码，此过程即为“正编译”；再者，组态软件对“正编译”生成的机器代码进行逆向编译，生成用户逻辑语言，此过程即为“反编译”；最后，组态软件将用户初始编写的用户逻辑程序与进行“正编译+反编译”处理后的用户逻辑程序进行比对，比对的过程需要用户参与。如果比对一致，则进行用户逻辑程序下装的后续步骤。如果比对不一致，则编译过程出错，下装失败。

但是“正编译+反编译”的故障安全机制不支持ST逻辑编程语言，ST逻辑编程语言对于大型化工应用的复杂用户逻辑十分有效，由于不支持ST逻辑编程语言，导致安全控制器应用到大型化工现场时，复杂的用户逻辑可能不能实现。对用户初始编写的用户逻辑程序和反编译的用户逻辑程序的比较过程需要人工参与，对于稍微复杂的用户逻辑，人工比对会引入新的风险点，从功能安全角度并不是绝对的可靠，对组态软件的安全造成威胁。

综上所述，如何有效地解决现有的逻辑编译方式支持ST逻辑编程语言，易导致复杂的用户逻辑不能实现，威胁组态软件的安全性等问题，是目前本领域技术人员急需解决的问题。

发明内容

本发明的目的是提供一种编译验证方法，该方法提升了复杂用户逻辑的可实现性，提高了组态软件的安全性；本发明的另一目的是提供一种编译验证装置、设备及计算机可读存储介质。

为解决上述技术问题，本发明提供如下技术方案：

一种编译验证方法，包括：

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

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

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

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

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

在本发明的一种具体实施方式中，利用逻辑编辑器对预获取的目标逻辑程序进行预设次数的异步初始编译，包括：

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

在本发明的一种具体实施方式中，利用所述逻辑编辑器对所述目标逻辑程序进行双冗余异步初始编译，包括：

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