[发明专利]一种控制程序的验证和测试方法及系统

权利要求书

1.一种控制程序的验证和测试方法，其特征在于，包括：

分析步骤，对采用工程语言编写的第一控制程序进行语义分析，构建程序依赖图；

转换步骤，根据所述程序依赖图，将所述第一控制程序转换为仿真模块所支持的采用通用的中间级语言表示的第二控制程序；以及

仿真步骤，基于所述仿真模块对所述第二控制程序进行仿真，以验证和测试所述第二控制程序的性能。

2.如权利要求1所述的方法，其中，所述分析步骤包括：

逐行分析所述第一控制程序中的操作码和操作数，得到符号表、语法树、控制流图以及基本程序块的集合；

根据所述符号表、语法树和控制流图识别所述基本程序块之间的数据依赖关系和控制依赖关系；以及

根据所述数据依赖关系和控制依赖关系构建所述程序依赖图。

3.如权利要求2所述的方法，其中，所述转换步骤包括：

复制预定义的中间级语言的源文件和头文件；

根据所述基本程序块的集合进行中间级语言函数的转换；

根据所述程序依赖图生成条件控制语句或流控制语句；以及

将所述第一控制程序逐条语句转换为中间级语言代码。

4.如权利要求3所述的方法，其中，将所述第一控制程序逐条语句转换为中间级语言代码后，将转换后的中间级语言代码组织为具有标准接口的软件模块。

5.如权利要求1所述的方法，其中，所述中间级语言为C语言、C++语言或Java语言中任一。

6.如权利要求1-5任一项所述的方法，其中，所述工程语言符合国际电工委员会IEC制定的工业控制编程语言标准IEC61131-3。

7.如权利要求1所述的方法，其中，所述仿真模块为Matlab、Trnsys或Mathematica中任一。

8.一种控制程序的验证和测试系统，其特征在于，包括：

分析模块，用于对采用工程语言编写的第一控制程序进行语义分析，构建程序依赖图；

转换模块，用于根据所述程序依赖图，将所述第一控制程序转换为仿真模块所支持的采用通用的中间级语言表示的第二控制程序；以及

仿真模块，用于对所述第二控制程序进行仿真，以验证和测试所述第二控制程序的性能。

9.如权利要求8所述的系统，其中，所述分析模块具体用于逐行分析所述第一控制程序中的操作码和操作数，得到符号表、语法树、控制流图以及基本程序块的集合，根据所述符号表、语法树和控制流图识别所述基本程序块之间的数据依赖关系和控制依赖关系，并根据所述数据依赖关系和控制依赖关系构建所述程序依赖图。

10.如权利要求9所述的系统，其中，所述转换模块具体用于：复制预定义的中间级语言的源文件和头文件，根据所述基本程序块的集合进行中间级语言函数的转换，根据所述程序依赖图生成条件控制语句或流控制语句，以及将所述第一控制程序逐条语句转换为中间级语言代码。

11.如权利要求10所述的系统，其中，所述转换模块还用于在转换后的中间级语言代码组织为具有标准接口的软件模块。

12.如权利要求8所述的系统，其中，所述中间级语言为C语言、C++语言或Java语言中任一。

13.如权利要求8-12任一项所述的系统，其中，所述工程语言符合国际电工委员会IEC制定的工业控制编程语言标准IEC61131-3。

14.如权利要求8所述的系统，其中，所述仿真模块为Matlab、Trnsys或Mathematica中任一。