基于赋时有色Petri网的测试系统资源优化方法  

Method of resource optimization for test system based on timed coloured Petri-net

作　　者：付新华[1] 罗护[1] 肖明清[2] 

机构地区：[1]桂林空军学院航空兵参谋系,桂林541003 [2]空军工程大学工程学院,西安710038

出　　处：《系统工程理论与实践》2010年第9期1672-1678,共7页Systems Engineering-Theory & Practice

基　　金：军队"十一五"重点预研项目(51317030103)

摘　　要：提出采用赋时有色Petri网(TCP-net)对测试流程进行建模,用来优化自动测试系统的资源配置.给出了测试流程TCP-net模型的构建步骤;基于模型,给出了寻求测试流程最短测试用时的方法,并设计了求解最短测试用时下最小资源集的算法:基于空闲区匹配的最小资源集算法;通过给出一个应用实例,证明了上述方法的有效性和实用性.Aiming at lacks of theoretical guidance and mathematical verification during the process of configurating resource for automatic test system, an approach of modeling test flow is proposed using Timed Coloured Petri-Net （TCP-net）. The steps to build TCP-net model of test flow are given. Based on the model, method of seeking the least test time of test flow is designed and a kind of algorithm is put forward to calculate the least resource set under the least test time： algorithm based on idle time interzone matching. An example shows that these methods are validated and practical.

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

分 类 号：TP206.1[自动化与计算机技术—检测技术与自动化装置]