论文研究-一种增强的基于Petri网可达图的测试序列生成算法 .pdf

【文件属性】：

文件名称：论文研究-一种增强的基于Petri网可达图的测试序列生成算法 .pdf

文件大小：272KB

文件格式：PDF

更新时间：2022-09-05 08:32:31

协议工程

一种增强的基于Petri网可达图的测试序列生成算法，许德健，，Petri网（PN）是目前通信协议结构性测试中最常用的数学模型之一。在基于Petri网的测试序列生成算法中，通常要先构建被测模型的可达图