Test Case Generation Method for BPEL-based Testing

被引:3
|
作者
Dong, Wenli [1 ]
机构
[1] Chinese Acad Sci, Inst Software, Beijing, Peoples R China
关键词
Business Process Execution Language; High-Level Petri Net; Test Script Language;
D O I
10.1109/CINC.2009.229
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
This paper describes a framework for the design of a test tool that could generate test cases automatically based on given BPEL specifications. The key problems that need to be addressed are how to transform the BPEL specifications into a HPN, and how to design a script language to describe the test case generation that according to the characteristics of BPEL. A BPEL Specification Analyzer and a Test Script Language are presented. A tool called BPEL-based Testing Automatic has been designed and partially implemented. BTA will take a user-defined test case template and the set of test data generated to produce the executable test cases.
引用
收藏
页码:467 / 470
页数:4
相关论文
共 50 条
  • [31] A BPEL-based service-oriented dynamic collaborative mechanism for distributed product design
    Hu, Yi
    Zhou, Xionghui
    Li, Congxing
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2011, 52 (1-4): : 33 - 44
  • [32] A BPEL-based service-oriented dynamic collaborative mechanism for distributed product design
    Yi Hu
    Xionghui Zhou
    Congxing Li
    The International Journal of Advanced Manufacturing Technology, 2011, 52 : 33 - 44
  • [33] Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs
    Mei, Lijun
    Cai, Yan
    Jia, Changjiang
    Jiang, Bo
    Chan, W. K.
    INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH, 2013, 10 (01) : 73 - 102
  • [34] A Model-based Test Case Generation Method for Function Testing of Train Control Systems
    Lv, Jidong
    Wang, Haifeng
    Liu, Hongjie
    Zhang, Lu
    Tang, Tao
    2016 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2016, : 334 - 346
  • [35] Generating Effective Test Sequences for BPEL Testing
    Hou, Shan-Shan
    Zhang, Lu
    Lan, Qian
    Mei, Hong
    Sun, Jia-Su
    2009 NINTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2009), 2009, : 331 - 340
  • [36] Reliability Modeling and Verification of BPEL-Based Web Services Composition by Probabilistic Model Checking
    Mi, Chengyang
    Miao, Huaikou
    Kai, Jinyu
    Gao, Honghao
    2016 IEEE/ACIS 14TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH, MANAGEMENT AND APPLICATIONS (SERA), 2016, : 149 - 154
  • [37] A method for model based test harness generation for component testing
    Institute of Computing, State University of Campinas, P.O Box 6176, Campinas - SP, ZC 13083-970, Brazil
    J. Braz. Comput. Soc., 2008, 1 (7-23):
  • [38] A Framework for Genetic Test-Case Generation for WS-BPEL Compositions
    Estero-Botaro, Antonia
    Garcia-Dominguez, Antonio
    Jose Dominguez-Jimenez, Juan
    Palomo-Lozano, Francisco
    Medina-Bulo, Inmaculada
    TESTING SOFTWARE AND SYSTEMS (ICTSS 2014), 2014, 8763 : 1 - 16
  • [39] Test case generation for WS-BPEL from a static call graph
    Bousanoh, Wareerat
    Suwannasart, Taratip
    2018 11TH INTERNATIONAL CONFERENCE ON COMPUTER AND ELECTRICAL ENGINEERING, 2019, 1195
  • [40] Automatic Test Case Generation and Optimization Based on Mutation Testing
    Du, Yunqi
    Pan, Ya
    Ao, Haiyang
    Alex, O.
    Fan, Yong
    2019 COMPANION OF THE 19TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS-C 2019), 2019, : 522 - 523