[发明专利]图形组态语言转换方法及装置

说明书

技术领域

本发明涉及数据处理技术领域，尤其涉及一种图形组态语言转换方法及装置。

背景技术

在工业控制的分散控制系统(Distributed Control System，DCS)中，图形组态软件代码生成工具是一种将用户组态自动生成对应嵌入式所需代码的软件工具。DCS对图形组态软件代码生成工具的性能和可靠性要求较高。尤其是在核电行业，对软件的质量要求更为严格。

在核电仪控系统中，图形组态软件代码生成工具是一种将用户组态自动生成对应嵌入式所需代码的软件工具。核电系统对图形组态软件代码生成工具的基本要求高性能和高可靠性，虽然对图形组态软件代码生成工具采用了单元测试、集成调试等多种测试手段但是软件工具本身正确性仍然难以得到有效验证，产品质量存很大隐患。特别是在核电行业，对软件的质量的要求更为严格，如何保证图形组态软件代码生成工具正确性就成为摆在所有核电仪控提供商面前的共性问题。

目前，通常采用单元测试、集成调试等多种测试手段来保证图形组态软件代码生成工具本身的正确性。

而目前核电领域常见的嵌入式设备图形组态软件代码生成工具保证软件正确性的方式，只是通过传统测试手段保证图形组态生成代码的质量。这就有一个无法避免的问题就是如何保证软件开发工具本身的正确性和质量，如果代码生成工具的质量得不到保证其在转换生成代码过程中很有可能生成不安全的目标代码。

例如，法国爱斯特尔公司的SCADE KCG虽是一款用于高安全系统算法组态的代码生成器，是工业控制的DCS中常见的嵌入式设备图形组态软件代码生成工具，但其保证软件正确性的方式只是通过仿真手段保证图形组态生成代码的质量，而且其是根据航空DO-178B标准而开发。

然而，即使通过上述现有方式，图形组态软件代码生成工具本身的正确性以及生成的代码的质量均得不到保证，在我国核安全级仪控领域应用需要做大量的代码验证工作，工程实施的工作量非常大。

发明内容

本发明的目的在于，提供一种图形组态语言转换方法及装置，以实现由图形组态源语言转换为目标语言的程序代码，从而保证了图形组态软件代码生成工具本身的正确性以及生成的代码的质量。

根据本发明的一方面，提供一种图形组态语言转换方法。所述方法包括：获取图形组态源语言，所述图形组态源语言包括M个图形组态对象的信息，以及所述M个图形组态对象之间的关系的信息；根据所述M个图形组态对象之间的关系的信息确定所述M个图形组态对象之间的层次关系；按照所述层次关系，依次确定对应的N个图形组态语言层以及每个图形组态语言层对应的图形组态对象；依次对所述N个图形组态语言层各自对应的图形组态对象进行语言转换，并对转换过程及结果进行正确性验证；若每个所述图形组态语言层的转换过程及结果均通过所述正确性验证，则根据所述转换结果将图形组态源语言翻译为目标语言的程序代码；其中，M≥1，N≥1，M≥N，且M和N均为整数。

优选地，所述按照所述层次关系，依次确定对应的N个图形组态语言层以及每个图形组态语言层对应的图形组态对象包括：根据所述层次关系确定作为父对象的图形组态对象，以及作为各级子对象的图形组态对象；分别建立与所述作为父对象的图形组态对象相应的一个图形组态语言层，以及与所述各级子对象的图形组态对象相应的N-1个图形组态语言层。

优选地，所述对转换过程及结果进行正确性验证包括：根据所述M个图形组态对象的信息，依次判断每个所述图形组态语言层对应的图形组态对象是否正确。

优选地，所述依次对所述N个图形组态语言层各自对应的图形组态对象进行语言转换包括：依次对所述N个图形组态语言层各自对应的图形组态对象进行基本图形元素拆分。

优选地，所述根据所述转换结果将图形组态源语言翻译为目标语言的程序代码包括：根据拆分得到的基本图形元素对所述N个图形组态语言层各自对应的图形组态对象进行代码绘制，获得目标语言的程序代码。

优选地，所述方法还包括：若任一所述图形组态语言层的转换过程及结果未通过所述正确性验证，则提示表征转换过程及结果错误的第一报错信息；接收修改结果，并在所述修改结果通过所述正确性验证之后，进行所述任一图形组态语言层的后续图形组态语言层的语言转换处理。

优选地，所述方法还包括：对所述目标语言的程序代码进行验证；若验证结果为所述目标语言的程序代码正确，则输出所述目标语言的程序代码。