A Constraint-Based Approach to Web Service Simulation

DOI

10.2991/icmmita-16.2016.236How to use a DOI?

Keywords

Web service; constraint solver; simulation testing

Abstract

Web services have been widely used in complex software systems. To guarantee software quality, many researchers have been devoted to the testing of web services. Traditional web service testing approaches mainly focus on the automation of testing process, test case generation etc. However, the web service simulation testing is still far from mature. This paper proposes a constraint-based web service simulation approach. The approach uses first order logic formulas to specify the relationships between service outputs and inputs and can simulate a service with a constraint solver. Compared to other approaches, our approach can support complex first order logical constraints and thus are capable of specifying various correlations between variables. Researchers can quickly and efficiently do simulation testing of web services by using the approach.

Copyright

© 2017, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Hui Zhou
AU  - Han Wu
PY  - 2017/01
DA  - 2017/01
TI  - A Constraint-Based Approach to Web Service Simulation
BT  - Proceedings of the 2016 4th International Conference on Machinery, Materials and Information Technology Applications
PB  - Atlantis Press
SN  - 2352-538X
UR  - https://doi.org/10.2991/icmmita-16.2016.236
DO  - 10.2991/icmmita-16.2016.236
ID  - Zhou2017/01
ER  -