摘要
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.
出处
《南京理工大学学报》
CAS
CSCD
1996年第2期136-138,共3页
Journal of Nanjing University of Science and Technology
基金
国防科技预研行业重点攻关基金项目