Conference Paper

Monic Testing of Web Services Based on Algebraic Specifications


Web services are designed to be discovered and composed dynamically, which implies that testing must also be done dynamically. This involves both the generation of test cases and the checking of test results. This paper presents algorithms for both of these using the technique of algebraic specification. It focuses in particular on the problem that web services, when they are third-party, have poor controllability and observability, and introduces a solution known as monic floating checkable test cases. A prototype tool has implemented the proposed testing technique and it is applied to a case study with a real industry application GoGrid, demonstrating that the technique is both applicable and feasible.

Attached files


Liu, Dongmei
Wu, Xian
Zhang, Xin
Zhu, Hong
Bayley, Ian

Oxford Brookes departments

School of Engineering, Computing and Mathematics
Faculty of Technology, Design and Environment


Year of publication: 2016
Date of RADAR deposit: 2020-10-22

© 2016 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

Related resources

This RADAR resource is the Accepted Manuscript of Monic Testing of Web Services Based on Algebraic Specifications