A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems

被引：0
作者：
Bentakouk, Lina
Poizat, Pascal
Zaidi, Fatiha
机构：
来源：
TESTING OF SOFTWARE AND COMMUNICATION SYSTEMS, PROCEEDINGS | 2009年 / 5826卷
关键词：
Service composition; orchestration; formal testing; test-case generation; WS-BPEL; transition systems; symbolic execution; WEB SERVICES; EXECUTION;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The pre-eminent role played by software composition, and more particularly service composition, in modern software development, together with the complexity of workflow languages such as WS-BPEL have made composite service testing a topical issue. In this article we contribute to this issue with an automatic testing approach for WS-BPEL orchestrations. Compared to related work, we support WS-BPEL data computations and exchanges, while overcoming the consequential state explosion problem. This is achieved through the use of symbolic transition system models and their symbolic execution. Throughout the article, we illustrate our approach on a realistic medium-size example.
引用
收藏
页码：16 / 32
页数：17
相关论文
共 50 条
  • [21] TESTING AND FORMAL VERIFICATION OF SERVICE ORIENTED ARCHITECTURES
    Sloan, John C.
    Khoshgoftaar, Taghi M.
    INTERNATIONAL JOURNAL OF RELIABILITY QUALITY AND SAFETY ENGINEERING, 2009, 16 (02) : 137 - 162
  • [22] Web service-based framework for software development formal peer inspection
    Pour, G
    IC'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTERNET COMPUTING, VOLS 1 AND 2, 2004, : 475 - 481
  • [23] A Specification-based Testing Framework for Web Service-based Software
    Mao, Chengying
    2009 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING ( GRC 2009), 2009, : 440 - 443
  • [24] Diagnosability of Input Output Symbolic Transition Systems
    Bourgne, Gauvain
    Dague, Philippe
    Nouioua, Farid
    Rapin, Nicolas
    2009 FIRST INTERNATIONAL CONFERENCE ON ADVANCES IN SYSTEM TESTING AND VALIDATION LIFECYCLE, 2009, : 147 - +
  • [25] A Service-Based Entropic Model for Sensors Orchestration
    Sadasivam, Rajani S.
    Goli, Ravikumar
    Kathiru, Rajesh
    Krishnan, Adisesh
    Thompson, Stanley
    Tuncer, Yalcin
    Tanik, Murat M.
    INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, 2009, 5 (03): : 224 - 241
  • [26] Shifting Arrays of a Kaleidoscope: The Orchestration of Relational Value Cocreation in Service Systems
    Kelleher, Carol
    O'Loughlin, Deirdre
    Gummerus, Johanna
    Penaloza, Lisa
    JOURNAL OF SERVICE RESEARCH, 2020, 23 (02) : 211 - 228
  • [27] A Model-Based Testing Framework for Automotive Embedded Systems
    Marinescu, Raluca
    Saadatmand, Mehrdad
    Bucaioni, Alessio
    Seceleanu, Cristina
    Pettersson, Paul
    2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014), 2014, : 38 - 47
  • [28] TASSA: Testing Framework for web service orchestrations
    Petrova-Antonova, Dessislava
    Ilieva, Sylvia
    Manova, Denitsa
    10TH INTERNATIONAL WORKSHOP ON AUTOMATION OF SOFTWARE TEST AST 2015, 2015, : 8 - 12
  • [29] CSEFuzz: Fuzz Testing Based on Symbolic Execution
    Xie, Zhangwei
    Cui, Zhanqi
    Zhang, Jiaming
    Liu, Xiulei
    Zheng, Liwei
    IEEE ACCESS, 2020, 8 : 187564 - 187574
  • [30] Quality-of-Service Based Web Service Composition and Execution Framework
    Shargabi, Bassam A. L.
    Hassan, Osama Al-haj
    Sabri, Alia
    El Sheikh, Asim
    INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY AND WEB ENGINEERING, 2011, 6 (03) : 57 - 74
12345