摘要：近年来，工作流技术越来越多的应用于软件程序中，与之相关的新工作流语言以及工作流引擎也得到了快速的发展；但是，目前辅助工作流应用软件的测试方法仍显不足，特别是工作流引擎测试方面还存在着严重的局限性；为此，提出了基于模型测试的方法对工作流引擎进行测试，此外，还引入了抽象测试框架的概念，将其应用到工作流的测试上，它能够为工作流引擎构建测试环境和测试套件；最后，在Cum-bia平台上搭建的一个工作流引擎上进行应用，说明了基于模型的测试方法和抽象测试框架可以有效应用于工作流引擎的测试。