基于Petri-All-P-Uses的BGP4+可执行测试序列生成

Generation of BGP4+ Executable Test Sequence Based on Petri-All-P-Uses

首先介绍将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.