一种基于Petri网和AGA算法的测试系统死锁预防策略

摘要

在自动测试系统中,很多任务需要并行测试。测试过程比串行测试复杂,较容易出现死锁现象,因此提出一种基于Pe-tri网和自适应遗传算法(adaptive genetic algorithm)的死锁预防策略。在该策略中,首先为自动测试系统建立一个Petri网模型,然后将Petri网的状态方程作为约束条件,最后求出模型的发射序列即系统中无死锁的任务调度路径。Petri网的发射序列求解一直是NP问题,针对这种情况,引入自适应遗传算法对可行解空间进行全面的搜索,可得到所有无死锁的路径。最后,通过雷达接收机的并行测试例子,和启发式算法搜索进行对比,进一步体现了该死锁预防策略的优越性。