一种控制程序的验证和测试方法及系统技术方案

本发明专利技术提供了一种控制程序的验证和测试方法，用以直接对工程语言编写的控制程序进行验证和测试，从而提高仿真效率以及准确度。该控制程序的验证和测试方法包括：分析步骤，对采用工程语言编写的第一控制程序进行语义分析，构建程序依赖图；转换步骤，根据所述程序依赖图，将所述第一控制程序转换为仿真模块所支持的采用通用的中间级语言表示的第二控制程序；以及仿真步骤，基于所述仿真模块对所述第二控程序进行仿真，以验证和测试所述第二控制程序的性能。本发明专利技术还提供了一种控制程序的验证和测试系统。

【技术实现步骤摘要】

本专利技术涉及自动控制领域，尤其涉及一种控制程序的验证和测试方法及系统。
技术介绍
随着自动化行业的迅速发展，自动化市场出现了越来越多的大型自动控制系统，以及越来越多的新技术或新设备。同时，随着自动化设备或系统的使用者提出的要求越来越多，控制系统所采用的控制算法的设计面临以下挑战:更多的针对不同方面的性能要求，例如，系统稳定性以及效率；新的技术或设备的引入对控制算法的复杂度要求更高；政府或工业系统指定的标准使得对控制算法的性能要求更高。目前，大部分自动控制系统的设计者在设计简单的控制算法时，完全凭借经验进行设计，而并不进行仿真验证，并且，对控制算法进行修改也是现场进行的。因此，尽管在开发阶段花费了大量的时间和精力，但是控制算法的性能却无法得到保证。在另一种设计方案中，控制策略开发者使用仿真工具或仿真平台(例如Matlab中的Simulink仿真平台)设计控制算法,通过仿真对控制算法的性能进行验证和测试。该设计方案中，进行仿真时是由虚拟的控制器模型结合其它的控制对象模型执行控制算法，控制算法是由仿真平台所支持的语言编写。而在实际控制系统(例如楼宇控制器)中所执行的是采用工程语言编写的本文档来自技高网...

【技术保护点】
一种控制程序的验证和测试方法，其特征在于，包括：分析步骤，对采用工程语言编写的第一控制程序进行语义分析，构建程序依赖图；转换步骤，根据所述程序依赖图，将所述第一控制程序转换为仿真模块所支持的采用通用的中间级语言表示的第二控制程序；以及仿真步骤，基于所述仿真模块对所述第二控制程序进行仿真，以验证和测试所述第二控制程序的性能。

【技术特征摘要】

【专利技术属性】
技术研发人员：龙飞，介鸣，潘莉，
申请(专利权)人：西门子公司，
类型：发明
国别省市：