FMS运行控制软件调试环境排错功能的实现  

Debugging in Testing Environment of FMS Controller

作　　者：毕诸明[1] 李小宁[1] 朱岩[1] 黄新燕[1] 张雯[1] 姜浩[2] 

机构地区：[1]南京理工大学制造工程系,南京210094 [2]东南大学计算机系,南京210008

出　　处：《南京理工大学学报》1996年第2期136-138,共3页Journal of Nanjing University of Science and Technology

基　　金：国防科技预研行业重点攻关基金项目

摘　　要：FMS运行控制软件调试环境的主要职能是利用计算机模拟柔性制造系统环境．为FMS运行控制系统或单元控制器提供一种计算机辅助形式的调试和测试手段．其中，对FMS运行控制软件测试排错是FMS运控软件调试环境的基本功能之一。该文在Petri网（PN）理论基础上，在库所中引入结构，提出一种新的高级PN模型MPN（Macto Petri Net），这种模型对币同的FMS环境配置具有开放性．测试驱动下的运控指令序列转化为对应的MPN状态变迁，可应用PN理论实现对被测系统软件的测试排错。Testing environment for FMS control software is designed to provide a computeraided debugging and testing method by simulating running situation of FMS. It validates the functions and efficiency of FMS controller, detects and analyses errors hidden in the control software in order to help the softw are designer to elim inate them. Debugging is an important function of testing environment of FMS controller, the paper presents a new type of high level petri net MPN （Macro Petri Net）, it＇s model is more describable and popular than that of other high-level Petri Net and can been established corn puterically. When the control commands are translated into the transitions in MPN model, testing environment can perform testing and debugging for FMS controller by the theory of Petri net.

关 键 词：控制系统理论 计算机应用 应用程序 FMS 运行控制软件调试环境 排错功能 

分 类 号：TH165[机械工程—机械制造及自动化]