公开(公告)号：US20100050157A1

公开(公告)日：2010-02-25

申请号：US12247083

申请日：2008-10-07

Applicant: Maxime Daniel

Inventor： Maxime Daniel

IPC: G06F9/44

CPC classification number: G06F11/3624

Abstract: A process and system for interactive debugging of a computer program, is provided. One implementation involves providing a class for an object oriented computer program capable of executing on a computer system, the class having class methods defining a semantic field of the class; automatically monitoring the class during execution of the program, and leveraging said class methods by executing the class methods upon object-typed variables to obtain a pseudo-field value; and presenting the pseudo-field value along with fields of the said object-typed variables, on a user interface for debugging purposes.

Abstract translation: 提供了一种用于计算机程序的交互式调试的过程和系统。 一个实现涉及为能够在计算机系统上执行的面向对象的计算机程序提供类，该类具有定义该类的语义域的类方法; 在执行程序期间自动监控类，并通过在对象类型变量上执行类方法来利用所述类方法来获得伪字段值; 并且在用于用于调试目的的用户界面上呈现伪场值以及所述对象类型变量的场。

公开(公告)号：US08291386B2

公开(公告)日：2012-10-16

申请号：US12247083

申请日：2008-10-07

Applicant: Maxime Daniel

Inventor： Maxime Daniel

IPC: G06F9/44

CPC classification number: G06F11/3624

Abstract: A process and system for interactive debugging of a computer program, is provided. One implementation involves providing a class for an object oriented computer program capable of executing on a computer system, the class having class methods defining a semantic field of the class; automatically monitoring the class during execution of the program, and leveraging said class methods by executing the class methods upon object-typed variables to obtain a pseudo-field value; and presenting the pseudo-field value along with fields of the said object-typed variables, on a user interface for debugging purposes.

Abstract translation: 提供了一种用于计算机程序的交互式调试的过程和系统。 一个实现涉及为能够在计算机系统上执行的面向对象的计算机程序提供类，该类具有定义该类的语义域的类方法; 在执行程序期间自动监控类，并通过在对象类型变量上执行类方法来利用所述类方法来获得伪字段值; 并且在用于用于调试目的的用户界面上呈现伪场值以及所述对象类型变量的场。

公开(公告)号：US08370861B2

公开(公告)日：2013-02-05

申请号：US13416209

申请日：2012-03-09

Applicant: Maxime Daniel

Inventor： Maxime Daniel

IPC: G06F7/60 ,  G06F3/00 ,  G06F3/048 ,  G06F9/44

CPC classification number: G06F8/00

Abstract: A method, computer program and system, which, given a set of Boolean state variables, a set of state transitions described as truth tables for the state variables, a set of initial states (that is states that objects happen to be in when they are brand new or when they are introduced into the system), all established by a natural modeling of the application domain, can derive an encoding that is provably isomorphic to the initial one but smaller, and transitions that match exactly the initial transitions but operating upon the new encoding, without incurring a significant time penalty. This effect is obtained by generating the extensive set of significant states, renumbering those states, then modifying the transitions implementation so as to use the renumbered states in place of the original ones.

Abstract translation: 一种方法，计算机程序和系统，其给定一组布尔状态变量，描述为状态变量的真值表的一组状态转换，一组初始状态（这表示当对象恰好在 所有这些都是通过应用程序领域的自然建模而建立的，可以导出与初始过渡相同的初始过渡，过渡与初始过渡完全一致的转换，但是对于 新的编码，而不会产生显着的时间惩罚。 通过生成广泛的一组重要状态，重新编号这些状态，然后修改转换实现，以便使用重新编号的状态来代替原始状态，可以获得这种效果。

公开(公告)号：US20100050159A1

公开(公告)日：2010-02-25

申请号：US12247118

申请日：2008-10-07

Applicant: Maxime Daniel

Inventor： Maxime Daniel

IPC: G06F9/44

CPC classification number: G06F11/3624

Abstract: A system and process for debugging of a computer program, is provided. One implementation includes a function configured for including mark-up information marking certain methods as special fields in a source code of the application program, such annotations denoting debugging instructions and indications of which methods are intended for debugging only; a processing module configured for generating a production version of the application program including the same semantics as the original application program but potentially fewer methods and no debug related annotations, wherein methods that are not annotated as debugging only methods are maintained; and a debugger configured for debugging purposes using the debugging methods.

