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

Modeling Research of Automated Test System Based on Timed Petri Net

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

A method for modeling automated test system using Petri net （TPN） is presented. It can realize the optimization of test sequence and reduce the complexity of calculation, by searching the Reachability tree of system in heuristic algorithm. And, the satisfying collateral level is got and the test efficiency of automated test system is improved by adopting the optimization algorithm.