基于时间Petri网的并行测试研究

摘要	第1-6页
ABSTRACT	第6-10页
第一章 绪论	第10-15页
·课题的背景和研究意义	第10-11页
·国内外研究现状	第11-14页
·本课题研究任务和创新点	第14页
·本论文的结构安排	第14-15页
第二章 Petri 网和时间 Petri 网	第15-27页
·基本的 Petri 网	第15-21页
·Petri 网的基本概念	第15-17页
·Petri 网中事件间的基本关系	第17-19页
·Petri 网的动态性质	第19-21页
·时间 Petri 网	第21-25页
·时间 Petri 网及其变迁序列	第22-23页
·时间 Petri 网的分类及应用	第23-25页
·时间 Petri 网的约简技术	第25-27页
第三章 时间 Petri 网并行测试模型	第27-42页
·并行测试基本概念	第27-30页
·并行测试的任务分解	第30-31页
·并行测试系统和被测对象的特征分析	第30-31页
·测试任务分解的原则和方法	第31页
·基于时间 Petri 网的并行测试建模	第31-36页
·任务图	第32-33页
·基于时间 Petri 网的并行测试建模方法	第33-36页
·时间 Petri 网并行测试建模示例	第36-40页
·时间 Petri 网并行测试模型分析	第40-42页
第四章 时间 Petri 网变迁序列求解算法	第42-50页
·遗传—蚁群算法	第42-44页
·遗传算法简介	第42-43页
·蚁群算法简介	第43页
·遗传算法与蚁群算法的融合	第43-44页
·基于遗传—蚁群算法的变迁序列求解算法	第44-48页
·算法设计	第44-46页
·算法执行过程	第46-48页
·仿真实验	第48-50页
第五章 结论与展望	第50-52页
·总结	第50-51页
·进一步的工作及展望	第51-52页
参考文献	第52-58页
致谢	第58-59页
附录 A（攻读硕士学位期间发表论文目录）	第59页