Abstract translation: 提供了一种用于调试计算机程序的系统和过程。 一个实现包括被配置为将标记某些方法标记为应用程序的源代码中的特殊字段的标记信息的功能，表示调试指令的指示以及哪些方法仅用于调试的指示; 处理模块，其被配置为生成包括与原始应用程序相同的语义的应用程序的生产版本，但潜在地较少的方法和没有调试相关的注释，其中保持不被注释为仅调试方法的方法; 并使用调试方法配置调试器进行调试。

公开(公告)号：US20060143222A1

公开(公告)日：2006-06-29

申请号：US11260556

申请日：2005-10-27

Applicant: Maxime Daniel

Inventor： Maxime Daniel

IPC: G06F17/00 ,  G06F7/00

CPC classification number: G06F8/70

Abstract: A method, program and system for automatic reengineering of an input client code using an API when an API adapter code, is provided for emulating an old version of the API on a new version of the API, wherein the items no more provided in new API are identified, said method comprising the steps of parsing (200) the API adapter source code into a memory representation of this code; building (210) an index of the items of the API adapter code memory representation which have been identified; generating (220) a parametrized code memory representation of replacement code for the calls to the identified items; parsing (230) the input client code into a memory representation of this code; searching (240) in the memory representation of the input client code the calls to an identified item and reading the corresponding call parameters; replacing (260) the calls by the code memory representation of replacement code using the call parameters read in the preceding step; and, generating (270) the code corresponding to the memory representation of the input client code wherein the calls have been replaced.

Abstract translation: 一种用于在API适配器代码用于在新版本的API上仿真API的旧版本时使用API​​自动重新设计输入客户端代码的方法，程序和系统，其中不再在新API中提供的项目 所述方法包括以下步骤：将所述API适配器源代码解析（200）到所述代码的存储器表示中; 建筑物（210）已经识别的API适配器代码存储器表示的项目的索引; 生成（220）对所识别的项目的呼叫的替换代码的参数化代码存储器表示; 将输入客户端代码解析（230）到该代码的存储器表示中; 在输入客户端的存储器表示中搜索（240）代码对所识别的项目的调用并读取相应的调用参数; 使用前述步骤中读取的调用参数替换代码（260）代码存储器表示的代码（260）; 并且生成（270）与所述呼叫已被替换的输入客户端代码的存储器表示相对应的代码。

公开(公告)号：US08752020B2

公开(公告)日：2014-06-10

申请号：US12247118

申请日：2008-10-07

Applicant: Maxime Daniel

Inventor： Maxime Daniel

IPC: G06F9/44 ,  G06F11/36

CPC classification number: G06F11/3624

Abstract: A system and process for debugging of a computer program, is provided. One implementation includes a function configured for including mark-up information marking certain methods as special fields in a source code of the application program, such annotations denoting debugging instructions and indications of which methods are intended for debugging only; a processing module configured for generating a production version of the application program including the same semantics as the original application program but potentially fewer methods and no debug related annotations, wherein methods that are not annotated as debugging only methods are maintained; and a debugger configured for debugging purposes using the debugging methods.

Abstract translation: 提供了一种用于调试计算机程序的系统和过程。 一个实现包括被配置为将标记某些方法标记为应用程序的源代码中的特殊字段的标记信息的功能，表示调试指令的指示以及哪些方法仅用于调试的指示; 处理模块，其被配置为生成包括与原始应用程序相同的语义的应用程序的生产版本，但潜在地较少的方法和没有调试相关的注释，其中保持不被注释为仅调试方法的方法; 并使用调试方法配置调试器进行调试。

公开(公告)号：US08683439B2

公开(公告)日：2014-03-25

申请号：US12247092

申请日：2008-10-07

Applicant: Maxime Daniel

Inventor： Maxime Daniel

IPC: G06F9/44

CPC classification number: G06F11/3664 ,  G06F11/3624

