汪祎然，张树东

(首都师范大学 信息工程学院，北京 100048)



基于模型的测试在工作流应用程序中的研究

汪祎然，张树东

(首都师范大学 信息工程学院，北京 100048)

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

基于模型的测试；工作流测试；基于跟踪执行分析；模型驱动工程

0 引言

工作流应用程序凭借它自动进行业务流转、大大减少人力的优势，已经渗透到了日常生活的各个领域，如何保证工作流应用程序的可靠性和质量成为了关键的问题。测试是提高软件可靠性和保证质量的最基本手段，目前工作流应用程序的测试还没有比较系统的方法，许多工作流在没有得到充分测试的情况下投入生成环境中，质量难以得到保证。因此，迫切需要对工作流应用软件进行有针对性的测试。

基于模型的语言、模型驱动技术和以测试为中心的软件开发技术逐步成熟，使基于模型的软件测试方法与技术在近几年得到了广泛的应用。……