Post-execution software debugger with coverage display

A method of validating a testing procedure in a computer program comprising:

• recording a sequence of machine code instructions performed by a processor as trace data while executing a portion of said computer program;
• accessing a mapping file;
• translating a source line of said computer program into one or more corresponding machine code instructions according to a mapping found in the mapping file;
• searching through at least a portion of the trace data to determine whether any machine code instruction in the one or more corresponding machine code instructions has been executed;
• and
• annotating a source code display with an indication of whether any of the machine code instructions in the one or more corresponding machine code instructions has been executed.

A system for validating a testing procedure in a computer program comprising:

• means for recording a sequence of machine code instructions performed by a processor as trace data while executing a portion of said computer program;
• means for accessing a mapping file;
• means for translating a source line of said computer program into one or more corresponding machine code instructions according to a mapping found in the mapping file;
• means for searching through at least a portion of the trace data to determine whether any machine code instruction in the one or more corresponding machine code instructions has been executed;
• and
• means for displaying an indication of whether any of the machine code instructions in the one or more corresponding machine code instructions has been executed.

A system for validating a testing procedure in a computer program comprising:

• means for recording a sequence of machine code instructions performed by a processor as trace data while executing a portion of said computer program;
• means for accessing a mapping file;
• means for translating a source line of said computer program into one or more corresponding machine code instructions according to a mapping found in the mapping file;
• means for searching through at least a portion of the trace data to determine whether any machine code instruction in the one or more corresponding machine code instructions has been executed;
• and
• means for annotating a source code display with an indication of whether any of the machine code instructions in the one or more corresponding machine code instructions has been executed.

A computer readable medium having stored thereon sequences of instructions for validating a testing procedure in a computer program, the sequences of instructions including instructions for performing the steps of:

• recording a sequence of machine code instructions performed by a processor as trace data while executing a portion of said computer program;
• accessing a mapping file;
• translating a source line of said computer program into one or more corresponding machine code instructions according to a mapping found in the mapping file;
• searching through at least a portion of the trace data to determine whether any machine code instruction in the one or more corresponding machine code instructions has been executed;
• and
• displaying an indication of whether any machine code instruction in the one or more corresponding machine code instructions has been executed.

A computer readable medium having stored thereon sequences of instructions for validating a testing procedure in a computer program, the sequences of instructions including instructions for performing the steps of:

• recording a sequence of machine code instructions performed by a processor as trace data while executing a portion of said computer program;
• accessing a mapping file;
• translating a source line of said computer program into one or more corresponding machine code instructions according to a mapping found in the mapping file;
• searching through at least a portion of the trace data to determine whether any machine code instruction in the one or more corresponding machine code instructions has been executed;
• and
• annotating a source code display with an indication of whether any machine code instructions in the one or more corresponding machine code instructions has been executed.

A method of validating a testing procedure in a computer program comprising:

• recording a sequence of machine code instructions performed by a processor as trace data while executing a portion of said computer program, wherein said recording is performed without instrumenting said computer program;
• accessing a mapping file;
• translating a source line of said computer program into one or more corresponding machine code instructions according to a mapping found in the mapping file;
• searching through at least a portion of the trace data to determine whether any machine code instruction in the one or more corresponding machine code instructions has been executed;
• and
• displaying an indication of whether any machine code instruction in the one or more corresponding machine code instructions has been executed.

A method of validating a testing procedure in a computer program comprising:

• recording a sequence of machine code instructions performed by a processor as trace data while executing a portion of said computer program, wherein said recording is performed without instrumenting said computer program;
• accessing a mapping file;
• translating a source line of said computer program into one or more corresponding machine code instructions according to a mapping found in the mapping file;
• searching through at least a portion of the trace data to determine whether any machine code instruction in the one or more corresponding machine code instructions has been executed;
• and
• annotating a source code display with an indication of whether any machine code instruction in the one or more corresponding machine code instructions has been executed.

A system for validating a testing procedure in a computer program comprising:

• means for recording a sequence of machine code instructions performed by a processor as trace data while executing a portion of said computer program, wherein said recording is performed without instrumenting said computer program;
• means for accessing a mapping file;
• means for translating a source line of said computer program into one or more corresponding machine code instructions according to a mapping found in the mapping file;
• means for searching through at least a portion of the trace data to determine whether any machine code instruction in the one or more corresponding machine code instructions has been executed;
• and
• means for displaying an indication of whether any machine code instruction in the one or more corresponding machine code instructions has been executed.

A system for validating a testing procedure in a computer program comprising:

