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

doi:10.1109/TASE.2009.22

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

^*Corresponding author for this work

Department of Computer Science and Information Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

6 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 language	English
Title of host publication	Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
Pages	139-146
Number of pages	8
DOIs	https://doi.org/10.1109/TASE.2009.22
Publication status	Published - 2009
Event	2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009 - Tianjin, China Duration: 2009 Jul 29 → 2009 Jul 31

Publication series

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

Other

Other	2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
Country/Territory	China
City	Tianjin
Period	2009/07/29 → 2009/07/31

Keywords

Testing
WfMS
Workflow management system

ASJC Scopus subject areas

Computer Science Applications
Hardware and Architecture
Software

Access to Document

10.1109/TASE.2009.22

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). Article 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 et al.
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 proceeding › Conference 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, 2009/07/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). doi: 10.1109/TASE.2009.22

Hwang, Gwan Hwan ; Lin, Che Sheng ; Tsao, Li Te et al. / 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{a1f9c3f29dfc4a9c92be91f28fcac16f,

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",

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",

note = "2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009 ; Conference date: 29-07-2009 Through 31-07-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

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

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

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

Y2 - 29 July 2009 through 31 July 2009

ER -

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

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this