基于赋时Petri网的自动测试系统建模

提出了利用赋时Petri网(TimedPetriNet)对自动测试系统建模和性能分析的方法.采用启发式算法,对系统的可达树进行搜索,实现测试序列的优化,不仅降低了计算的复杂度,而且获得了满意的并行度,提高了自动测试系统的测试效率.