论文部分内容阅读
介绍了Hierarchy CPN的相关定义,然后对OpenFlow协议进行了基于时间着色CPN建模.在建模过程中,详细考虑了Token Colour的选取与相关变量的定义,并考虑了时间属性,针对建模的性能进行了分析.执行上述模型并进行验证分析,得出变迁发生次数与所需时间基本符合稳态分布这一事实,满足预期的要求.对所构建模型进行自定义查询分析,依据模型活性、死锁、可达性等特性构建相应的抽象路径,用于指导抽象测试例的生成.
Introduces the definition of Hierarchy CPN, and then based on OpenFlow time-colored CPN modeling.In the modeling process, the definition of Token Color selection and related variables are considered in detail, and time attributes are considered, Performance was analyzed.The implementation of the above model and verification analysis showed that the number of changes and the required time basically consistent with the steady-state distribution of this fact, to meet the expected requirements.Construct the query and analysis of the constructed model, based on model activity, Deadlock, reachability and other characteristics of the construction of the corresponding abstract path, used to guide the generation of abstract test cases.