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

摘要：

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

关键词：并行测试调度、图染色理论、最大独立集、改进遗传算法

所属期刊栏目：20

分类号：TP206(自动化技术及设备)

资助基金：国家自然基金项目60771063

在线出版日期：2012-07-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1310-1314