METHOD AND SYSTEM FOR DEBUGGING OF A PROGRAM
    1.
    发明申请
    METHOD AND SYSTEM FOR DEBUGGING OF A PROGRAM 审中-公开
    用于调试程序的方法和系统

    公开(公告)号:US20140282414A1

    公开(公告)日:2014-09-18

    申请号:US13804183

    申请日:2013-03-14

    CPC classification number: G06F11/3664

    Abstract: A computer implemented method for debugging of a program may include parsing a code segment of the program, the code segment invoking one or a plurality of execution events during an execution of the program to derive a plurality of questions, each relating to an execution event of said one or a plurality of execution events, based on the parsing of the code segment and on information recorded during the execution of the program. The method may also include selecting one of the questions as a current question. The method may further include presenting in a user interface the current question with one or a plurality of causes related to the current question, and one or a plurality of other questions of said one or a plurality of questions for selection by the user.

    Abstract translation: 用于调试程序的计算机实现方法可以包括解析程序的代码段,代码段在执行程序期间调用一个或多个执行事件以导出多个问题,每个问题涉及执行事件 所述一个或多个执行事件基于代码段的解析以及在执行程序期间记录的信息。 该方法还可以包括选择问题之一作为当前问题。 该方法可以进一步包括在用户界面中呈现与当前问题相关的一个或多个原因的当前问题,以及用户选择的所述一个或多个问题中的一个或多个其他问题。

    System and method for debugging computer program based on execution history
    2.
    发明授权
    System and method for debugging computer program based on execution history 有权
    基于执行历史调试计算机程序的系统和方法

    公开(公告)号:US08935673B1

    公开(公告)日:2015-01-13

    申请号:US13691155

    申请日:2012-11-30

    CPC classification number: G06F11/3636 G06F11/3612

    Abstract: A system and method are provided for enhanced navigation along execution time and code space in a debugger to assist a user in remediating errors, streamlining, or reverse engineering a computer program and the source code thereof. Snapshots of system states are recorded, a causality tree of commands is constructed through execution of the program to be debugged, and an intelligent display of system states captured during runtime and indexed or cross-referenced by time are displayed to the user in an intelligent manner to aid the user with certain debugging tasks. Additionally, further features in assisting the user to locate a root cause of an error or unexpected value and remediate that cause are also provided.

    Abstract translation: 提供了一种系统和方法,用于沿调试器中的执行时间和代码空间增强导航,以帮助用户纠正错误,简化或逆向工程计算机程序及其源代码。 记录系统状态的快照,通过执行要调试的程序构建命令的因果树,并且以智能方式向用户显示在运行时捕获的系统状态并按时间索引或交叉引用的智能显示 以帮助用户进行某些调试任务。 此外,还提供了辅助用户定位错误或意外价值的根本原因并修复该原因的其他特征。

    Method and system for automated debugging of a device under test

    公开(公告)号:US09928328B1

    公开(公告)日:2018-03-27

    申请号:US15164514

    申请日:2016-05-25

    CPC classification number: G06F17/5045 G06F17/505

    Abstract: A method for automated debugging of a design under test (DUT), including using a processor, (a) identifying a value of a signal at a specific time instance in which a user has indicated interest; (b) performing driver tracing based on structural analysis and signal analysis to determine one or a plurality of drivers of the identified value in the signal; (c) if the driver tracing returns a single driver of said one or a plurality of drivers, presenting the returned single driver to the user via an output device; and (d) if the driver tracing returns a plurality of drivers of said one or a plurality of drivers, performing formal analysis on a compiled sub-structure of the DUT to which all of said returned plurality of drivers are related to determine a single driver from said returned plurality of drivers, and presenting the determined single driver from said returned plurality of drivers to the user via the output device.

    GUI based verification at multiple abstraction levels
    4.
    发明授权
    GUI based verification at multiple abstraction levels 有权
    基于GUI的验证在多个抽象级别

    公开(公告)号:US09280627B1

    公开(公告)日:2016-03-08

    申请号:US13964846

    申请日:2013-08-12

    CPC classification number: G06F17/5045 G06F17/5022

    Abstract: A system and method that implement an object-oriented model for requirements of a hardware design in order to verify the design. The object-oriented model abstractly captures the design topology, capability, control, and status of the design. An object-oriented model or definition of a hardware design is based on one or more specifications or standards implemented with the design. With the object-oriented model, a system and method for storing and displaying data captured during a test run is implemented. Graphical displays are defined to show run information for abstract objects of the design. Predefined graphical displays may be altered to accommodate the features of the object-oriented model and new graphical displays may be defined for objects in the model.

    Abstract translation: 为了验证设计,实现了硬件设计要求的面向对象模型的系统和方法。 面向对象模型抽象地捕捉设计的设计拓扑,能力,控制和状态。 面向对象的模型或硬件设计的定义基于通过设计实现的一个或多个规范或标准。 使用面向对象的模型,实现了在测试运行期间捕获的数据的存储和显示的系统和方法。 图形显示被定义为显示设计的抽象对象的运行信息。 可以改变预定义的图形显示以适应面向对象模型的特征,并且可以为模型中的对象定义新的图形显示。

    Debugging process
    6.
    发明授权

    公开(公告)号:US10176078B1

    公开(公告)日:2019-01-08

    申请号:US14838709

    申请日:2015-08-28

    Abstract: The present disclosure relates to a system and method for capturing log messages in a post-processing debugging environment. Embodiments may include receiving a processor model associated with an electronic design and generating, using one or more processors and the processor model, a complete view of the state of the memory. Embodiments may further include writing, using one or more processors and the processor model, a log message whenever a designated message logging function is reached within the complete view of the state of the memory.

    Enriched log viewer
    7.
    发明授权
    Enriched log viewer 有权
    丰富的日志查看器

    公开(公告)号:US09244814B1

    公开(公告)日:2016-01-26

    申请号:US13926212

    申请日:2013-06-25

    CPC classification number: G06F11/3664 G06F11/3692

    Abstract: A computer implemented method of debugging with enriched message log capability may include, for each instance during an execution of a program to be debugged in which a message is issued, automatically analyzing the program code included in a scope of the program relating to the message to identify one or a plurality of variables. The method may also include saving on a non-transitory computer readable storage medium a value at that instance of each of said one or a plurality of variables. The method may further include causing a message log that includes the message to be presented on a display device, associating the value of each said one or a plurality of variables with the message.

    Abstract translation: 具有丰富的消息日志功能的计算机实现的调试方法可以包括:在执行待调试的程序的每个实例期间,在其中发出消息的过程中,可以自动分析包括在与消息有关的程序的范围内的程序代码 识别一个或多个变量。 该方法还可以包括在非瞬时计算机可读存储介质上保存在所述一个或多个变量中的每一个的那个情况下的值。 该方法可以进一步包括使消息日志包括要在显示设备上呈现的消息,将每个所述一个或多个变量的值与消息相关联。

    DEBUGGING SESSION HANDOVER
    8.
    发明申请
    DEBUGGING SESSION HANDOVER 审中-公开
    调试会话切换

    公开(公告)号:US20140281730A1

    公开(公告)日:2014-09-18

    申请号:US13803955

    申请日:2013-03-14

    CPC classification number: G06F11/366 G06F11/3636

    Abstract: A method includes, during operation of a software debugging tool on a software program, and upon indication by a first user of the software debugging tool of a step of the operation as a event of interest, collecting data related to that event of interest. A unique identifier is assigned to the collected data. Access to the collected data is enabled for a second user of the software debugging tool.

    Abstract translation: 一种方法包括在软件程序上的软件调试工具的操作期间,以及在由第一用户指示作为感兴趣事件的操作步骤的软件调试工具时,收集与该感兴趣事件有关的数据。 为收集的数据分配唯一的标识符。 为软件调试工具的第二个用户启用访问收集的数据。

Patent Agency Ranking