期刊文献+

基于nightly building的软PLC自动测试系统 被引量:1

Automatic Test System for Soft PLC Based on Nightly Building
下载PDF
导出
摘要 从每夜构建的思想出发,为凯奇数控设备成套有限公司自主研发的软PLC开发系统建立了一套自动测试系统,用来自动测试软PLC的所有元件功能的正确性。 Soft PLC is a new kind of technology and has many advantages compared with hard PLC. According to the idea of nightly building , a set of automatic test system is built for the soft PLC developed by CATCH to test the validity of soft PLC's elements function
出处 《制造技术与机床》 CSCD 北大核心 2005年第10期52-54,共3页 Manufacturing Technology & Machine Tool
关键词 软PLC 每夜构建 自动测试 仿真 状态流 自动测试系统 BUILDING 系统建立 自主研发 有限公司 Soft PLC Nightly Building Automatic Test Simulink Simulation Stateflow
  • 相关文献

参考文献2

共引文献50

同被引文献33

  • 1胡茂金,王宏文,张会红.基于IEC1131-3可编程序控制器离线调试软件包的实现[J].燕山大学学报,2001,25(z1):156-159. 被引量:1
  • 2范卫华,安连生,丁玮,幺开宇.MATLAB仿真的软PLC自动测试系统[J].中国测试技术,2006,32(2):117-119. 被引量:2
  • 3Geller D A. Programmable Controllers Using the Allen-Bradley SIC-500 Family [M]. 2 Ed. Upper Saddle River, NJ, USA: Pearson/Prentice Hall, 2004.
  • 4Petruzella F D. Programmable Logic Controllers [M]. 3 Ed. New York, USA: McGraw-Hill, 2004.
  • 5LogixS000 Controllers General Instructions Reference Manual. http://literature, rockwellautomation, corn/. 2009.
  • 6肖力田,顾明,孙家广.PLC嵌入式软件测试的适应性分析[C]//全国第18届计算机技术与应用学术会议(CACIS).宁波,中国,2007.
  • 7International Electro-Technical Commission (IEC). International Standard 61131-3 : Programmable Logic Controllers, Part 3 : Languages [S]. 1993.
  • 8Mohrenschildt M. Symbolic verification of hybrid systems: An algebraic approach [J]. European Journal of Control, 2001, 7(5) : 541 - 556.
  • 9Henzinger T A, Kopke P W, Puri A, et al. What's decidable about hybrid automata?[C]// Proc 27th Symposium on the Theory of Computing. Las Vegas, NV, USA, 1995.
  • 10Woodcock J, Larsen P G, Bicarregui J, et al. Formal methods: Practice and experience [J]. ACM Computing Surveys, 2009, 41 (4): 1-36.

引证文献1

二级引证文献11

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部