Proceedings of the 2016 4th International Conference on Machinery, Materials and Information Technology Applications

A Constraint-Based Approach to Web Service Simulation

Authors
Hui Zhou, Han Wu
Corresponding Author
Hui Zhou
Available Online January 2017.
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)

Volume Title
Proceedings of the 2016 4th International Conference on Machinery, Materials and Information Technology Applications
Series
Advances in Computer Science Research
Publication Date
January 2017
ISBN
10.2991/icmmita-16.2016.236
ISSN
2352-538X
DOI
10.2991/icmmita-16.2016.236How to use a DOI?
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/).

Cite this article

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  -