论文部分内容阅读
并行测试技术对推动科学的发展起着重要作用，如今科学技术的发展和工程问题的解决都离不开并行处理技术。传统的串行测试方法和串行任务调度方法日益体现出了它的局限性。文中将并行测试调度与建模方法作为主要研究内容，以并行任务调度算法为基础，依据有色petri网的建模理论与方法，建立了基于实例的并行测试系统有色Petri网模型，用有色Pe们网的可达树方法分析验证所建立模型的有界性、活性、公平性。验证结果证明了所建模型的正确性，解决了并行测试建模难的问题，提出了一种新的对复杂系统的建模方法。