An EMF activity tree based BPEL defect pattern testing method

For testing BPEL defects efficiently, a novel BPEL defect pattern testing architecture based on the EMF activity tree technology is proposed. The EMF activity tree that is similar to abstract syntax tree is used to describe the BPEL service process structure. The mapping method from the DOM object tree of a BPEL file to the EMF activity tree and the recursive algorithm to generate an EMF activity tree are represented in detail. A typical EMF activity tree is shown and the visitor design pattern based traversal method is stated. The directions to enhance this technology are illustrated finally.

[1]  Shin Nakajima,et al.  Model-Checking Verification for Reliable Web Service , 2002 .

[2]  Shi Ying,et al.  Towards Model-based Verification of BPEL with Model Checking , 2006, The Sixth IEEE International Conference on Computer and Information Technology (CIT'06).

[3]  Gong Yunzhan,et al.  A Defect Model Based Testing System , 2008 .

[4]  Hang Yu,et al.  Testing BPEL-based Web Service Composition Using High-level Petri Nets , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06).

[5]  Sebastián Uchitel,et al.  Model-based verification of Web service compositions , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..

[6]  Gong Yun-zha.  An Introduction to the Software Technique Oriented Software Faults Test Model , 2004 .