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

1. 发明授权

US09367423B1 Methods, systems, and articles of manufacture for using multiple modes during execution of a program 有权
标题翻译：在程序执行过程中使用多种模式的方法，系统和制品
公开(公告)号：US09367423B1
公开(公告)日：2016-06-14
申请号：US13189436
申请日：2011-07-22
申请人： Meir Ovadia , Rodion Milnikov
发明人： Meir Ovadia , Rodion Milnikov
IPC分类号： G06F9/44 , G06F11/34
CPC分类号： G06F11/3466 , G06F8/43 , G06F11/362
摘要： Disclosed are various embodiments relating to methods, systems, and articles of manufacture for using multiple modes during execution of a program. Various embodiments enable a use to switch among multiple modes of execution of a program during an execution of the program without recompiling a higher level code of the program or without restarting the execution of the program from the beginning. Some embodiments enable the user to switch among different modes regardless of whether or not the preparation for the execution of the program in modes other than the first mode is available. Some embodiments enable the user to switch among different modes of execution of a program while sharing the same environment or context of the execution of the program among these different modes of execution.
摘要翻译：公开了涉及在执行程序期间使用多种模式的方法，系统和制品的各种实施例。各种实施例使得能够在程序的执行期间在程序的多个执行模式之间切换而不重新编译程序的较高级代码，或者不从头开始重新启动程序的执行。一些实施例使得用户能够在不同的模式之间切换，而不管在第一模式之外的模式下的程序的执行准备是否可用。一些实施例使得用户能够在不同的执行模式之间切换不同的程序执行模式，同时在这些不同的执行模式之间共享相同的程序执行环境或上下文。

2. 发明申请

US20090172649A1 AUTOMATION OF SOFTWARE VERIFICATION 有权
标题翻译：软件验证自动化
公开(公告)号：US20090172649A1
公开(公告)日：2009-07-02
申请号：US11966834
申请日：2007-12-28
申请人： Marat Teplitsky , Meir Ovadia , Noa Gradovitch
发明人： Marat Teplitsky , Meir Ovadia , Noa Gradovitch
IPC分类号： G06F9/44
CPC分类号： G06F11/3684
摘要： A method, system, and computer program product are disclosed for automatic test generation for a compiler. In one approach, the method, system and computer program product represent a test case for the compiler in a structure with one or more elements of a programming language, associate at least one syntactic rule and semantic rule with the one or more elements in the structure, create a test with the structure compiling the test with the compiler, and display results of the test.
摘要翻译：公开了用于编译器的自动测试生成的方法，系统和计算机程序产品。在一种方法中，方法，系统和计算机程序产品表示编译器在具有编程语言的一个或多个元素的结构中的测试用例，将至少一个句法规则和语义规则与结构中的一个或多个元素相关联，使用编译器编译测试的结构创建测试，并显示测试结果。

3. 发明授权

US08719771B2 Method and system for test reduction and analysis 有权
标题翻译：测试减少和分析的方法和系统
公开(公告)号：US08719771B2
公开(公告)日：2014-05-06
申请号：US12568005
申请日：2009-09-28
申请人： Meir Ovadia , Marat Teplitsky , Rodion Melnikov
发明人： Meir Ovadia , Marat Teplitsky , Rodion Melnikov
IPC分类号： G06F9/44
CPC分类号： G06F11/3608 , G06F11/3696
摘要： Disclosed is a method, system, and computer program product that reduces the size of a failing test. A tree is created from the test's programming code, where the tree represents the syntactical and the semantic bounds between the programming code elements. By analyzing this tree and iteratively pruning the irrelevant sub-trees it is possible to eliminate many non necessary parts of the code, and recreate a new legal test, which represents the same error, but is potentially much smaller and therefore easier to understand and debug.
摘要翻译：公开了一种减少故障测试大小的方法，系统和计算机程序产品。树是从测试的编程代码创建的，其中树表示编程代码元素之间的语法和语义界限。通过分析这棵树并迭代地修剪不相关的子树，可以消除代码的许多非必要部分，并重新创建一个新的法律测试，它表示相同的错误，但是潜在地要小得多，因此更容易理解和调试。

4. 发明授权

US08156474B2 Automation of software verification 有权
标题翻译：软件验证自动化
公开(公告)号：US08156474B2
公开(公告)日：2012-04-10
申请号：US11966834
申请日：2007-12-28
申请人： Marat Teplitsky , Meir Ovadia , Noa Gradovich
发明人： Marat Teplitsky , Meir Ovadia , Noa Gradovich
IPC分类号： G06F9/44
CPC分类号： G06F11/3684
摘要： A method, system, and computer program product are disclosed for automatic test generation for a compiler. In one approach, the method, system and computer program product represent a test case for the compiler in a structure with one or more elements of a programming language, associate at least one syntactic rule and semantic rule with the one or more elements in the structure, create a test with the structure compiling the test with the compiler, and display results of the test.
摘要翻译：公开了用于编译器的自动测试生成的方法，系统和计算机程序产品。在一种方法中，方法，系统和计算机程序产品表示编译器在具有编程语言的一个或多个元素的结构中的测试用例，将至少一个句法规则和语义规则与该结构中的一个或多个元素相关联，使用编译器编译测试的结构创建测试，并显示测试结果。

