摘要：提出采用赋时有色Petri网（TCP—net）对测试流程进行建模，用来优化自动测试系统的资源配置．给出了测试流程TCP—net模型的构建步骤；基于模型，给出了寻求测试流程最短测试用时的方法，并设计了求解最短测试用时下最小资源集的算法：基于空闲区匹配的最小资源集算法；通过给出一个应用实例，证明了上述方法的有效性和实用性．

关键词：自动测试 资源优化 赋时有色petri网 模型 算法 

单位：桂林空军学院航空兵参谋系 桂林541003 空军工程大学工程学院 西安710038