并行测试是针对串行测试的不足而发展起来的一门技术,是自动测试领域的一个重要研究内容,由于其测试效率高,测试成本低等优点,在国民经济建设中发挥着日益重要的作用。并行测试的建模是研究并行测试技术的重要内容,但与传统的串行测试相比,并行测试的建模具有一定的复杂性。着色Petri网是一种图形化的形式化语言表示法,该方法采用具有形式语义的图形语言,易于理解,是一种通用的系统确定表示法。鉴于着色Petri网具有很好的解决并行测试中的异步、并发模型的特点,因此选择着色Petri网作为并行测试的建模方法。本文的主要内容包括以下几个方面:首先,本文研究了着色Petri网和并行调度理论,研究了着色Petri网的并行调度建模方法,并针对并行测试任务调度问题分别运用蚁群算法和TaskScheduler算法进行设计,特别在蚁群算法设计当中,给出了并行测试任务调度问题的数学模型。设计了诱导函数和状态转移概率的计算公式,采用动态标注方法在搜索过程中加大可行解间的信息素差别,避免了算法早熟。其次,本文在原有着色Petri网模型分析验证方法基础之上,在可达性验证方法方面进行了一定研究,实现了可达树的数据结构和模拟算法,给出了并行调度可达树生成方法。在线性代数方法方面也进行了一定探索,针对并行调度问题实现了线性代数算法。再次,采用面向对象的方法在Visual C++ 6.0环境下设计开发了基于着色Petri网的建模与调度工具,作为计算机辅助设计和分析工具,用户可以根据需求通过鼠标拖拽绘制模型图并对各元素进行编辑,绘制编辑完模型后可进行动态模拟仿真,自动分析生成可达标识集、可达树。最后,基于一实例运用TaskScheduler算法设计了并行调度序列,对生成序列进行了详细分析然后建立了着色Petri网模型,建立的模型运用线性代数方法和可达性方法进行分析验证,运用建模工具对实例进行建模、模拟仿真和分析,根据分析结果得到新序列与TaskScheduler算法生成的序列进行测试任务覆盖率和测试时间对比。