5. 发明授权

US08997049B1 Method and system for debugging of compiled code using an interpreter 有权
标题翻译：使用解释器调试编译代码的方法和系统
公开(公告)号：US08997049B1
公开(公告)日：2015-03-31
申请号：US12784857
申请日：2010-05-21
申请人： Rodion Melnikov , Meir Ovadia
发明人： Rodion Melnikov , Meir Ovadia
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F11/3466 , G06F8/43 , G06F11/362
摘要： A system, method, and computer program product is disclosed that for debugging errors in software code. According to some approaches, techniques are provided for performing on-the-fly switching from compiled to interpretive debugging for a software program. The test starts with compiled code, and when it needs to stop for debugging, the debugging occurs in interpretive mode. Once debugging has concluded, the execution can switch back to compiled mode. In this way, the debugging activities can achieve the speed and efficiency of using compiled optimized executables, while still being able to allow debugging without performing any recompilations.
摘要翻译：公开了一种用于调试软件代码中的错误的系统，方法和计算机程序产品。根据一些方法，提供了用于执行从编译到用于软件程序的解释性调试的即时切换的技术。测试从编译代码开始，当需要停止调试时，调试发生在解释模式。一旦调试结束，执行可以切换回编译模式。这样，调试活动可以实现使用编译优化的可执行文件的速度和效率，同时仍然能够在不执行任何重新编译的情况下进行调试。

6. 发明授权

US08656368B1 System, method, and computer program product for abstract software performance profiling 失效
标题翻译：系统，方法和计算机程序产品，用于抽象软件性能分析
公开(公告)号：US08656368B1
公开(公告)日：2014-02-18
申请号：US13179949
申请日：2011-07-11
申请人： Meir Ovadia , Efrat Gavish
发明人： Meir Ovadia , Efrat Gavish
IPC分类号： G06F9/44 , G06F11/00
CPC分类号： G06F11/3466 , G06F11/3419 , G06F2201/815 , G06F2201/865
摘要： The present disclosure relates to a computer-implemented method for abstract software performance profiling. The method may include providing, using a computing device, a virtual run-time stack associated with a software performance profile. The method may further include generating, using the computing device, at least one abstract tag associated with the virtual run-time stack. The method may also include performing, using the computing device, at least one operation on the virtual run-time stack, the at least one operation including, at least in part, the at least one abstract tag.
摘要翻译：本公开涉及用于抽象软件性能分析的计算机实现的方法。该方法可以包括使用计算设备提供与软件性能简档相关联的虚拟运行时栈。该方法还可以包括使用计算设备生成与虚拟运行时栈相关联的至少一个抽象标签。该方法还可以包括使用计算设备执行对虚拟运行时栈的至少一个操作，该至少一个操作至少部分地至少包括至少一个抽象标签。

7. 发明申请

US20110078651A1 METHOD AND SYSTEM FOR TEST REDUCTION AND ANALYSIS 有权
标题翻译：用于测试减少和分析的方法和系统
公开(公告)号：US20110078651A1
公开(公告)日：2011-03-31
申请号：US12568005
申请日：2009-09-28
申请人： Meir OVADIA , Marat TEPLITSKY , Rodion MELNIKOV
发明人： Meir OVADIA , Marat TEPLITSKY , Rodion MELNIKOV
IPC分类号： G06F9/44
CPC分类号： G06F11/3608 , G06F11/3696
摘要： Disclosed is a method, system, and computer program product that reduces the size of a failing test. A tree is created from the test's programming code, where the tree represents the syntactical and the semantic bounds between the programming code elements. By analyzing this tree and iteratively pruning the irrelevant sub-trees it is possible to eliminate many non necessary parts of the code, and recreate a new legal test, which represents the same error, but is potentially much smaller and therefore easier to understand and debug.
摘要翻译：公开了一种减少故障测试大小的方法，系统和计算机程序产品。树是从测试的编程代码创建的，其中树表示编程代码元素之间的语法和语义界限。通过分析这棵树并迭代地修剪不相关的子树，可以消除代码的许多非必要部分，并重新创建一个新的法律测试，它表示相同的错误，但是潜在地要小得多，因此更容易理解和调试。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式