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

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] (Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009). 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 Te; Chen, Kuei Huan; Li, Yan You.

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

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, Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009, 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. (Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009). https://doi.org/10.1109/TASE.2009.22
Hwang, Gwan Hwan ; Lin, Che Sheng ; Tsao, Li Te ; Chen, Kuei Huan ; Li, Yan You. / 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 (Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009).
@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 Te} and Chen, {Kuei Huan} and Li, {Yan You}",
year = "2009",
month = "11",
day = "16",
doi = "10.1109/TASE.2009.22",
language = "English",
isbn = "9780769537573",
series = "Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009",
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 Te

AU - Chen, Kuei Huan

AU - Li, Yan You

PY - 2009/11/16

Y1 - 2009/11/16

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

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

SP - 139

EP - 146

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

ER -