Techniques for web service black box testing

A computer system configured to synthesize tests from a Web service document, comprising:

• a memory;
• and
• one or more processors coupled to the memory, wherein the processors are configured to implement:
• a function call identifier configured to locate at least one parameter for at least one client to server function call in a Web service document;
• a client constraint discovery engine configured to discover client validation constraints for the at least one parameter;
• a server constraint discovery engine configured to discover server validation constraints for the at least one parameter;
• a range identifier configured to discover at least one range for the at least one parameter that will be accepted by the server and not be accepted by the client;
• and
• a test synthesizer configured to build one or more tests using values in the at least one range, wherein the values in the at least one range pass server side validation and reach Web services business logic which cause an error to be generated in response to execution of the tests, and wherein the function call identifier analyzes calls in client side code of the Web service document for constrained parameters and the values in the at least one range fall within a gap between client side validation range and server side validation range.

A computer program product for synthesizing tests from a Web service document, the computer program product comprising:

• a computer-readable storage device;
• and
• computer-readable program code embodied on the computer-readable storage device, wherein the computer-readable program code, when executed by a data processing system, configures the data processing system to:
• locate at least one parameter for at least one client to server function call in a Web service document;
• discover client validation constraints for the at least one parameter;
• discover server validation constraints for the at least one parameter in the Web service document;
• discover at least one range for the at least one parameter that will be accepted by the server and not accepted by the client;
• and
• synthesize one or more tests using parameter values from the at least one range, wherein the values in the at least one range pass server side validation and reach Web services business logic which causes an error to be generated in response to execution of the tests, and wherein a function call identifier analyzes calls in client side code of the Web service document for constrained parameters and the values in the at least one range fall within a gap between client side validation range and server side validation range.