柔性制造系统运行控制软件测试机理研究

Study on Testing Mechanism of FMS Control Software

探讨ＦＭＳ运行控制系统软件调试环境的建立问题。在研究离散事件动态系统软件测试机理过程中，提出宏Ｐｅｔｒｉ网（ＭＰＮ）模型，这种网模型由于在库所和变迁中引入变量结构，使模型具有更大的描述性；基于ＦＭＳ中基本事件类型建模，使建模过程通用化、程序化；讨论应用ＭＰＮ实施对ＦＭＳ运行控制软件测试纠错的一般过程。

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.