A Constraint-Based Approach to Web Service Simulation
Hui Zhou, Han Wu · 2016
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.