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 条
  • [41] Conformance Checking and QoS Selection Based on CPN for Web Service Composition
    Ha, Weitao
    Zhang, Guojun
    Chen, Liping
    [J]. INTERNATIONAL JOURNAL OF PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE, 2015, 29 (02)
  • [42] Checking Compatibility of Web Services Behaviorally
    Klai, Kais
    Ochi, Hanen
    [J]. FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2013, 2013, 8161 : 267 - 282
  • [43] Modeling and Model Checking Web Services
    Schlingloff, Holger
    Martens, Axel
    Schmidt, Karsten
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 126 : 3 - 26
  • [44] On checking the compatibility of Web services' policies
    Maamar, Zakaria
    Sheng, Quart Z.
    Yahyaoui, Hamdi
    Benslimane, Djarnal
    Liu, Fenglin
    [J]. EIGHTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES, PROCEEDINGS, 2007, : 125 - +
  • [45] Abstract Model Checking for Web Services
    QIAN Junyan
    [J]. Wuhan University Journal of Natural Sciences, 2008, (04) : 466 - 470
  • [46] Mining and Checking Web Services Behavior
    Wan, Xiaomin
    Mao, Xiaoguang
    Dai, Ziying
    [J]. 2012 10TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2012, : 1004 - 1009
  • [47] Model checking technologies for web services
    Huang, Hai
    Mason, Rick A.
    [J]. Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems and The Second International Workshop on Collaborative Computing, Integration, and Assurance, Proceedings, 2006, : 217 - 222
  • [48] Assertion checking of behavioral descriptions with non-linear solver
    Ugarte, I
    Sanchez, P
    [J]. 2005 IEEE International Conference on Computer Design: VLSI in Computers & Processors, Proceedings, 2005, : 229 - 231
  • [49] Conformance Testing for OSEK/VDX Operating System Using Model Checking
    Chen, Jiang
    Aoki, Toshiaki
    [J]. 2011 18TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2011), 2011, : 274 - 281
  • [50] Testing distributed systems through symbolic model checking
    Kalyon, Gabriel
    Massart, Thierry
    Meuter, Cedric
    Van Begin, Laurent
    [J]. FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2007, 2007, 4574 : 263 - +
12345