Abstract: A method for testing web services includes obtaining, by a new version of a service deployed on a network framework, a request and an old response to the request generated by an old version of the service, generating, by the new version of the service, a new response to the request, and generating, by a comparison tool built into the network framework and accessible to the new version of the service, a comparison of the old response and the new response.

Abstract: A method for testing web services includes obtaining, by a new version of a service deployed on a network framework, a request and an old response to the request generated by an old version of the service, generating, by the new version of the service, a new response to the request, and generating, by a comparison tool built into the network framework and accessible to the new version of the service, a comparison of the old response and the new response.

Abstract: A method for testing web services includes obtaining, by a new version of a service deployed on a network framework, a request and an old response to the request generated by an old version of the service, generating, by the new version of the service, a new response to the request, and generating, by a comparison tool built into the network framework and accessible to the new version of the service, a comparison of the old response and the new response.

Abstract: A packet capture is received from actual network traffic, the traffic including a multiple protocol message exchange. A scenario may be generated based on an analysis of the received packet capture, the scenario modeling the multiple protocol message exchange. The scenario is used to generate tests, for example protocol mutation tests.

Abstract: The present invention provides a mechanism that facilitates speculative execution of instructions within software-pipelined loops. In accordance with one embodiment of the invention, a software-pipelined loop is initialized with a speculative instruction deactivated. At least one initiation interval of the software-pipelined loop is executed, and the speculative instruction is activated. Subsequent initiation intervals of the software-pipelined loop are then executed.

Abstract: The present invention provides a mechanism for implementing compare speculation in software pipelined loops. A data dependency graph (DDG) is generated for a loop that includes a control compare instruction, a compare instruction and a non-speculative instruction that depends directly or indirectly on the compare instruction. A loop-carried edge between the control compare instruction and the compare instruction is replaced by a loop-carried edge between the control compare instruction and the non-speculative instruction. If the compare instruction is speculated when the loop is modulo-scheduled, any load instruction that depends on the compare is converted to a speculative load, and a loop-carried edge is added between the control compare and a check instruction associated with the speculative load. A loop-independent edge is also added between the check instruction and the non-speculative instruction if the non-speculative instruction also depends on the load.

Abstract: The present invention provides a mechanism that facilitates speculative execution of instructions within software-pipelined loops. In accordance with one embodiment of the invention, a software-pipelined loop is initialized with a speculative instruction deactivated. At least one initiation interval of the software-pipelined loop is executed, and the speculative instruction is activated. Subsequent initiation intervals of the software-pipelined loop are then executed.