Abstract: The mode to capability analysis and correctness verification of workflow process is divided in static inspection and dynamic simulation.Especially the paper studies several key problems in process simulation，setting up simulation enviroment，the algorithm for arranging events in a queue based on path coverage rule，analyzing simulation results.It adopts interactive and non-interactive means，employs white-box and black-box methods to test workflow process based on high coverage rate.And at last it gives expression to type，distribution and trend of process defects.

摘要： 对于工作流流程的能力分析以及正确性验证，其方式上可分为静态分析与动态仿真。论文侧重研究通过动态仿真手段对流程进行测试与分析，验证流程在合适的时间，由合适的资源做合适的事。针对仿真过程中的几个关键问题——设置仿真环境、基于路径覆盖准则的事件排队算法及仿真结果的统计分析做了较深入研究。仿真采用了交互式与非交互式两种手段，利用白盒与黑盒两种测试方法对被测流程进行高覆盖度仿真，并通过仿真结果反映缺陷的类型、分布与走势。