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 条
  • [1] Coverage-Based Testing with Symbolic Transition Systems
    van den Bos, Petra
    Tretmans, Jan
    TESTS AND PROOFS (TAP 2019), 2019, 11823 : 64 - 82
  • [2] An Orchestration based Cloud Auto-healing Service Framework
    Li, Xinhui
    Li, Kai
    Pang, Xudong
    Wang, Yiping
    2017 IEEE 1ST INTERNATIONAL CONFERENCE ON EDGE COMPUTING (IEEE EDGE), 2017, : 190 - 193
  • [3] Design and Implementation of Computing Based Service Chain Orchestration Framework
    Qian, Dongsheng
    Lv, Yusheng
    Guo, Kuo
    Liu, Shang
    Huang, Xu
    Liao, Chenxi
    Liu, Jingjing
    Liu, Xiaolong
    Chen, Kai
    Chen, Jia
    FRONTIERS OF NETWORKING TECHNOLOGIES, CCF CHINANET 2023, 2024, 1988 : 112 - 127
  • [4] Cloud Manufacturing Service Composition Modeling and Formal Verification Based on Calculus for Orchestration of Web Service
    Li Yongxiang
    Yao Xifan
    Zhang Jie
    Li Bin
    2013 25TH CHINESE CONTROL AND DECISION CONFERENCE (CCDC), 2013, : 2806 - 2810
  • [5] Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts
    Boudhiba, Imen
    Gaston, Christophe
    Le Gall, Pascale
    Prevosto, Virgile
    TESTING SOFTWARE AND SYSTEMS, ICTSS 2015, 2015, 9447 : 35 - 51
  • [6] Compositional Random Testing Using Extended Symbolic Transition Systems
    Schwarzl, Christian
    Aichernig, Bernhard K.
    Wotawa, Franz
    TESTING SOFTWARE AND SYSTEMS, 2011, 7019 : 179 - 194
  • [7] A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution
    Thi Thu Ha Doan
    Thiemann, Peter
    PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2024, 2025, 15194 : 305 - 324
  • [8] A Formal Basis for Cross-Checking ebXML BPSS Choreography and Web Service Orchestration
    Yeung, W. L.
    2008 IEEE ASIA-PACIFIC SERVICES COMPUTING CONFERENCE, VOLS 1-3, PROCEEDINGS, 2008, : 524 - 529
  • [9] TBFV-SE: Testing-Based Formal Verification with Symbolic Execution
    Wang, Rong
    Liu, Shaoying
    2018 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2018), 2018, : 59 - 66
  • [10] Architecture-based testing of service-oriented applications in distributed systems
    Keum, Changsup
    Kang, Sungwon
    Kim, Myungchul
    INFORMATION AND SOFTWARE TECHNOLOGY, 2013, 55 (07) : 1212 - 1223
12345