Patent ID: 7401322

Claim:
A method of testing computer program code, comprising the steps of: (a) accessing the code in a format that is operable on a designated computer; (b) within a single step: (i) automatically examining the computer-operable form of the code to locate in the computer-operable form of the code all executed and unexecuted explicit branches that occur within the computer-operable code; and (ii) automatically inserting in the computer-operable form of the code, within each explicit branch, first and second tracepoints configured to generate indicators in response to the program control flow passing through such positions, the first tracepoint inserted being immediately after the beginning of the branch, the second tracepoint being inserted after the first tracepoint in the program control flow, the second tracepoint being inserted immediately after completion of the branch, the branch comprising a nested conditional sub-branch; (c) executing the computer-operable code containing the tracepoints on said computer; (d) identifying which of the intended indicators have been generated by their corresponding tracepoints; and (e) based on the identification, uncovering a defect contained in the nested conditional sub-branch.