摘要:在自动测试系统中,很多任务需要并行测试。测试过程比串行测试复杂,较容易出现死锁现象,因此提出一种基于Petri网和自适应遗传算法(adaptive genetic algorithm)的死锁预防策略。在该策略中,首先为自动测试系统建立一个Petri网模型,然后将Petri网的状态方程作为约束条件,最后求出模型的发射序列即系统中无死锁的任务调度路径。Petri网的发射序列求解一直是NP问题,针对这种情况,引入自适应遗传算法对可行解空间进行全面的搜索,可得到所有无死锁的路径。最后,通过雷达接收机的并行测试例子,和启发式算法搜索进行对比,进一步体现了该死锁预防策略的优越性。
关键词:自动测试系统 并行测试 死锁 petri网 自适应遗传算法
单位:电子科技大学自动化工程学院 成都610054
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社