公开(公告)号：US08789023B2

公开(公告)日：2014-07-22

申请号：US13414263

申请日：2012-03-07

Applicant: Michael Lindahl ,  Andre Yew ,  Mallory Morgan Green, II ,  Michael Johnson ,  Allan Craig Franklin ,  Daniel O'Dowd ,  Neil Puthuff

Inventor： Michael Lindahl ,  Andre Yew ,  Mallory Morgan Green, II ,  Michael Johnson ,  Allan Craig Franklin ,  Daniel O'Dowd ,  Neil Puthuff

IPC: G06F9/44 ,  G06F9/45 ,  G06F11/36

CPC classification number: G06F11/364 ,  G05B2219/23283 ,  G06F11/3636

Abstract: A method finds an error in a computer program. A plurality of execution breakpoints are set in the computer program. A portion of the execution of the computer program is simulated as recorded in the trace data in the reverse order until one a plurality of conditions is met, wherein one of the plurality of conditions is an attempt to execute a machine instruction associated with one of the plurality of execution breakpoints.

Abstract translation: 一种方法在计算机程序中发现错误。 在计算机程序中设置多个执行断点。 计算机程序的执行的一部分以相反的顺序被记录在跟踪数据中，直到满足多个条件之一为止，其中多个条件之一是尝试执行与其中一个条件相关联的机器指令 多个执行断点。

公开(公告)号：US08015552B1

公开(公告)日：2011-09-06

申请号：US10898457

申请日：2004-07-23

Applicant: Michael Lindahl ,  Andre Yew ,  Mallory Morgan Green, II ,  Michael Johnson ,  Allan Craig Franklin ,  Daniel O'Dowd ,  Neil Puthuff

Inventor： Michael Lindahl ,  Andre Yew ,  Mallory Morgan Green, II ,  Michael Johnson ,  Allan Craig Franklin ,  Daniel O'Dowd ,  Neil Puthuff

IPC: G06F9/44 ,  G06F9/45

CPC classification number: G06F9/455 ,  G06F11/3636

Abstract: A method of validating a testing procedure in a computer program is disclosed. A sequence of machine code instructions performed by a processor is recorded as trace data. Further, a mapping file is accessed. In addition, a source line is translated into a plurality of machine code instructions according to a mapping found in the mapping file. Accordingly, at least a portion of the trace data is searched through to determine whether each machine instruction in the plurality of machine instructions has been executed. An indication is displayed of whether any of the machine instructions in the plurality of machine instructions has been executed.

Abstract translation: 公开了一种在计算机程序中验证测试程序的方法。 由处理器执行的一系列机器码指令被记录为跟踪数据。 此外，访问映射文件。 此外，源线根据映射文件中的映射被转换成多个机器码指令。 因此，搜索跟踪数据的至少一部分，以确定多个机器指令中的每个机器指令是否已被执行。 显示多个机器指令中的机器指令是否已被执行的指示。