摘要
提出采用赋时有色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.
出处
《系统工程理论与实践》
EI
CSSCI
CSCD
北大核心
2010年第9期1672-1678,共7页
Systems Engineering-Theory & Practice
基金
军队"十一五"重点预研项目(51317030103)