Generation of conformance test suites for compositions of web services using model checking

被引：6
|
作者：
Garcia-Fanjul, Jose [1 ]
de la Riva, Claudio [1 ]
Tuya, Javier [1 ]
机构：
[1] Univ Oviedo, Dept Comp Sci, Campus Viesques SN, Gijon, Spain
来源：
TAIC PART - TESTING: ACADEMIC & INDUSTRIAL CONFERENCE - PRACTICE AND RESEARCH TECHNIQUES, PROCEEDINGS | 2006年
关键词：
D O I：
10.1109/TAIC-PART.2006.11
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour, However, research in this field is scarce. We propose a new testing method for compositions of web services. A formal verification tool (the SPIN model checker) will be used to automatically generate test suites for compositions specified in an industry standard language: BPEL. Adequacy criteria will be employed to define a systematic procedure to select the test cases. Preliminary results have been obtained using a transition coverage criterion.
引用
收藏
页码：127 / +
页数：3
相关论文
共 50 条
  • [1] A model checking based test case generation framework for web services
    Zheng, Yongyan
    Zhou, Jiong
    Krause, Paul
    [J]. INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY, PROCEEDINGS, 2007, : 715 - +
  • [2] Automated functional conformance test generation for semantic web services
    Paradkar, Amit M.
    Sinha, Avik
    Williams, Clay
    Johnson, Robert D.
    Outterson, Susan
    Shriver, Charles
    Liang, Carol
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2007, : 110 - +
  • [3] Increasing Diversity in Coverage Test Suites using Model Checking
    Fraser, Gordon
    Wotawa, Franz
    [J]. 2009 NINTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2009), 2009, : 211 - 218
  • [4] Generation of conformance test suites for parallel and distributed languages and APIs
    Garstecki, L
    [J]. ELEVENTH EUROMICRO CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING, PROCEEDINGS, 2003, : 308 - 315
  • [5] A Model Checking Based Approach to Automatic Test Suite Generation for Testing Web Services and BPEL
    Zhao, Huiqun
    Sun, Jing
    Liu, Xiaodong
    [J]. 2012 IEEE ASIA-PACIFIC SERVICES COMPUTING CONFERENCE (APSCC), 2012, : 61 - 69
  • [6] 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
  • [7] 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 - +
  • [8] Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver
    Bentakouk, Lina
    Poizat, Pascal
    Zaidi, Fatiha
    [J]. TESTS AND PROOFS, TAP 2011, 2011, 6706 : 33 - 50
  • [9] A first approach to test case generation for BPEL compositions of web services using Scatter Search
    Blanco, Raquel
    Garcia-Fanjul, Jose
    Tuya, Javier
    [J]. ICSTW 2009: IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION, AND VALIDATION WORKSHOPS, 2009, : 131 - 140
  • [10] Verifying conformance between Web service choreography and implementation using learning and model checking
    Pacharoen, Warawoot
    Aoki, Toshiaki
    Bhattarakosol, Pattarasinee
    Surarerks, Athasit
    [J]. Proceedings - 5th International Conference on New Trends in Information Science and Service Science, NISS 2011, 2011, 2 : 375 - 381
12345