摘要
近年来,工作流技术越来越多的应用于软件程序中,与之相关的新工作流语言以及工作流引擎也得到了快速的发展;但是,目前辅助工作流应用软件的测试方法仍显不足,特别是工作流引擎测试方面还存在着严重的局限性;为此,提出了基于模型测试的方法对工作流引擎进行测试,此外,还引入了抽象测试框架的概念,将其应用到工作流的测试上,它能够为工作流引擎构建测试环境和测试套件;最后,在Cumbia平台上搭建的一个工作流引擎上进行应用,说明了基于模型的测试方法和抽象测试框架可以有效应用于工作流引擎的测试。
In recent years,more and more workflow applications applied in the software program.The new workflow language associated with the new workflow and workflow engine also got rapid development.However,the current test methods of the development of the auxiliary workflow application is still inadequate,especially the workflow engine test also there are serious limitations.To this end,this paper presents a method based on model based testing to carry out on the workflow engine.In addition,it introduces the concept of the abstract test framework.Applying it to the workflow of the test,it can build the test environment and test suites for the workflow engine.At the end,a workflow engine built on Cumbia platform shows that the using of method based on model testing and abstract test framework can be effectively applied to the workflow engine testing.
引文
[1]Torsel A M.A testing tool for web applications using a domain-specific modelling language and the NuSMV model checker[J/OL].IEEEXplore.
[2]张玲.Web应用自动化测试框架的研究和应用[D].上海:华东理工大学,2014.
[3]Zhu B B,Guo R,Feng M,et al.Component-oriented architecture for web mashups[P].US:US9009657,2015.
[4]冯洋,张冬冬,刘群.层次短语翻译模型的介词短语调序[J].中文信息学报,2012,26(1):31-36.
[5]张清.基于模型的自动化测试工具的实现[D].北京:北京交通大学,2013.
[6]陆公正.基于EFSM模型的测试用例优化生成及实例化[D].上海:上海大学,2014.
[7]Aichernig B K,Lorber F,Tiran S.Formal test-driven development with verified test cases[A].Special Session on Model-based Analysis&Testing of Embedded Systems[C].2014:626-635.
[8]王双成,刘念祖,王小玲.基于局部依赖分析的特征子集选择[J].计算机研究与发展,2014(44):329-333.
[9]冯韵.基于标记语言的工作流过程描述语言[J].电脑知识与技术,2012(8):43-45.
[10]郭曦,张焕国.基于谓词抽象的测试用例约简生成方法[J].通信学报,2012,33(3):35-43.
[11]张孟颖.基于工作流的软件测试管理系统设计与实现[D].南京:南京理工大学,2013.
[12]王志才.一种基于断言图的模型抽象技术的研究[D].成都:电子科技大学,2013.
[13]周婷婷,费树岷.基于工作流的办公自动化系统研究与设计[J].工业控制计算机,2013,26(4):102-104.
[14]王平.基于组件的工作流定义工具的研究与实现[D].沈阳:沈阳工业大学,2014.
[15]张娟.软件测试中测试用例复用的研究[D].上海:上海大学,2012.
[16]张娟,余童兰,吴取劲,等.基本路径生成算法的图形化设计与实现[J].南华大学学报(自然科学版),2014(1):88-90.
[17]杨鹏.基于Feed4JUnit架构的单元测试技术研究与应用[J].软件工程师,2014(7):25-27.