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 条
  • [41] Developing a Concurrent Service Orchestration Engine Based on Event-Driven Architecture
    Chen, Wei
    Wei, Jun
    Wu, Guoquan
    Qiao, Xiaoqiang
    [J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2008, PART I, 2008, 5331 : 675 - 690
  • [42] A Formal Tainting-Based Framework for Malware Analysis
    Mogage, Andrei
    Lucanu, Dorel
    [J]. INTEGRATED FORMAL METHODS, IFM 2024, 2025, 15234 : 3 - 23
  • [43] Conformance testing with labelled transition systems: Implementation relations and test generation
    Tretmans, J
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1996, 29 (01): : 49 - 79
  • [44] Testing real-time systems from compositional symbolic specifications
    Damasceno, Adriana C.
    Machado, Patricia D. L.
    Andrade, Wilkerson L.
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (01) : 53 - 71
  • [45] Testing real-time systems from compositional symbolic specifications
    Adriana C. Damasceno
    Patricia D. L. Machado
    Wilkerson L. Andrade
    [J]. International Journal on Software Tools for Technology Transfer, 2017, 19 : 53 - 71
  • [46] Software System Testing Method Based on Formal Model
    Zhang, Weixiang
    Liu, Wenhong
    Wei, Bo
    [J]. 2017 2ND IEEE INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND BIG DATA ANALYSIS (ICCCBDA 2017), 2017, : 410 - 415
  • [47] Formal specification based software testing: An automated approach
    Gill, MS
    Bhatia, RK
    [J]. SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 656 - 659
  • [48] Testing-based Process for Service-oriented Applications
    Garriga, Martin
    Flores, Andres
    Cechich, Alejandra
    Zunino, Alejandro
    [J]. 2011 30TH INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY (SCCC), 2012, : 64 - 73
  • [49] A framework for the automation of testing computer vision systems
    Wotawa, Franz
    Klampfl, Lorenz
    Jahaj, Ledio
    [J]. 2021 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATION OF SOFTWARE TEST (AST 2021), 2021, : 121 - 124
  • [50] Applying Formal Methods to SOA and SaaS Service Compositions for ERP Systems
    Benabdelhafid, Maya Souilah
    Boufaida, Mahmoud
    [J]. INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH, 2020, 17 (02) : 1 - 17
12345