高技术通讯
高技術通訊
고기술통신
HIGH TECHNOLOGY LETTERS
1998年
2期
24-27
,共4页
FMS%软件测试%Petri网%排错
FMS%軟件測試%Petri網%排錯
FMS%연건측시%Petri망%배착
建立了用于FMS运行控制系统开发和测试的环境.在Petri网(PN)的库所中引入结构构成宏Petri网(MPN),将测试驱动下的运控指令序列转化为对应的MPN状态变迁,应用PN理论实现对被测系统软件的测试排错.
建立瞭用于FMS運行控製繫統開髮和測試的環境.在Petri網(PN)的庫所中引入結構構成宏Petri網(MPN),將測試驅動下的運控指令序列轉化為對應的MPN狀態變遷,應用PN理論實現對被測繫統軟件的測試排錯.
건립료용우FMS운행공제계통개발화측시적배경.재Petri망(PN)적고소중인입결구구성굉Petri망(MPN),장측시구동하적운공지령서렬전화위대응적MPN상태변천,응용PN이론실현대피측계통연건적측시배착.