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

*此作品的通信作者

研究成果: 書貢獻/報告類型會議論文篇章

5 引文 斯高帕斯(Scopus)

摘要

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.

原文英語
主出版物標題Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
頁面139-146
頁數8
DOIs
出版狀態已發佈 - 2009 十一月 16
事件2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009 - Tianjin, 中国
持續時間: 2009 七月 292009 七月 31

出版系列

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

其他

其他2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
國家/地區中国
城市Tianjin
期間2009/07/292009/07/31

ASJC Scopus subject areas

  • 電腦科學應用
  • 硬體和架構
  • 軟體

指紋

深入研究「A framework and language support for automatic dynamic testing of workflow management systems」主題。共同形成了獨特的指紋。

引用此