• means for recording a sequence of machine code instructions performed by a processor as trace data while executing a portion of said computer program, wherein said recording is performed without instrumenting said computer program;
• means for accessing a mapping file;
• means for translating a source line of said computer program into one or more corresponding machine code instructions according to a mapping found in the mapping file;
• means for searching through at least a portion of the trace data to determine whether any machine code instruction in the one or more corresponding machine code instructions has been executed;
• and
• means for annotating a source code display with an indication of whether any machine code instruction in the one or more corresponding machine code instructions has been executed.

A computer readable medium having stored thereon sequences of instructions for validating a testing procedure in a computer program, the sequences of instructions including instructions for performing the steps of:

• recording a sequence of machine code instructions performed by a processor as trace data while executing a portion of said computer program, wherein said recording is performed without instrumenting said computer program;
• accessing a mapping file;
• translating a source line of said computer program into one or more corresponding machine code instructions according to a mapping found in the mapping file;
• searching through at least a portion of the trace data to determine whether any machine code instruction in the one or more corresponding machine code instructions has been executed;
• and
• displaying an indication of whether any machine code instruction in the one or more corresponding machine code instructions has been executed.

A computer readable medium having stored thereon sequences of instructions for validating a testing procedure in a computer program, the sequences of instructions including instructions for performing the steps of:

• recording a sequence of machine code instructions performed by a processor as trace data while executing a portion of said computer program, wherein said recording is performed without instrumenting said computer program;
• accessing a mapping file;
• translating a source line of said computer program into one or more corresponding machine code instructions according to a mapping found in the mapping file;
• searching through at least a portion of the trace data to determine whether any machine code instruction in the one or more corresponding machine code instructions has been executed;
• and
• annotating a source code display with an indication of whether any machine code instruction in the one or more corresponding machine code instructions has been executed.

A method of validating a testing procedure in a computer program comprising:

• recording a sequence of machine code instructions performed by a processor as trace data while executing a portion of said computer program;
• searching through at least a portion of the trace data to determine whether a particular machine code instruction has been executed;
• and
• displaying an indication of whether said particular machine code instruction has been executed, wherein said displaying comprises annotating a source code display with an indication of whether said particular machine code instruction has been executed.

A system for validating a testing procedure in a computer program comprising:

• means for recording a sequence of machine code instructions performed by a processor as trace data while executing a portion of said computer program;
• means for searching through at least a portion of the trace data to determine whether a particular machine code instruction has been executed;
• and
• means for displaying an indication of whether said particular machine code has been executed, wherein said means for displaying comprises means for annotating a source code display with an indication of whether said particular machine code instruction has been executed.

A computer readable medium having stored thereon sequences of instructions for validating a testing procedure in a computer program, the sequences of instructions including instructions for performing the steps of:

• recording a sequence of machine code instructions performed by a processor as trace data while executing a portion of said computer program;
• searching through at least a portion of the trace data to determine whether a particular machine code instruction has been executed;
• and
• displaying an indication of whether said particular machine code instruction has been executed, wherein said displaying comprises annotating a source code display with an indication of whether said particular machine code instruction has been executed.

A method of validating a testing procedure in a computer program comprising:

• recording a sequence of machine code instructions performed by a processor as trace data while executing a portion of said computer program, wherein said recording is performed without instrumenting said computer program;
• searching through at least a portion of the trace data to determine whether a particular machine code instruction has been executed;
• and
• displaying an indication of whether said particular machine code instruction has been executed, wherein said displaying comprises annotating a source code display with an indication of whether said particular machine code instruction has been executed.

A system for validating a testing procedure in a computer program comprising:

• means for recording a sequence of machine code instructions performed by a processor as trace data while executing a portion of said computer program, wherein said recording is performed without instrumenting said computer program;
• means for searching through at least a portion of the trace data to determine whether a particular machine code instruction has been executed;
• and
• means for displaying an indication of whether said particular machine code has been executed, wherein said means for displaying comprises means for annotating a source code display with an indication of whether said particular machine code instruction has been executed.

A computer readable medium having stored thereon sequences of instructions for validating a testing procedure in a computer program, the sequences of instructions including instructions for performing the steps of:

• recording a sequence of machine code instructions performed by a processor as trace data while executing a portion of said computer program, wherein said recording is performed without instrumenting said computer program;
• searching through at least a portion of the trace data to determine whether a particular machine code instruction has been executed;
• and
• displaying an indication of whether said particular machine code instruction has been executed, wherein said displaying comprises annotating a source code display with an indication of whether said particular machine code instruction has been executed.