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.
[1]
Malcolm Munro,et al.
Fault-Based Web Services Testing
,
2008,
Fifth International Conference on Information Technology: New Generations (itng 2008).
[2]
Hareton K. N. Leung,et al.
Regression Testing of Web Service: A Systematic Mapping Study
,
2014,
ACM Comput. Surv..
[3]
Parosh Aziz Abdulla,et al.
Tools and Algorithms for the Construction and Analysis of Systems
,
1996,
Lecture Notes in Computer Science.
[4]
Mark Harman,et al.
Testing and verification in service‐oriented architecture: a survey
,
2013,
Softw. Test. Verification Reliab..