A framework and language support for automatic dynamic testing of workflow management systems

Gwan Hwan Hwang, Che Sheng Lin, Li Te Tsao, Kuei Huan Chen, Yan You Li

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Abstract

We propose a framework for the automatic dynamic testing of workflow management systems (WfMSs). We first classify faults that can occur during the execution of a WfMS and then describe a systematic testing scheme that provides the following advantages. First, the system developer does not need to play the roles of participants, and hence the entire testing process can be automated. Second, resources that cannot be addressed or represented by the workflow engine can be simulated, which makes the proposed framework also a simulation environment for applications. Third, our platform solves the problems caused by the presence of nondeterministic behavior during dynamic testing of a WfMS. Finally, we describe how to apply temporal logic to verify the dynamic behavior of the tested WfMS. The implementation and experimental results demonstrate the feasibility of the proposed framework.

Original languageEnglish
Title of host publicationProceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
Pages139-146
Number of pages8
DOIs
Publication statusPublished - 2009 Nov 16
Event2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009 - Tianjin, China
Duration: 2009 Jul 292009 Jul 31

Publication series

NameProceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009

Other

Other2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
CountryChina
CityTianjin
Period09/7/2909/7/31

Keywords

  • Testing
  • WfMS
  • Workflow management system

ASJC Scopus subject areas

  • Computer Science Applications
  • Hardware and Architecture
  • Software

Fingerprint Dive into the research topics of 'A framework and language support for automatic dynamic testing of workflow management systems'. Together they form a unique fingerprint.

  • Cite this

    Hwang, G. H., Lin, C. S., Tsao, L. T., Chen, K. H., & Li, Y. Y. (2009). A framework and language support for automatic dynamic testing of workflow management systems. In Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009 (pp. 139-146). [5198496] (Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009). https://doi.org/10.1109/TASE.2009.22