Petri网的功能.docx

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