Test-Case Generation for Web-Service Clients

Contemporary enterprise software frequently makes use of web services. The control flow of the class under test (CUT) might depend on the behavior of the involved web services. In order to be able to cover the control flow, the web services have to behave correspondingly. We present an approach to automatically generate test cases for the CUT and also generate web services providing a behavior which allows to cover the control flow of the CUT. Even though the actually used web services might not exhibit all this behavior, our approach is still useful, since it makes sure that the CUT will keep working even if the involved web services change over time. Our approach is based on symbolic execution and constraint solving. We have evaluated it based on a set of benchmarks that show an increase in control-flow coverage of the application under test.