Abstract: A process and system for debugging of a computer program, is provided. One implementation involves including mark-up information into source code of the application program, generating a debug-enabled version of the computer program including debugging methods based on the mark-up information, and providing the debug-enabled version of the program computer to a debugger for debugging purposes using the debugging methods.

Abstract translation: 提供了一种用于调试计算机程序的过程和系统。 一个实现涉及将标记信息包括到应用程序的源代码中，生成包括基于标记信息的调试方法的计算机程序的启用调试版本，并将程序计算机的调试功能版本提供给 调试器用于调试目的使用调试方法。

公开(公告)号：US08261294B2

公开(公告)日：2012-09-04

申请号：US12256688

申请日：2008-10-23

Applicant: Maxime Daniel

Inventor： Maxime Daniel

IPC: G06F7/60 ,  G06F3/00 ,  G06F3/048 ,  G06F9/44

CPC classification number: G06F8/00

Abstract: A method, computer program and system, which, given a set of Boolean state variables, a set of state transitions described as truth tables for the the state variables, a set of initial states (that is states that objects happen to be in when they are brand new or when they are introduced into the system), all established by a natural modeling of the application domain, can derive an encoding that is provably isomorphic to the initial one but smaller, and transitions that match exactly the initial transitions but operating upon the new encoding, without incurring a significant time penalty. This effect is obtained by generating the extensive set of significant states, renumbering those states, then modifying the transitions implementation so as to use the renumbered states in place of the original ones.

Abstract translation: 一种方法，计算机程序和系统，其给定一组布尔状态变量，描述为状态变量的真值表的一组状态转换，一组初始状态（表示对象恰好在它们 都是全新的，或者当被引入到系统中时）都是通过应用领域的自然建模来建立的，可以导出与初始过渡相似但是较小的过渡，和与初始过渡完全匹配的过渡 新的编码，而不会产生重大的时间损失。 通过生成广泛的一组重要状态，重新编号这些状态，然后修改转换实现，以便使用重新编号的状态来代替原始状态，可以获得这种效果。

公开(公告)号：US20120174123A1

公开(公告)日：2012-07-05

申请号：US13416209

申请日：2012-03-09

Applicant: MAXIME DANIEL

Inventor： MAXIME DANIEL

IPC: G06F9/54

CPC classification number: G06F8/00

Abstract: A method, computer program and system, which, given a set of Boolean state variables, a set of state transitions described as truth tables for the state variables, a set of initial states (that is states that objects happen to be in when they are brand new or when they are introduced into the system), all established by a natural modeling of the application domain, can derive an encoding that is provably isomorphic to the initial one but smaller, and transitions that match exactly the initial transitions but operating upon the new encoding, without incurring a significant time penalty. This effect is obtained by generating the extensive set of significant states, renumbering those states, then modifying the transitions implementation so as to use the renumbered states in place of the original ones.

Abstract translation: 一种方法，计算机程序和系统，其给定一组布尔状态变量，描述为状态变量的真值表的一组状态转换，一组初始状态（这表示当对象恰好在 所有这些都是通过应用程序领域的自然建模而建立的，可以导出与初始过渡相同的初始过渡，过渡与初始过渡完全一致的转换，但是对于 新的编码，而不会产生显着的时间惩罚。 通过生成广泛的一组重要状态，重新编号这些状态，然后修改转换实现，以便使用重新编号的状态来代替原始状态，可以获得这种效果。

公开(公告)号：US20100050158A1

公开(公告)日：2010-02-25

申请号：US12247092

申请日：2008-10-07

Applicant: Maxime Daniel

Inventor： Maxime Daniel

IPC: G06F9/44

CPC classification number: G06F11/3664 ,  G06F11/3624

Abstract: A process and system for debugging of a computer program, is provided. One implementation involves including mark-up information into source code of the application program, generating a debug-enabled version of the computer program including debugging methods based on the mark-up information, and providing the debug-enabled version of the program computer to a debugger for debugging purposes using the debugging methods.

Abstract translation: 提供了一种用于调试计算机程序的过程和系统。 一个实现涉及将标记信息包括到应用程序的源代码中，生成包括基于标记信息的调试方法的计算机程序的启用调试版本，并将程序计算机的调试功能版本提供给 调试器用于调试目的使用调试方法。