期刊文献+

柔性制造系统运行控制软件测试机理研究 被引量:2

Study on Testing Mechanism of FMS Control Software
下载PDF
导出
摘要 探讨FMS运行控制系统软件调试环境的建立问题。在研究离散事件动态系统软件测试机理过程中,提出宏Petri网(MPN)模型,这种网模型由于在库所和变迁中引入变量结构,使模型具有更大的描述性;基于FMS中基本事件类型建模,使建模过程通用化、程序化;讨论应用MPN实施对FMS运行控制软件测试纠错的一般过程。 Establishment of testing environment for FMS control software is discussed. According to the cha racteristics of control software of distributed event dy namic system (DEDS), macro Petri net (MPN) model is presented,in which variable structures are adopted in itsplaces and transitions,the model of a FMS is made more descriptive and concise. Based on the basic events of a FMS,the modelling procedure is programmable.Via the model of MPN,the process of testing and debugging FMS control software is provided.
出处 《中国机械工程》 CAS CSCD 北大核心 1995年第4期34-36,共3页 China Mechanical Engineering
基金 国防科工委科技预研基金
关键词 运行控制 软件测试 柔性制造系统 FMS running control software testing macro Petri net
  • 相关文献

同被引文献1

引证文献2

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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