A Constraint-Based Approach to Web Service Simulation
- 10.2991/icmmita-16.2016.236How to use a DOI?
- Web service; constraint solver; simulation testing
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.
- © 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 -