专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US09052983B2 Source code patches 有权
标题翻译：源代码补丁
公开(公告)号：US09052983B2
公开(公告)日：2015-06-09
申请号：US13350841
申请日：2012-01-16
申请人： Eitan Daniel Farchi , Abel Gordon , Nadav Yosef Har'El , Moran Shochat
发明人： Eitan Daniel Farchi , Abel Gordon , Nadav Yosef Har'El , Moran Shochat
IPC分类号： G06F9/44
CPC分类号： G06F8/71
摘要： Apparatus, process and product useful for source code patches. The computerized apparatus having a processor, the apparatus comprising: a source code obtainer for obtaining a source code of a computer program; a patch instructions obtainer for obtaining a set of source code patches instructions, wherein a first patch instructions comprise a set of modification instructions to the source code associated with a first source code patch, wherein a second patch instructions comprise a set of modification instruction to the source code associated with a second source code patch; a source code editor configured to display to a user the source code and annotations associated with applying each source code patch simultaneously; and wherein said source code editor is further configured to edit the source code in accordance with user input, wherein based on user input the first and second source code patch instructions are modified.
摘要翻译：用于源代码补丁的设备，过程和产品。所述计算机化装置具有处理器，所述装置包括：源代码获取器，用于获得计算机程序的源代码; 用于获得一组源代码补丁指令的补丁指令获取器，其中第一补丁指令包括与第一源代码补丁相关联的源代码的一组修改指令，其中第二补丁指令包括一组修改指令，与第二源代码补丁相关联的源代码; 源代码编辑器，被配置为向用户显示与代码片段同时应用相关联的源代码和注释; 并且其中所述源代码编辑器还被配置为根据用户输入来编辑源代码，其中基于用户输入修改第一和第二源代码补丁指令。

2. 发明申请

US20080127099A1 Multi-Dimension Code Coverage 失效
标题翻译：多维码代码覆盖
公开(公告)号：US20080127099A1
公开(公告)日：2008-05-29
申请号：US11466487
申请日：2006-08-23
申请人： Shmuel UR , Eitan Daniel Farchi
发明人： Shmuel UR , Eitan Daniel Farchi
IPC分类号： G06F11/36
CPC分类号： G06F11/3676
摘要： A method for testing software under test (SUT), including selecting a type of coverage for testing the SUT, and receiving from a human operator a Boolean predicate to be used in evaluation of the SUT. In response to the type of coverage and the predicate, a test of the SUT is generated. The method also includes performing an execution of the test so as to identify elements of the SUT that belong to the selected type and that are exercised by the test. The method further includes automatically evaluating the predicate for each of the identified elements, and determining the elements exercised by the test for which the predicate evaluates to true to be covered elements of the SUT.
摘要翻译：一种用于测试测试软件（SUT）的方法，包括选择一种用于测试SUT的覆盖范围，以及从人类操作员接收用于评估SUT的布尔谓词。响应于覆盖类型和谓词，生成SUT的测试。该方法还包括执行测试，以便识别属于所选类型并由测试行使的SUT的元素。该方法还包括自动评估每个识别的元素的谓词，以及确定由谓词评估为真的测试所执行的元素以被覆盖的SUT元素。

3. 发明授权

US09158533B2 Manipulating source code patches 有权
标题翻译：操纵源代码补丁
公开(公告)号：US09158533B2
公开(公告)日：2015-10-13
申请号：US13350844
申请日：2012-01-16
申请人： Eitan Daniel Farchi , Abel Gordon , Nadav Yosef Har'El , Moran Shochat
发明人： Eitan Daniel Farchi , Abel Gordon , Nadav Yosef Har'El , Moran Shochat
IPC分类号： G06F9/44 , G06F9/45 , G06F9/445
CPC分类号： G06F8/71
摘要： A computerized apparatus, a computer-implemented method and a computer program product for manipulating source code patches. The apparatus comprising a processor that is configured to: obtain a source code patch comprising plurality of source code modification instructions with respect to a source code and to automatically split the source code patch into plurality of sub-patches, wherein applying the plurality of sub-patches on the source code in an order is equivalent to applying the source code patch.
摘要翻译：计算机化设备，计算机实现的方法以及用于操纵源代码补丁的计算机程序产品。该设备包括：处理器，被配置为：获得源代码补丁，其包含关于源代码的多个源代码修改指令，并且自动将源代码补丁拆分成多个子补丁，其中，源代码中的补丁顺序相当于应用源代码补丁。

4. 发明申请

