Petri网的功能.docxVIP

长沙理工大学 硕士学位论文 基于时间Petri网的并行测试研究 姓名：肖良清 申请学位级别：硕士 专业：计算机软件与理论 指导教师：乐晓波 摘 并行测试技术是ＡＴＳ（Ａｕｔｏ 要 Ｔｅｓｔ Ｓｙｓｔｅｍ）在进一步降低测试的时间、 削减测试的成本的趋势下新兴的一项技术，它正以不可比拟的优势成为 下～代ＡＴＳ发展的热点。在运用并行测试技术时，要求分析系统执行过 程中可能产生的冲突和竞争情况，特别是如何生成并行测试序列一直是 一个复杂的、难于优化的ＮＰ难题。Ｐｅｔｒｉ网作为一种图形化建模工具， 可以很直观的表示系统并发、异步等系统常见现象，而引入时间Ｐｅｔｒｉ网， 可以更便捷地描述实时系统。因此，进一步发展并行测试技术理论和拓 宽并行测试应用领域的关键在于：如何建立准确、可靠的并行测试时间 Ｐｅｔｒｉ网模型，并在所建模型的??础上，探讨并行测试的任务调度算法。 本文在探讨时间Ｐｅｔｒｉ网构建过程中的约简步骤，并深入分析现今并 行测试任务模型不足的基础上，提出了一种基于时间Ｐｅｔｒｉ网的并行测试 建模方法。为说明该方法的应用步骤，选用一雷达接收机的实例建立相 应的时间Ｐｅｔｒｉ网，并对其进行了动态性质分析。在此基础上，详细研究 了群智能的各类优化算法，结合时间Ｐｅｔｒｉ网的特点和现有并行调度算法 的局限，提出了一种基于遗传一蚁群算法的时间Ｐｅｔｒｉ网变迁序列求解算 法