基于UML和工作流Petri网的LDP协议一致性测试

摘要	第1-6页
ABSTRACT	第6-8页
目录	第8-10页
图表目录	第10-12页
第一章 引言	第12-18页
·一致性协议测试研究背景	第12页
·协议一致性测试方法	第12-15页
·一致性协议测试发展	第15-16页
·论文主要工作	第16-17页
·论文结构组织	第17-18页
第二章 LDP协议简介	第18-22页
·MPLS技术简介	第18-19页
·LDP协议简介	第19-22页
第三章 相关概念简介	第22-31页
·工作流Petri网	第22-29页
·Petri网简介	第22-24页
·工作流Petri网	第24页
·工作流Petri网的表示方法	第24-26页
·工作流Petri网相关性质	第26-27页
·工作流Petri网的研究历史	第27-29页
·UML建模语言	第29页
·建模工具介绍	第29-31页
第四章 建立LDP协议工作流Petri网模型	第31-47页
·UML模型设计思路	第31-33页
·建立工作流Petri网模型	第33-39页
·LDP协议的抽象测试例生成	第39-45页
·LDP协议的可执行测试例生成	第45-47页
第五章 LDP协议测试执行	第47-54页
·设备性能简介	第47-48页
·LDP协议一致性测试及数据分析	第48-54页
第六章 结论与展望	第54-55页
·结论	第54页
·未来工作展望	第54-55页
参考文献	第55-59页
致谢	第59-60页
攻读硕士期间发表论文	第60页