US20130185696A1 MANIPULATING SOURCE CODE PATCHES 有权
标题翻译：操纵源码代码
公开(公告)号：US20130185696A1
公开(公告)日：2013-07-18
申请号：US13350844
申请日：2012-01-16
申请人： Eitan Daniel Farchi , Abel Gordon , Nadav Yosef Har'El , Moran Shochat
发明人： Eitan Daniel Farchi , Abel Gordon , Nadav Yosef Har'El , Moran Shochat
IPC分类号： G06F9/44
CPC分类号： G06F8/71
摘要： A computerized apparatus, a computer-implemented method and a computer program product for manipulating source code patches. The apparatus comprising a processor that is configured to: obtain a source code patch comprising plurality of source code modification instructions with respect to a source code and to automatically split the source code patch into plurality of sub-patches, wherein applying the plurality of sub-patches on the source code in an order is equivalent to applying the source code patch.
摘要翻译：计算机化设备，计算机实现的方法以及用于操纵源代码补丁的计算机程序产品。该设备包括：处理器，被配置为：获得源代码补丁，其包含关于源代码的多个源代码修改指令，并且自动将源代码补丁拆分成多个子补丁，其中，源代码中的补丁顺序相当于应用源代码补丁。

5. 发明授权

US08370816B2 Device, method and computer program product for evaluating a debugger script 失效
标题翻译：用于评估调试器脚本的设备，方法和计算机程序产品
公开(公告)号：US08370816B2
公开(公告)日：2013-02-05
申请号：US11743164
申请日：2007-05-02
申请人： Eitan Daniel Farchi , Shachar Fienblit , Shay Gammer , Sheli Rahav , Orna Raz-Pelleg , Dalit Tzafrir , Aviad Zlotnick
发明人： Eitan Daniel Farchi , Shachar Fienblit , Shay Gammer , Sheli Rahav , Orna Raz-Pelleg , Dalit Tzafrir , Aviad Zlotnick
IPC分类号： G06F9/44
CPC分类号： G06F11/3644
摘要： A method for evaluating a debugger script, the method includes: (i) receiving a debugger script that includes a first debugger breakpoint that is associated with a certain program line number; and determining a validity of the first debugger breakpoint in response to a comparison between expected content associated with the first debugger breakpoint and between an actual content of at least a portion of a certain program line group that comprises a certain program line identified by the certain program line number.
摘要翻译：一种用于评估调试器脚本的方法，所述方法包括：（i）接收包括与特定程序行号相关联的第一调试器断点的调试器脚本; 以及响应于与所述第一调试器断点相关联的预期内容与所述特定程序行组的至少一部分的实际内容之间的比较确定所述第一调试器断点的有效性，所述特定程序行组包括由所述特定程序电话号码。

6. 发明申请

US20110126173A1 VERIFYING SYNCHRONIZATION COVERAGE IN LOGIC CODE 有权
标题翻译：逻辑代码中的验证同步覆盖
公开(公告)号：US20110126173A1
公开(公告)日：2011-05-26
申请号：US12626654
申请日：2009-11-26
申请人： Rachel Tzoref , Eitan Daniel Farchi , Ehud Trainin , Aviad Zlotnick
发明人： Rachel Tzoref , Eitan Daniel Farchi , Ehud Trainin , Aviad Zlotnick
IPC分类号： G06F9/44
CPC分类号： G06F9/52 , G06F11/3688
摘要： A computer implemented system and method for measuring synchronization coverage for one or more concurrently executed threads is provided. The method comprises updating an identifier of a first thread to comprise an operation identifier associated with a first operation, in response to determining that the first thread has performed the first operation; associating the identifier of the first thread with one or more resources accessed by the first thread; and generating a synchronization coverage model by generating a relational data structure of said one or more resources, wherein a resource is associated with at least the identifier of the first thread and an identifier of a second thread identifier, such that the second thread waits for the first thread before accessing said resource.
摘要翻译：提供了一种用于测量一个或多个并行执行的线程的同步覆盖的计算机实现的系统和方法。响应于确定第一线程已经执行了第一操作，该方法包括更新第一线程的标识符以包括与第一操作相关联的操作标识符; 将第一线程的标识符与由第一线程访问的一个或多个资源相关联; 以及通过生成所述一个或多个资源的关系数据结构来生成同步覆盖模型，其中资源至少与第一线程的标识符和第二线程标识符的标识符相关联，使得第二线程等待在访问所述资源之前的第一个线程。

7. 发明授权

US07853932B2 System, method and computer program product for checking a software entity 有权
标题翻译：用于检查软件实体的系统，方法和计算机程序产品
公开(公告)号：US07853932B2
公开(公告)日：2010-12-14
申请号：US11456226
申请日：2006-07-10
申请人： Hana Chockler , Eitan Daniel Farchi , Ziv Glazberg , Benyamin Godlin
发明人： Hana Chockler , Eitan Daniel Farchi , Ziv Glazberg , Benyamin Godlin
IPC分类号： G06F9/44
CPC分类号： G06F9/44589
摘要： System, method and computer program product for checking a software entity, the method includes: providing a direct acyclic graph representative of possible execution paths of the software entity; wherein multiple successor nodes that succeed a certain parent node are associated with different execution probabilities; randomly selecting a successor node out of the multiple successor nodes in response the execution probabilities; and checking the software entity in response to the selection.
摘要翻译：用于检查软件实体的系统，方法和计算机程序产品，所述方法包括：提供表示所述软件实体的可能执行路径的直接非循环图; 其中继承某个父节点的多个后继节点与不同的执行概率相关联; 响应于执行概率，随机选择多个后继节点中的后继节点; 并根据选择检查软件实体。

