Abstract: Techniques are provided for analyzing testing coverage of one or more software modules to provide process coverage statistics. The techniques include obtaining one or more coverage measures from a test specification document, performing a trace on each of the one or more coverage measures during a test, analyzing each trace to generate a run-time service choreography model for a process, wherein the model includes each of one or more service choreography patterns occurring in the process, and using the model to provide statistical data on test coverage according to a process definition.

Abstract: A method and apparatus for detecting an anomalistic data record. The method includes the steps of mining a data rule from a verified data record set in accordance with a mining rule, checking data records in an unverified data record set in accordance with the mined data rule and determining a data record unconformable to the mined data rule as an anomalistic data record. The apparatus includes a mining device configured to mine a data rule from a verified data record set in accordance with a mining rule and a checking device configured to check a data record in an unverified data record set in accordance with the mined data rule and to determine a data record unconformable to the mined data rule as an anomalistic data record.

Abstract: A method and an apparatus for generating test cases of a software system. The method includes the steps of: tracing a user request to acquire IT events related to each service and/or component invocation; forming IT transactions based on correlation information in IT events; correlating said IT transactions based on predetermined correlation rules, in order to form a business transaction; and extracting from the business transaction a business transaction pattern corresponding to said business transaction. The method further includes generating test cases of a software system based on the generated business transaction pattern. The apparatus includes hardware for accomplishing the foregoing method steps.

Abstract: A method (which can be computer implemented) for analyzing test coverage of distributed processes includes the steps of identifying at least one of the processes that is invoked by a test case, mapping at least a portion of the test case to a plurality of specific test paths in the at least one of the processes, and identifying given ones of the test paths as possibly relevant in at least one of the processes, if the test paths are not infeasible.

Abstract: Techniques are provided for analyzing testing coverage of one or more software modules to provide process coverage statistics. The techniques include obtaining one or more coverage measures from a test specification document, performing a trace on each of the one or more coverage measures during a test, analyzing each trace to generate a run-time service choreography model for a process, wherein the model includes each of one or more service choreography patterns occurring in the process, and using the model to provide statistical data on test coverage according to a process definition.