摘要
首先介绍将BGP4+的互连行为FSM模型转换为Petri网,然后基于Petri网给出数据流标准Petri-All-P-Uses的定义,并将该标准运用到Petri网模型上,最后对BGP4+的Petri网模型直接进行可执行测试序列的自动生成,同时给出生成算法。
Introduces the FSM of inter connection behavior of BGP4+ and converts to Petri net.And defines the data flow criterion Petri-All-P-Uses based on Petri net.After applying this criterion to the Petri net model,directly generates the executable test sequence and presents the algorithm simultaneously.
出处
《现代计算机》
2011年第3期19-23,共5页
Modern Computer