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 条
  • [31] A Formal Framework for Compositional Verification of Organic Computing Systems
    Nafz, Florian
    Seebach, Hella
    Steghoefer, Jan-Philipp
    Baeumler, Simon
    Reif, Wolfgang
    AUTONOMIC AND TRUSTED COMPUTING, 2010, 6407 : 17 - 31
  • [32] Formal passive testing of timed systems: theory and tools
    Andres, Cesar
    Merayo, Mercedes G.
    Nunez, Manuel
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2012, 22 (06) : 365 - 405
  • [33] Reputation-based Web service orchestration in cloud computing: A survey
    Marmol, Felix Gomez
    Kuhnen, Marcus Quintino
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2015, 27 (09) : 2390 - 2412
  • [34] Contract-based Generic Programming Mechanism for Dynamic Service Orchestration
    Xie, Wuping
    Xue, Jinyun
    Jiang, Dongming
    2014 IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY (CIT), 2014, : 252 - 257
  • [35] Adaptive Micro-service based Cloud Monitoring and Resource Orchestration
    Daradkeh, Tariq
    Agarwal, Anjali
    2022 13TH INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATION SYSTEMS (ICICS), 2022, : 127 - 132
  • [36] Internet of Things Services Orchestration Framework Based on Kubernetes and Edge Computing
    Ermolenko, Daniil
    Kilicheva, Claudia
    Muthanna, Ammar
    Khakimov, Abdukodir
    PROCEEDINGS OF THE 2021 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (ELCONRUS), 2021, : 12 - 17
  • [37] Cooperative agents-based Decentralized Framework for Cloud Services Orchestration
    Brahmi, Zaki
    Ben Ali, Jihen
    2015 6TH INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS AND ECONOMIC INTELLIGENCE (SIIE), 2015, : 46 - 51
  • [38] A Framework of Scientific Workflow Management Systems for Multi-Tenant Cloud Orchestration Environment
    Rimal, Bhaskar Prasad
    El-Refaey, Mohamed A.
    19TH IEEE INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE 2010), 2010, : 88 - 93
  • [39] Improving the interoperability of a Function-as-a-Service platform using an orchestration framework with a cloud-agnostic approach
    Adhoni, Zameer Ahmed
    Narayan, Dayananda Lal
    ETRI JOURNAL, 2025, 47 (02) : 312 - 325
  • [40] Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions
    Bourdonov, Igor B.
    Kossatchev, Alexander S.
    Kuliamin, Victor V.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 164 (04) : 83 - 96