PLC软件测试方法研究

摘要：

本文介绍了PLC可编程控制器的特点和主要应用领域,对PLC软件的测试方法进行了探讨,就其形式化等价和验证方法进行了重点说明,对PLC软件的测试和质量控制具有一定的借鉴作用。

关键词： 软件测试 形式化方法 可编程控制器 质量控制

作者: 颜运强

作者单位: 中国工程物理研究院软件评测中心 四川 绵阳 621900

会议类型: 国内会议

会议名称: 四川省电子学会电子测量与仪器专委会第十四届学术年会

会议地点: 四川雅安

会议语种:中文

页码: 293-299

在线出版日期: 2009-10-01（万方平台首次上网日期，不代表论文的发表时间）