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