Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver

被引：0
|
作者：
Bentakouk, Lina [1 ]
Poizat, Pascal [1 ,2 ]
Zaidi, Fatiha [1 ]
机构：
[1] Univ Paris Sud, CNRS, LRI, Orsay, France
[2] Univ Evry Val dEssonne, F-91000 Evry, France
来源：
TESTS AND PROOFS, TAP 2011 | 2011年 / 6706卷
关键词：
services; orchestration; formal testing; test-case generation; WS-BPEL; transition systems; symbolic execution; SMT solver; EXECUTION; MODELS;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Workflow-based service composition languages foster the rapid design and development of distributed applications. The behavioral verification of service Compositions has widely been addressed at design time, using modelchecking. Testing is a complementary technique when it comes to check the behavioral conformance of a service implementation with respect to its specification or to a user or a service need. In this paper we address this issue with an automatic approach based on symbolic testing and an SMT solver.
引用
收藏
页码：33 / 50
页数：18
相关论文
共 50 条
  • [1] Conformance Checking with Uncertainty via SMT
    Felli, Paolo
    Gianola, Alessandro
    Montali, Marco
    Rivkin, Andrey
    Winkler, Sarah
    [J]. BUSINESS PROCESS MANAGEMENT (BPM 2022), 2022, 13420 : 199 - 216
  • [2] Automatic conformance testing of Web services
    Heckel, R
    Mariani, L
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3442 : 34 - 48
  • [3] Model Checking Based Conformance Testing for Web Applications
    Chen, Shengbo
    [J]. PROCEEDINGS OF THE 2012 THIRD WORLD CONGRESS ON SOFTWARE ENGINEERING (WCSE 2012), 2012, : 51 - 56
  • [4] Data-aware conformance checking with SMT
    Felli, Paolo
    Gianola, Alessandro
    Montali, Marco
    Rivkin, Andrey
    Winkler, Sarah
    [J]. INFORMATION SYSTEMS, 2023, 117
  • [5] Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach
    Diaz, Gregorio
    Rodriguez, Ismael
    [J]. FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, PROCEEDINGS, 2009, 5522 : 231 - +
  • [6] Symbolic Bounded Conformance Checking of Model Programs
    Veanes, Margus
    Bjorner, Nikolaj
    [J]. PERSPECTIVES OF SYSTEMS INFORMATICS, 2010, 5947 : 388 - 400
  • [7] Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing
    Aichernig, Bernhard K.
    Tappler, Martin
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2016, 320 : 3 - 19
  • [8] Generation of conformance test suites for compositions of web services using model checking
    Garcia-Fanjul, Jose
    de la Riva, Claudio
    Tuya, Javier
    [J]. TAIC PART - TESTING: ACADEMIC & INDUSTRIAL CONFERENCE - PRACTICE AND RESEARCH TECHNIQUES, PROCEEDINGS, 2006, : 127 - +
  • [9] Model checking behavioral specification of BPEL web services
    Dong, Rongsheng
    Wei, Zhao
    Luo, Xiangyu
    [J]. WORLD CONGRESS ON ENGINEERING 2008, VOLS I-II, 2008, : 198 - 203
  • [10] An approach to checking behavioral compatibility between web services
    Chae, Heung Seok
    Lee, Joon-Sang
    Bae, Jungho
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2008, 18 (02) : 223 - 241
12345