By Topic

A Formal Specification-Based Testing Approach to Accurate Web Service Selection

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Miao, W. ; Fac. of Comput. & Inf. Sci., Hosei Univ., Tokyo, Japan ; Shaoying Liu

Currently most web services are published without sufficient functional behavior descriptions, which makes it difficult for developers to accurately select services according to the expected functions of their target systems. In this paper, we propose a formal specification-based testing approach to accurate service selection. Requirements upon candidate services are refined into formal specifications in terms of functional scenarios. Test cases for each service operation are basically generated from its associated functional scenarios. Since the internal variables of stateful services are not allowed to be directly monitored from user-end, state transitions of these internal variables can only be checked through running inter-related operations in combination. In particular, functional scenario pairs are used as the foundation for test sequences generation so that potential combinations of interrelated operations can be tested. Conformance of candidate services with respect to users' requirements is determined based on the analysis of testing results. A running example is illustrated to demonstrate the application of this approach. We have also conducted experiments to evaluate the feasibility and the effectiveness of our conformance testing approach.

Published in:

Services Computing Conference (APSCC), 2011 IEEE Asia-Pacific

Date of Conference:

12-15 Dec. 2011