论文部分内容阅读
提高自动测试系统的性能是当前测试领域的一个重要研究内容。随着测试设备和测试方法的发展，传统的自动测试系统串行任务调度和系统组建方法已成为限制系统性能的瓶颈。近年来，国内外学术界已开始进行自动测试系统并行任务调度以及自动测试系统组建方法的研究，并取得了初步成果。本论文对自动测试系统的并行任务调度及自动测试系统Petri网建模中的若干重要问题进行了深入、系统地研究，提出了两种并行任务调度算法和相应的自动测试系统有色Petri网模型，并结合实际研究课题，对雷达接收机自动测试系统的任务调度和设计验证进行了理论研究和实验分析，得到了有价值的成果。本文的主要内容与创新包括以下几个方面:1. 深入研究了并行任务调度原理，研究了并行调度中的数据相关、控制相关和资源相关问题。在此基础上，提出了各项任务测试时间未知情况下的TaskScheduler算法和各项任务测试时间已知情况下的TaskScheduler-T算法，证明了算法能够自动生成并行度最高和总测试时间最短的任务序列。仿真实验表明，基于TaskScheduler和TaskScheduler-T算法的自动测试系统能有效提高资源利用率，显著缩短总测试时间。2. 提出了一种基于形式化方法的自动测试系统组建方法，建立了并行任务调度算法的自动测试系统有色Petri网模型。由于可以用有色Petri网的分析技术验证自动测试系统的有色Petri网模型性质，从而使得系统设计的正确性从系统组建的初期得到保证。3. 将可达树和线性代数方法应用到自动测试系统有色Petri网模型的性质验证中，证明了采用TaskScheduler和TaskScheduler-T算法的自动测试系统具备有界性、活性、公平性、持久性、守恒性、结构有界性和结构守恒性等重要性质，从而验证了TaskScheduler和TaskScheduler-T算法的正确性。结合某型雷达自动测试系统研制课题，为雷达接收机建立了TaskScheduler-T算法的自动测试系统有色Petri网模型，仿真实验结果表<WP=6>4. 明所提出的系统能够提高测试效率，具有重要的实用价值。本文所有的算法和分析结果均已在计算机上实现，仿真结果验证了并行任务调度算法的正确性和优越性。