基于时间Petri网的并行测试任务过程建模及验证技术研究

作者：吕晓明; 黄考利; 连光耀

来源：计算机测量与控制, 2012, (05): 1310-1314.

• 并行测试调度
• 图染色理论
• 最大独立集
• 改进遗传算法 parallel test scheduling
• graph coloring theory
• max independent set
• improved genetic algorithm

为满足复杂装备中某些关键系统的实时测试与诊断需求,在测试性设计过程中开展并行测试调度优化研究;针对测试任务之间关联关系复杂的实际情况,通过建立基于图染色理论的测试任务关系模型,实现了对系统资源冲突、死锁等问题的形式化描述,将并行测试调度优化转化为求解图的色数问题;并在求解图的色数问题过程中,利用改进的遗传算法逐步求解图的最大独立集,即可并行测试的测试任务子集,从而获得并行测试调度方案;最后,利用某实例对文章提出的并行测试任务调度建模及优化方法进行了验证,优化效果明显,证实了该方法对解决并行测试调度优化问题的有效性。

• 单位
  中国人民解放军陆军工程大学