摘要
提出采用赋时有色Petri网对测试流程进行建模,用来优化自动测试系统的资源配置。给出了测试流程TCP-net模型的构建步骤;基于模型,给出了寻求测试流程最短测试用时的方法;给出了弹性资源的定义以及在弹性资源条件下最小资源集求解算法和资源分配策略;通过给出一个应用实例,证明了上述方法的有效性和实用性。
Aiming at lack 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.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.The definition of flexible resource is given,algorithm for calculating the least resource set and strategy for configurating resource under flexible resource are also proposed.An example shows that these methods are validated and practical.
出处
《测控技术》
CSCD
北大核心
2010年第3期18-22,共5页
Measurement & Control Technology
关键词
测试系统
弹性资源
资源配置
赋时有色Petri网
Ai7
test system
flexible resource
resource reconfiguration
TCP-net
Ai7（analog integrated 7 sub-system）
