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 条
  • [41] Using state machine to integrate human activity into BPEL in dartflow
    Shi, Wei
    Wu, Jian
    Wu, Zhaohui
    2006 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS, 2006, : 517 - 517
  • [42] Optimized Mutation Testing Techniques for WS-BPEL Programs
    Sun C.
    Wang Z.
    Pan L.
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2019, 56 (04): : 895 - 905
  • [43] Test Case Generation Method for BPEL-based Testing
    Dong, Wenli
    PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND NATURAL COMPUTING, VOL II, 2009, : 467 - 470
  • [44] Effective Message-Sequence Generation for Testing BPEL Programs
    Ni, Yitao
    Hou, Shan-Shan
    Zhang, Lu
    Zhu, Jun
    Li, Zhong Jie
    Lan, Qian
    Mei, Hong
    Sun, Jia-Su
    IEEE TRANSACTIONS ON SERVICES COMPUTING, 2013, 6 (01) : 7 - 19
  • [45] Automated Significant Load Testing for WS-BPEL Compositions
    Maalej, Afef Jmal
    Hamza, Manel
    Krichen, Moez
    Jmaiel, Mohamed
    IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013), 2013, : 144 - 153
  • [46] The stream virtual machine
    Labonte, F
    Mattson, P
    Thies, W
    Buck, I
    Kozyrakis, C
    Horowitz, M
    13TH INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURE AND COMPILATION TECHNIQUES, PROCEEDINGS, 2004, : 267 - 277
  • [47] Testing collaborative agents defined as stream X-machines with distributed grammars
    Balanescu, Tudor
    Gheorghe, Marian
    Holcombe, Mike
    Ipate, Florentin
    ADVANCES IN ARTIFICIAL LIFE, 2001, 2159 : 296 - 305
  • [48] Test suite minimization for mutation testing of WS-BPEL compositions
    Palomo-Lozano, Francisco
    Estero-Botaro, Antonia
    Medina-Bulo, Inmaculada
    Nunez, Manuel
    GECCO'18: PROCEEDINGS OF THE 2018 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2018, : 1427 - 1434
  • [49] 一个适用于转换X-machine模型为Java代码的框架的设计与实现
    杨洋
    苏州大学学报(自然科学版), 2007, (04) : 50 - 54
  • [50] A Basis Path Testing Framework for WS-BPEL Composite Services
    Lertphumpanya, Theerapong
    Senivongse, Twittie
    SEPADS 08: PROCEEDINGS OF THE 7TH WSEAS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PARALLEL AND DISTRIBUTED SYSTEMS, 2008, : 107 - 112
12345