王达
- 作品数：4 被引量：17H指数：2
- 供职机构：清华大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术交通运输工程轻工技术与工程更多>>
- PLC程序测试与验证的研究进展被引量：12
- 2011年
- 可编程逻辑控制器(PLC)是一种在工业领域应用非常广泛的控制装置。随着PLC程序的规模和复杂性不断增加,PLC程序测试与验证已成为一个具有挑战性的问题。该文分析了PLC程序测试与验证的困难。从验证与测试两个方面,分别介绍了该问题的研究现状。对于每一个方法,分别论述了其基本思路、优势与不足。最后,根据当前研究的现状,展望了PLC程序测试与验证技术未来的发展。综合分析来看,PLC程序测试与验证的现有方法都存在比较明显的局限性,有待深入研究。未来可能的新方向包括结构化测试以及不同测试方法的融合等。
- 赵千川王达薛文轩
- 关键词：PLC程序形式化方法
- 基于OPC的PLC程序自动化测试被引量：6
- 2011年
- 可编程逻辑控制器(PLC)是一种应用非常广泛的工业控制装置。随着PLC程序的规模和复杂性不断增加,研究PLC程序的自动化测试方法具有重要的意义。将高级语言程序自动化测试的思想引入PLC程序测试中,提出了一种基于OPC的PLC程序自动化测试框架。针对病房监护程序,搭建了一个自动化测试系统,验证了所提测试框架的可行性。最后,结合案例分析了PLC程序自动化测试的优势与可能遇到的困难。
- 王达赵千川马喜春
- 关键词：PLC程序自动化测试OPC
- 大学生方程式赛车发动机的涡轮增压匹配设计
- 本文总结了2011—2017 年吉林大学吉速方程式赛车队涡轮增压发动机的开发方法和技术经验.2011—2015 年针对CBR600RR 发动机进行涡轮增压器的匹配设计,2016 年后随规则和要求变化,改用气门重叠角更小的...
- 于港蒲靳雨萱杨港余俊勇王赛董晴王达宋传学
- 关键词：车辆工程方程式赛车发动机
- 一类工业控制软件测试与验证的几个关键问题研究
- 王达
- 关键词：工业控制软件PLC程序测试数据程序切片
