Testing BPEL with Stream X-machine

被引：6
|
作者：
Ma, Chunyan [1 ,2 ]
Wu, Junsheng [1 ]
Zhang, Tao [1 ]
Zhang, Yunpeng [1 ]
Cai, Xiaobin [2 ]
机构：
[1] Northwest Polytech Univ, Coll Software & Microelect, Xian 710072, Peoples R China
[2] Northwestern Polytech Univ, Inst Comp Sci, Xian 710072, Peoples R China
来源：
ISISE 2008: INTERNATIONAL SYMPOSIUM ON INFORMATION SCIENCE AND ENGINEERING, VOL 1 | 2008年
关键词：
BPEL; test case; Stream X-machine;
D O I：
10.1109/ISISE.2008.201
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
To generate test cases for the unit testing of business process written in BPEL, developers have to prepare input data for the BPEL process under test (PUT) and verification conditions for output data from the PUT. It could be a tedious task due to the complexity of the PUT which describes the web flow of a distributed collaboration of individual service providers executing concurrently. This paper shows how Stream X-machine based testing techniques could be applied to automatically generate test cases for BPEL process.
引用
收藏
页码：578 / +
页数：2
相关论文
共 50 条
  • [31] Testing timed systems modeled by Stream X-machines
    Merayo, Mercedes G.
    Nunez, Manuel
    Hierons, Robert M.
    SOFTWARE AND SYSTEMS MODELING, 2011, 10 (02): : 201 - 217
  • [32] Testing timed systems modeled by Stream X-machines
    Mercedes G. Merayo
    Manuel Núñez
    Robert M. Hierons
    Software & Systems Modeling, 2011, 10 : 201 - 217
  • [33] An integrated refinement and testing method for stream X-machines
    Ipate, F
    Holcombe, M
    APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 2002, 13 (02) : 67 - 91
  • [34] SOA Testing Via Random Paths in BPEL Models
    Jehan, Seema
    Pill, Ingo
    Wotawa, Franz
    2014 SEVENTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2014), 2014, : 260 - 263
  • [35] AN APPROACH TO METAMORPHIC TESTING FOR WS-BPEL COMPOSITIONS
    Castro-Cabrera, Carmen
    Medina-Bulo, Inmaculada
    2011 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON E-BUSINESS (ICE-B 2011), 2011, : 137 - 142
  • [36] WSCLT: A Tool for WS-BPEL Compositions Load Testing
    Maalej, Afef Jmal
    Hamza, Manel
    Krichen, Moez
    2013 IEEE 22ND INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2013, : 272 - 277
  • [37] WeMuTe - A Weak Mutation Testing Tool for WS-BPEL
    Boonyakulsrirung, Panya
    Suwannasart, Taratip
    INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, IMECS 2012, VOL I, 2012, : 810 - 815
  • [38] Test Case Reduction Technique for BPEL-based Testing
    Dong, Wenli
    PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON ELECTRONIC COMMERCE AND SECURITY, 2008, : 814 - 817
  • [39] BPEL4WS unit testing: Framework and implementation
    Li, ZH
    Sun, W
    Jiang, ZB
    Zhang, X
    2005 IEEE International Conference on Web Services, Vols 1 and 2, Proceedings, 2005, : 103 - 110
  • [40] An Empirical Study on Mutation Testing of WS-BPEL Programs
    Sun, Chang-ai
    Pan, Lin
    Wang, Qiaoling
    Liu, Huai
    Zhang, Xiangyu
    COMPUTER JOURNAL, 2017, 60 (01): : 143 - 158
12345