[发明专利]一种控制程序的验证和测试方法及系统有效
| 申请号： | 201110332600.4 | 申请日： | 2011-10-27 |
| 公开（公告）号： | CN103092747A | 公开（公告）日： | 2013-05-08 |
| 发明（设计）人： | 龙飞;介鸣;潘莉 | 申请（专利权）人： | 西门子公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 北京康信知识产权代理有限责任公司 11240 | 代理人： | 李慧 |
| 地址： | 德国*** | 国省代码： | 德国;DE |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供了一种控制程序的验证和测试方法，用以直接对工程语言编写的控制程序进行验证和测试，从而提高仿真效率以及准确度。该控制程序的验证和测试方法包括：分析步骤，对采用工程语言编写的第一控制程序进行语义分析，构建程序依赖图；转换步骤，根据所述程序依赖图，将所述第一控制程序转换为仿真模块所支持的采用通用的中间级语言表示的第二控制程序；以及仿真步骤，基于所述仿真模块对所述第二控程序进行仿真，以验证和测试所述第二控制程序的性能。本发明还提供了一种控制程序的验证和测试系统。 | ||
| 搜索关键词： | 一种 控制程序 验证 测试 方法 系统 | ||
【主权项】：
一种控制程序的验证和测试方法，其特征在于，包括：分析步骤，对采用工程语言编写的第一控制程序进行语义分析，构建程序依赖图；转换步骤，根据所述程序依赖图，将所述第一控制程序转换为仿真模块所支持的采用通用的中间级语言表示的第二控制程序；以及仿真步骤，基于所述仿真模块对所述第二控制程序进行仿真，以验证和测试所述第二控制程序的性能。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于西门子公司，未经西门子公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201110332600.4/，转载请声明来源钻瓜专利网。
