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

Gwan Hwan Hwang, Che Sheng Lin, Li T. Tsao, Kuei Huan Chen, Yan Y. 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
Event2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009 - Tianjin, China
Duration: 2009 Jul 292009 Jul 31

Other

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

Fingerprint

Testing
Temporal logic
Engines

Keywords

  • Testing
  • WfMS
  • Workflow management system

ASJC Scopus subject areas

  • Computer Science Applications
  • Hardware and Architecture
  • Software

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] https://doi.org/10.1109/TASE.2009.22

A framework and language support for automatic dynamic testing of workflow management systems. / Hwang, Gwan Hwan; Lin, Che Sheng; Tsao, Li T.; Chen, Kuei Huan; Li, Yan Y.

Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009. 2009. p. 139-146 5198496.

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

Hwang, GH, Lin, CS, Tsao, LT, Chen, KH & Li, YY 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., 5198496, pp. 139-146, 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009, Tianjin, China, 09/7/29. https://doi.org/10.1109/TASE.2009.22
Hwang GH, Lin CS, Tsao LT, Chen KH, Li YY. 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. 2009. p. 139-146. 5198496 https://doi.org/10.1109/TASE.2009.22
Hwang, Gwan Hwan ; Lin, Che Sheng ; Tsao, Li T. ; Chen, Kuei Huan ; Li, Yan Y. / A framework and language support for automatic dynamic testing of workflow management systems. Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009. 2009. pp. 139-146
@inproceedings{5ccfe4c78fc5483aa6b93555406aceba,
title = "A framework and language support for automatic dynamic testing of workflow management systems",
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.",
keywords = "Testing, WfMS, Workflow management system",
author = "Hwang, {Gwan Hwan} and Lin, {Che Sheng} and Tsao, {Li T.} and Chen, {Kuei Huan} and Li, {Yan Y.}",
year = "2009",
doi = "10.1109/TASE.2009.22",
language = "English",
isbn = "9780769537573",
pages = "139--146",
booktitle = "Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009",

}

TY - GEN

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

AU - Hwang, Gwan Hwan

AU - Lin, Che Sheng

AU - Tsao, Li T.

AU - Chen, Kuei Huan

AU - Li, Yan Y.

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

KW - Testing

KW - WfMS

KW - Workflow management system

UR - http://www.scopus.com/inward/record.url?scp=71049166257&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=71049166257&partnerID=8YFLogxK

U2 - 10.1109/TASE.2009.22

DO - 10.1109/TASE.2009.22

M3 - Conference contribution

AN - SCOPUS:71049166257

SN - 9780769537573

SP - 139

EP - 146

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

ER -