8. 发明申请

US20090106740A1 Replay of program executions using cross-entropy 失效
标题翻译：使用交叉熵来重放程序执行
公开(公告)号：US20090106740A1
公开(公告)日：2009-04-23
申请号：US12099791
申请日：2008-04-09
申请人： Hana Chockler , Eitan Daniel Farchi , Benyamin Godlin
发明人： Hana Chockler , Eitan Daniel Farchi , Benyamin Godlin
IPC分类号： G06F9/44
CPC分类号： G06F11/3604 , G06F11/3676
摘要： A method for replay of program executions using cross-entropy is provided. The method comprises identifying a first sequence of decision points, wherein the first sequence represents a first execution of a logic code; identifying a second sequence of decision points, wherein the second sequence represents a second execution of the logic code; computing a distance between the first and second executions; and minimizing the distance between the first and second executions using cross-entropy, in response to determining that the second execution is not within a predetermined threshold distance of the first execution.
摘要翻译：提供了使用交叉熵来重放程序执行的方法。该方法包括识别第一序列的决策点，其中第一序列表示逻辑码的第一次执行; 识别决定点的第二序列，其中所述第二序列表示所述逻辑代码的第二执行; 计算第一和第二执行之间的距离; 以及响应于确定所述第二执行不在所述第一执行的预定阈值距离内，使用交叉熵来最小化所述第一和第二执行之间的距离。

9. 发明授权

US08826223B2 Techniques for objective assessment and improvement of software quality 有权
标题翻译：用于客观评估和提高软件质量的技术
公开(公告)号：US08826223B2
公开(公告)日：2014-09-02
申请号：US13449431
申请日：2012-04-18
申请人： Parijat Dube , Eitan Daniel Farchi
发明人： Parijat Dube , Eitan Daniel Farchi
IPC分类号： G06F9/44 , G06F9/445
CPC分类号： G06F8/61
摘要： Techniques for quantifying and improving consumability of software bundles are provided. In one aspect, a method for quantifying a consumability of a software bundle is provided which includes the following steps. Constituent software products of the bundle are identified. Software components an installation of which is a pre-requirement for an installation of the software products are identified. Software units an installation of which is a pre-requirement for an installation of the software components are identified. Dependency graphs are created for the software components. The dependency graphs for the components are merged to create dependency graphs for the products. The dependency graphs for the products are merged to create a dependency graph for the bundle. The dependency graph for the bundle is used to quantify the consumability of the bundle.
摘要翻译：提供了量化和改进软件包消耗性的技术。一方面，提供了一种用于量化软件包的可消耗性的方法，其包括以下步骤。识别组件的组成软件产品。识别软件组件，其安装是软件产品安装的预先要求。软件单元的安装是对软件组件的安装的预先要求。为软件组件创建依赖关系图。组合的依赖关系图被合并以创建产品的依赖关系图。合并产品的依赖关系图以创建捆绑包的依赖图。束的依赖图用于量化束的可消耗性。

10. 发明申请

US20130283258A1 Techniques for Objective Assessment and Improvement of Software Quality 有权
标题翻译：客观评估和软件质量改进技术
公开(公告)号：US20130283258A1
公开(公告)日：2013-10-24
申请号：US13449431
申请日：2012-04-18
申请人： Parijat Dube , Eitan Daniel Farchi
发明人： Parijat Dube , Eitan Daniel Farchi
IPC分类号： G06F9/445
CPC分类号： G06F8/61
摘要： Techniques for quantifying and improving consumability of software bundles are provided. In one aspect, a method for quantifying a consumability of a software bundle is provided which includes the following steps. Constituent software products of the bundle are identified. Software components an installation of which is a pre-requirement for an installation of the software products are identified. Software units an installation of which is a pre-requirement for an installation of the software components are identified. Dependency graphs are created for the software components. The dependency graphs for the components are merged to create dependency graphs for the products. The dependency graphs for the products are merged to create a dependency graph for the bundle. The dependency graph for the bundle is used to quantify the consumability of the bundle.
摘要翻译：提供了量化和改进软件包消耗性的技术。一方面，提供了一种用于量化软件包的可消耗性的方法，其包括以下步骤。识别组件的组成软件产品。识别软件组件，其安装是软件产品安装的预先要求。软件单元的安装是对软件组件的安装的预先要求。为软件组件创建依赖关系图。组合的依赖关系图被合并以创建产品的依赖关系图。合并产品的依赖关系图以创建捆绑包的依赖图。束的依赖图用于量化束的可消耗性。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式