A novel ATS design method based on formalization is presented, and ATS using parallel task scheduling algorithms is modeled with CPN.

• 提出了一种基于形式化方法的自动测试系统组建方法，建立了并行任务调度算法的自动测试系统有色Petri网模型。