[1]姜浩,毕诸明,朱岩.FMS运行控制系统的建模方法及测试机理[J].东南大学学报(自然科学版),1997,27(1):16-21.[doi:10.3969/j.issn.1001-0505.1997.01.004]
 [J].Journal of Southeast University (Natural Science Edition),1997,27(1):16-21.[doi:10.3969/j.issn.1001-0505.1997.01.004]
点击复制

FMS运行控制系统的建模方法及测试机理()
分享到:

《东南大学学报(自然科学版)》[ISSN:1001-0505/CN:32-1178/N]

卷:
27
期数:
1997年第1期
页码:
16-21
栏目:
计算机科学与工程
出版日期:
1997-01-20

文章信息/Info

作者:
姜浩毕诸明朱岩
东南大学计算机科学与工程系; 南京理工大学503教研室
关键词:
柔性制造系统 软件工具 测试 Petri网
分类号:
TP391.73
DOI:
10.3969/j.issn.1001-0505.1997.01.004
摘要:
本文着重讨论了FMS运控软件调试环境系统中被测对象的建模问题,提出了一种基于Petri网理论的宏Petri网(MPN)模型,介绍了其特点及建模方法,最后给出了使用该模型对被测系统进行测试排错的全过程.

相似文献/References:

[1]程正潮,沈军,任国林.FDPE:一个支持二阶段软件模型的CASE环境[J].东南大学学报(自然科学版),1993,23(1):100.[doi:10.3969/j.issn.1001-0505.1993.01.014]
 Cheng Zhengchao,Shen Jun,Ren Guolin,et al.A CASE Environment for Supporting 2-Stage Software Model[J].Journal of Southeast University (Natural Science Edition),1993,23(1):100.[doi:10.3969/j.issn.1001-0505.1993.01.014]
[2]姜浩,毕诸明,朱岩.FMS运控软件的死锁问题及其检测方法[J].东南大学学报(自然科学版),1997,27(1):11.[doi:10.3969/j.issn.1001-0505.1997.01.003]
 [J].Journal of Southeast University (Natural Science Edition),1997,27(1):11.[doi:10.3969/j.issn.1001-0505.1997.01.003]

备注/Memo

备注/Memo:
国防科工委“FMS运控软件调试环境系统”项目资助
更新日期/Last Update: 2013-04-13