[发明专利]一种面向PLC程序的自动化测试用例生成方法在审
| 申请号： | 201910718485.0 | 申请日： | 2019-08-05 |
| 公开（公告）号： | CN110515840A | 公开（公告）日： | 2019-11-29 |
| 发明（设计）人： | 史建琦;黄滟鸿;郭欣;石奇;郝丽;佘庆 | 申请（专利权）人： | 华东师范大学;上海丰蕾信息科技有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 11619 北京辰权知识产权代理有限公司 | 代理人： | 刘广达<国际申请>=<国际公布>=<进入 |
| 地址： | 200062 上*** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种面向PLC程序的自动化测试用例生成方法，包括：将PLC源程序转换为等价的C语言程序；根据所述PLC源程序的周期执行语义，对所述C语言程序进行建模；将建模后的C语言程序作为输入，利用C语言的符号执行工具生成测试用例集。本发明实施例提供的方法，将PLC语言程序转换为C语言程序，借用C语言的丰富的成熟的工具，能够有效地处理这些程序，生成高质量的测试用例集，充分体现出自动化测试的成本低、效率高等优势，特别是在规模庞大的、功能复杂的工控系统上，该方法能够发挥积极作用。 | ||
| 搜索关键词： | 测试用例集 自动化测试 建模 语义 符号执行 工具生成 工控系统 积极作用 用例生成 语言程序 周期执行 有效地 转换 等价 借用 成熟 | ||
【主权项】：
1.一种面向PLC程序的自动化测试用例生成方法，其特征在于，包括：/n将PLC源程序转换为等价的C语言程序；/n根据所述PLC源程序的周期执行语义，对所述C语言程序进行建模；/n将建模后的C语言程序作为输入，利用C语言的符号执行工具生成测试用例集。/n
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华东师范大学;上海丰蕾信息科技有限公司，未经华东师范大学;上海丰蕾信息科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201910718485.0/，转载请声明来源钻瓜专利网。
