Choreography Scenario-based Test Data Generation

被引:2
|
作者
Ma, Kai [1 ]
Wang, Jin [1 ]
Yang, Hongli [1 ]
Yan, Jun [2 ]
Zhang, Jian [2 ]
Qin, Shengchao [3 ]
机构
[1] Beijing Univ Thchnol, Coll Comp Sci, Beijing, Peoples R China
[2] Chinese Acad Sci, Laborary Comp Sci, Inst Software, Beijing, Peoples R China
[3] Thesside Univ, Sch Comp, Middlesbrough, Cleveland, England
来源
2014 THEORETICAL ASPECTS OF SOFTWARE ENGINEERING CONFERENCE (TASE) | 2014年
关键词
Web Service Choreography; Scenario; XML Schema; Test Data Generation;
D O I
10.1109/TASE.2014.25
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Web service choreography specifies a sequence of interactions among multiple services. How to test if a Web service conforms with given choreography specification is a challenging question. It is important to generate test data (i.e. XML instance) based on the choreography. Since choreography scenarios describe expected interactions among multiple participants, it is possible to generate test data based on those scenarios. This paper presents a set of test data generating rules and algorithms based on refined type trees, which are obtained from choreography scenario and corresponding XML Schema type document. We have built a prototype tool to support automatic test data generation and illustrate the process of generating XML instances via a purchase order choreography scenario example.
引用
收藏
页码:70 / 73
页数:4
相关论文
共 50 条
  • [31] Research on Scenario-Based User Experience Evaluation Method for Intelligent Cars
    Lu, Jin
    Gong, Zaiyan
    Ma, Jun
    DESIGN, USER EXPERIENCE, AND USABILITY, DUXU 2024, PT II, 2024, 14713 : 200 - 217
  • [32] Towards Scenario-Based and Question-Driven Explanations in Autonomous Vehicles
    Zhang, Yiwen
    Guo, Weiwei
    Chi, Cheng
    Hou, Lu
    Sun, Xiaohua
    HCI IN MOBILITY, TRANSPORT, AND AUTOMOTIVE SYSTEMS (MOBITAS 2022), 2022, 13335 : 108 - 120
  • [33] Scenario-based verification of real-time systems using Uppaal
    Li, Shuhao
    Balaguer, Sandie
    David, Alexandre
    Larsen, Kim G.
    Nielsen, Brian
    Pusinskas, Saulius
    FORMAL METHODS IN SYSTEM DESIGN, 2010, 37 (2-3) : 200 - 264
  • [34] Scenario-based verification of real-time systems using Uppaal
    Shuhao Li
    Sandie Balaguer
    Alexandre David
    Kim G. Larsen
    Brian Nielsen
    Saulius Pusinskas
    Formal Methods in System Design, 2010, 37 : 200 - 264
  • [35] Scenario-based approach in dealing with climate change impacts in Central Tanzania
    Ojoyi, M.
    Mutanga, O.
    Kahinda, J. Mwenge
    Odindi, J.
    Abdel-Rahman, E. M.
    FUTURES, 2017, 85 : 30 - 41
  • [36] Scenario-based User's Needs Discovery for Creative Product Design
    Wu Zhi-jun
    Li Liang-zhi
    Na Cheng-ai
    SECOND INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN, VOL 2, PROCEEDINGS, 2009, : 368 - +
  • [37] Forward Slicing Algorithm based Test Data Generation
    Samuel, Philip
    Surendran, Anupama
    PROCEEDINGS OF 2010 3RD IEEE INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (ICCSIT 2010), VOL 8, 2010, : 270 - 274
  • [38] XML-BASED AUTOMATIC TEST DATA GENERATION
    Bulbul, Halil Ibrahim
    Bakir, Turgut
    COMPUTING AND INFORMATICS, 2008, 27 (04) : 681 - 698
  • [39] CONSTRAINT-BASED AUTOMATIC TEST DATA GENERATION
    DEMILLO, RA
    OFFUTT, AJ
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (09) : 900 - 910
  • [40] Scenario-based assessment of future land use change on butterfly species distributions
    Michael Lütolf
    Janine Bolliger
    Felix Kienast
    Antoine Guisan
    Biodiversity and Conservation, 2009, 18