公开(公告)号：US11782820B2

公开(公告)日：2023-10-10

申请号：US17029828

申请日：2020-09-23

申请人： Ab Initio Technology LLC

发明人： Joyce L. Vigneau ,  Mark Staknis ,  Xin Li

IPC分类号： G06F11/36 ,  G06F11/32

CPC分类号： G06F11/3664 ,  G06F11/323 ,  G06F11/362 ,  G06F11/3636 ,  G06F11/3656 ,  G06F11/3696

摘要： A computer-implemented method for debugging an executable control flow graph that specifies control flow among a plurality of functional modules, with the control flow being represented as transitions among the plurality of functional modules, the computer-implemented method including: specifying a position in the executable control flow graph at which execution of the executable control flow graph is to be interrupted; wherein the specified position represents a transition to a given functional module, a transition to a state in which contents of the given functional module are executed or a transition from the given functional module; starting execution of the executable control flow graph in an execution environment; and at a point of execution representing the specified position, interrupting execution of the executable control flow graph; and providing data representing one or more attributes of the execution environment in which the given functional module is being executed.

公开(公告)号：US20210004319A1

公开(公告)日：2021-01-07

申请号：US17029828

申请日：2020-09-23

申请人： Ab Initio Technology LLC

发明人： Joyce L. Vigneau ,  Mark Staknis ,  Xin Li

IPC分类号： G06F11/36 ,  G06F11/32

摘要： A computer-implemented method for debugging an executable control flow graph that specifies control flow among a plurality of functional modules, with the control flow being represented as transitions among the plurality of functional modules, the computer-implemented method including: specifying a position in the executable control flow graph at which execution of the executable control flow graph is to be interrupted; wherein the specified position represents a transition to a given functional module, a transition to a state in which contents of the given functional module are executed or a transition from the given functional module; starting execution of the executable control flow graph in an execution environment; and at a point of execution representing the specified position, interrupting execution of the executable control flow graph; and providing data representing one or more attributes of the execution environment in which the given functional module is being executed.

公开(公告)号：US10817406B2

公开(公告)日：2020-10-27

申请号：US15942022

申请日：2018-03-30

申请人： Ab Initio Technology LLC

发明人： Joyce L. Vigneau ,  Mark Staknis ,  Xin Li

IPC分类号： G06F11/36 ,  G06F11/32

摘要： A computer-implemented method for debugging an executable control flow graph that specifies control flow among a plurality of functional modules, with the control flow being represented as transitions among the plurality of functional modules, the computer-implemented method including: specifying a position in the executable control flow graph at which execution of the executable control flow graph is to be interrupted; wherein the specified position represents a transition to a given functional module, a transition to a state in which contents of the given functional module are executed or a transition from the given functional module; starting execution of the executable control flow graph in an execution environment; and at a point of execution representing the specified position, interrupting execution of the executable control flow graph; and providing data representing one or more attributes of the execution environment in which the given functional module is being executed.

公开(公告)号：US20190303271A1

公开(公告)日：2019-10-03

申请号：US15942022

申请日：2018-03-30

申请人： Ab Initio Technology LLC

发明人： Joyce L. Vigneau ,  Mark Staknis ,  Xin Li

IPC分类号： G06F11/36

摘要： A computer-implemented method for debugging an executable control flow graph that specifies control flow among a plurality of functional modules, with the control flow being represented as transitions among the plurality of functional modules, the computer-implemented method including: specifying a position in the executable control flow graph at which execution of the executable control flow graph is to be interrupted; wherein the specified position represents a transition to a given functional module, a transition to a state in which contents of the given functional module are executed or a transition from the given functional module; starting execution of the executable control flow graph in an execution environment; and at a point of execution representing the specified position, interrupting execution of the executable control flow graph; and providing data representing one or more attributes of the execution environment in which the given functional module is being executed.