检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]南京理工大学机械制造系
出 处:《高技术通讯》1998年第2期24-27,共4页Chinese High Technology Letters
基 金:国防科技预研跨行业综合技术项目
摘 要:建立了用于FMS运行控制系统开发和测试的环境。在Petri网(PN)的库所中引入结构构成宏Petri网(MPN),将测试驱动下的运控指令序列转化为对应的MPN状态变迁,应用PN理论实现对被测系统软件的测试排错。In this paper the architecture of testing environment for FMS control software is developed, the testing mechanism is described, and the method for testing and debugging the FMS control software is presented.
分 类 号:TH165[机械工程—机械制造及自动化]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.117