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

1. 发明授权

US08689191B2 Correct refactoring of concurrent software 失效
标题翻译：正确重构并发软件
公开(公告)号：US08689191B2
公开(公告)日：2014-04-01
申请号：US12718648
申请日：2010-03-05
申请人： Julian Dolby , Max Schaefer , Manu Sridharan , Frank Tip , Emina Torlak
发明人： Julian Dolby , Max Schaefer , Manu Sridharan , Frank Tip , Emina Torlak
IPC分类号： G06F9/45
摘要： Automated refactorings as implemented in modern IDEs for Java usually make no special provisions for concurrent code. Thus, refactored programs may exhibit unexpected new concurrent behaviors. We analyze the types of such behavioral changes caused by current refactoring engines and develop techniques to make them behavior-preserving, ranging from simple techniques to deal with concurrency-related language constructs to a framework that computes and tracks synchronization dependencies. By basing our development directly on the Java Memory Model we can state and prove precise correctness results about refactoring concurrent programs. We show that a broad range of refactorings are not influenced by concurrency at all, whereas other important refactorings can be made behavior-preserving for correctly synchronized programs by using our framework. Experience with a prototype implementation shows that our techniques are easy to implement and require only minimal changes to existing refactoring engines.
摘要翻译：在Java的现代IDE中实现的自动重组通常对并发代码没有特别规定。因此，重构的程序可能会出现意想不到的新并发行为。我们分析由当前重构引擎引起的这种行为变化的类型，并开发技术以使其保持行为，从简单技术到处理与并发相关的语言结构到计算和跟踪同步依赖关系的框架。通过将我们的开发直接基于Java内存模型，我们可以声明并证明重构并发程序的精确的正确性结果。我们表明，广泛的重构不受并发影响，而其他重要的重构可以通过使用我们的框架来进行正确同步的程序的行为保留。使用原型实现的经验表明，我们的技术易于实现，并且只需要对现有重构引擎进行最小的更改。

2. 发明申请

US20110219361A1 CORRECT REFACTORING OF CONCURRENT SOFTWARE 失效
标题翻译：相关软件的正确引用
公开(公告)号：US20110219361A1
公开(公告)日：2011-09-08
申请号：US12718648
申请日：2010-03-05
申请人： JULIAN DOLBY , Max Schaefer , Manu Sridharan , Frank Tip , Emina Torlak
发明人： JULIAN DOLBY , Max Schaefer , Manu Sridharan , Frank Tip , Emina Torlak
IPC分类号： G06F9/45
摘要： Automated refactorings as implemented in modern IDEs for Java usually make no special provisions for concurrent code. Thus, refactored programs may exhibit unexpected new concurrent behaviors. We analyze the types of such behavioral changes caused by current refactoring engines and develop techniques to make them behavior-preserving, ranging from simple techniques to deal with concurrency-related language constructs to a framework that computes and tracks synchronization dependencies. By basing our development directly on the Java Memory Model we can state and prove precise correctness results about refactoring concurrent programs. We show that a broad range of refactorings are not influenced by concurrency at all, whereas other important refactorings can be made behavior-preserving for correctly synchronized programs by using our framework. Experience with a prototype implementation shows that our techniques are easy to implement and require only minimal changes to existing refactoring engines.
摘要翻译：在Java的现代IDE中实现的自动重组通常对并发代码没有特别规定。因此，重构的程序可能会出现意想不到的新并发行为。我们分析由当前重构引擎引起的这种行为变化的类型，并开发技术以使其保持行为，从简单技术到处理与并发相关的语言结构到计算和跟踪同步依赖关系的框架。通过将我们的开发直接基于Java内存模型，我们可以声明并证明重构并发程序的精确的正确性结果。我们表明，广泛的重构不受并发影响，而其他重要的重构可以通过使用我们的框架来进行正确同步的程序的行为保留。使用原型实现的经验表明，我们的技术易于实现，并且只需要对现有重构引擎进行最小的更改。

3. 发明申请

US20120174082A1 REFACTORING PROGRAMS FOR FLEXIBLE LOCKING 有权
标题翻译：灵活锁定的参考程序
公开(公告)号：US20120174082A1
公开(公告)日：2012-07-05
申请号：US12983581
申请日：2011-01-03
申请人： Julian DOLBY , Manu Sridharan , Frank Tip , Max Schaefer
发明人： Julian DOLBY , Manu Sridharan , Frank Tip , Max Schaefer
IPC分类号： G06F9/45
CPC分类号： G06F8/72 , G06F8/458
摘要： Disclosed is a novel computer implemented system, on demand service, computer program product and a method that provides a set of lock usages that improves concurrency resulting in execution performance of the software application by reducing lock contention through refactoring. More specifically, disclosed is a method to refactor a software application. The method starts with accessing at least a portion of a software application that can execute in an operating environment where there are more two or more threads of execution. Next, a determination is made if there is at least one lock used in the software application to enforce limits on accessing a resource. In response to determining that there is a lock with a first type of construct with a given set of features, the software application is refactored with the lock to preserve behavior of the software application.
摘要翻译：公开了一种新颖的计算机实现系统，按需服务，计算机程序产品和提供一组锁定用途的方法，其通过减少通过重构的锁争用来提高并发性，从而导致软件应用的执行性能。更具体地，公开了一种重构软件应用的方法。该方法开始于访问可以在具有更多两个或更多个执行线程的操作环境中执行的软件应用的至少一部分。接下来，确定在软件应用中是否存在至少一个使用锁来强制访问资源的限制。响应于确定存在具有给定的一组特征的具有第一类型构造的锁，则软件应用程序被重构以保护该软件应用程序的行为。

4. 发明授权

US08869127B2 Refactoring programs for flexible locking 有权
标题翻译：重构程序灵活锁定
公开(公告)号：US08869127B2
公开(公告)日：2014-10-21
申请号：US12983581
申请日：2011-01-03
申请人： Julian Dolby , Manu Sridharan , Frank Tip , Max Schaefer
发明人： Julian Dolby , Manu Sridharan , Frank Tip , Max Schaefer
IPC分类号： G06F9/44
CPC分类号： G06F8/72 , G06F8/458
摘要： Disclosed is a novel computer implemented system, on demand service, computer program product and a method that provides a set of lock usages that improves concurrency resulting in execution performance of the software application by reducing lock contention through refactoring. More specifically, disclosed is a method to refactor a software application. The method starts with accessing at least a portion of a software application that can execute in an operating environment where there are more two or more threads of execution. Next, a determination is made if there is at least one lock used in the software application to enforce limits on accessing a resource. In response to determining that there is a lock with a first type of construct with a given set of features, the software application is refactored with the lock to preserve behavior of the software application.
摘要翻译：公开了一种新颖的计算机实现系统，按需服务，计算机程序产品和提供一组锁定用途的方法，其通过减少通过重构的锁争用来提高并发性，从而导致软件应用的执行性能。更具体地，公开了一种重构软件应用的方法。该方法开始于访问可以在具有更多两个或更多个执行线程的操作环境中执行的软件应用的至少一部分。接下来，确定在软件应用中是否存在至少一个使用锁来强制访问资源的限制。响应于确定存在具有给定的一组特征的具有第一类型构造的锁，则软件应用程序被重构以保护该软件应用程序的行为。

5. 发明授权

US08694971B2 Scalable property-sensitive points-to analysis for program code 失效
标题翻译：可扩展的属性敏感点 - 程序代码的分析
公开(公告)号：US08694971B2
公开(公告)日：2014-04-08
申请号：US13253521
申请日：2011-10-05
申请人： Satish Chandra , Julian Dolby , Manu Sridharan , Frank Tip
发明人： Satish Chandra , Julian Dolby , Manu Sridharan , Frank Tip
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/72 , G06F8/443 , G06F21/563
摘要： A novel system, computer program product, and method are disclosed for transforming a program to facilitate points-to analysis. The method begins with accessing at least a portion of program code, such as JavaScript. In one example, a method with at least one dynamic property correlation is identified for extraction. When a method m is identified for extraction with the dynamic property correlation, a body of the loop l in the method m is extracted. A new method mp is created to include the body of the loop l with the variable i as a parameter. The loop l is substituted in the program code of the method m with the new method mp to create a transformed program code.
摘要翻译：公开了一种新颖的系统，计算机程序产品和方法，用于转换程序以促进点分析。该方法开始于访问程序代码的至少一部分，例如JavaScript。在一个示例中，识别具有至少一个动态属性相关性的方法用于提取。当用动态属性相关性来识别用于提取的方法m时，提取方法m中的循环体l。创建一个新的方法mp以包含循环l的主体，变量i作为参数。循环l在方法m的程序代码中用新方法mp代替以创建转换的程序代码。

6. 发明授权

US09135147B2 Automated testing of applications with scripting code 有权
标题翻译：使用脚本代码自动测试应用程序
公开(公告)号：US09135147B2
公开(公告)日：2015-09-15
申请号：US13457083
申请日：2012-04-26
申请人： Shay Artzi , Julian Dolby , Salvatore A. Guarnieri , Simon H. Jensen , Marco Pistoia , Manu Sridharan , Frank Tip , Omer Tripp
发明人： Shay Artzi , Julian Dolby , Salvatore A. Guarnieri , Simon H. Jensen , Marco Pistoia , Manu Sridharan , Frank Tip , Omer Tripp
IPC分类号： G06F9/44 , G06F11/36 , G06F11/34
CPC分类号： G06F11/3676 , G06F11/3466 , G06F11/3684 , G06F11/3688
摘要： A novel system, computer program product, and method are disclosed for feedback-directed automated test generation for programs, such as JavaScript, in which execution is monitored to collect information that directs the test generator towards inputs that yield increased coverage. Several instantiations of the framework are implemented, corresponding to variations on feedback-directed random testing, in a tool called Artemis.
摘要翻译：公开了一种新颖的系统，计算机程序产品和方法用于诸如JavaScript的程序的反馈定向的自动测试生成，其中执行被监视以收集将测试发生器引导到产生增加的覆盖的输入的信息。在一个名为Artemis的工具中，实现了框架的几个实例，对应于反馈导向随机测试的变化。

7. 发明申请

US20120254839A1 SIMULATING BLACK BOX TEST RESULTS USING INFORMATION FROM WHITE BOX TESTING 有权
标题翻译：使用白盒测试中的信息模拟黑盒测试结果
公开(公告)号：US20120254839A1
公开(公告)日：2012-10-04
申请号：US13493067
申请日：2012-06-11
申请人： Stephen Fink , Yinnon A. Haviv , Roee Hay , Marco Pistoia , Ory Segal , Adi Sharabani , Manu Sridharan , Frank Tip , Omer Tripp , Omri Weisman
发明人： Stephen Fink , Yinnon A. Haviv , Roee Hay , Marco Pistoia , Ory Segal , Adi Sharabani , Manu Sridharan , Frank Tip , Omer Tripp , Omri Weisman
IPC分类号： G06F9/44
CPC分类号： G06F11/3604 , G06F9/44589 , G06F9/455 , G06F11/36 , G06F11/362 , G06F21/577 , G06F2221/033
摘要： Systems, methods are program products for simulating black box test results using information obtained from white box testing, including analyzing computer software (e.g., an application) to identify a potential vulnerability within the computer software application and a plurality of milestones associated with the potential vulnerability, where each of the milestones indicates a location within the computer software application, tracing a path from a first one of the milestones to an entry point into the computer software application, identifying an input to the entry point that would result in a control flow from the entry point and through each of the milestones, describing the potential vulnerability in a description indicating the entry point and the input, and presenting the description via a computer-controlled output medium.
摘要翻译：系统，方法是使用从白盒测试获得的信息来模拟黑盒测试结果的程序产品，包括分析计算机软件（例如应用程序）以识别计算机软件应用程序中的潜在漏洞以及与潜在漏洞相关联的多个里程碑，其中每个里程碑指示计算机软件应用程序内的位置，跟踪从第一个里程碑到入口点的路径到计算机软件应用程序中，识别入口点的输入将导致控制流从描述在描述入口点和输入的描述中的潜在漏洞，以及经由计算机控制的输出介质呈现描述的入口点和通过每个里程碑。

8. 发明授权

US09720798B2 Simulating black box test results using information from white box testing 有权
公开(公告)号：US09720798B2
公开(公告)日：2017-08-01
申请号：US13493067
申请日：2012-06-11
申请人： Stephen Fink , Yinnon A. Haviv , Roee Hay , Marco Pistoia , Ory Segal , Adi Sharabani , Manu Sridharan , Frank Tip , Omer Tripp , Omri Weisman
发明人： Stephen Fink , Yinnon A. Haviv , Roee Hay , Marco Pistoia , Ory Segal , Adi Sharabani , Manu Sridharan , Frank Tip , Omer Tripp , Omri Weisman
IPC分类号： G06F9/44 , G06F9/45 , G06F11/36 , G06F9/445 , G06F9/455 , G06F21/57
CPC分类号： G06F11/3604 , G06F9/44589 , G06F9/455 , G06F11/36 , G06F11/362 , G06F21/577 , G06F2221/033
摘要： Systems, methods are program products for simulating black box test results using information obtained from white box testing, including analyzing computer software (e.g., an application) to identify a potential vulnerability within the computer software application and a plurality of milestones associated with the potential vulnerability, where each of the milestones indicates a location within the computer software application, tracing a path from a first one of the milestones to an entry point into the computer software application, identifying an input to the entry point that would result in a control flow from the entry point and through each of the milestones, describing the potential vulnerability in a description indicating the entry point and the input, and presenting the description via a computer-controlled output medium.

9. 发明授权

US09747187B2 Simulating black box test results using information from white box testing 有权
公开(公告)号：US09747187B2
公开(公告)日：2017-08-29
申请号：US12913314
申请日：2010-10-27
申请人： Stephen Fink , Yinnon A. Haviv , Roee Hay , Marco Pistoia , Ory Segal , Adi Sharabani , Manu Sridharan , Frank Tip , Omer Tripp , Omri Weisman
发明人： Stephen Fink , Yinnon A. Haviv , Roee Hay , Marco Pistoia , Ory Segal , Adi Sharabani , Manu Sridharan , Frank Tip , Omer Tripp , Omri Weisman
IPC分类号： G06F11/36 , G06F9/445 , G06F9/455 , G06F21/57
CPC分类号： G06F11/3604 , G06F9/44589 , G06F9/455 , G06F11/36 , G06F11/362 , G06F21/577 , G06F2221/033
摘要： Systems, methods are program products for simulating black box test results using information obtained from white box testing, including analyzing computer software (e.g., an application) to identify a potential vulnerability within the computer software application and a plurality of milestones associated with the potential vulnerability, where each of the milestones indicates a location within the computer software application, tracing a path from a first one of the milestones to an entry point into the computer software application, identifying an input to the entry point that would result in a control flow from the entry point and through each of the milestones, describing the potential vulnerability in a description indicating the entry point and the input, and presenting the description via a computer-controlled output medium.

10. 发明申请

US20120110551A1 SIMULATING BLACK BOX TEST RESULTS USING INFORMATION FROM WHITE BOX TESTING 有权
公开(公告)号：US20120110551A1
公开(公告)日：2012-05-03
申请号：US12913314
申请日：2010-10-27
申请人： Stephen Fink , Yinnon A. Haviv , Roee Hay , Marco Pistoia , Ory Segal , Adi Sharabani , Manu Sridharan , Frank Tip , Omer Tripp , Omri Weisman
发明人： Stephen Fink , Yinnon A. Haviv , Roee Hay , Marco Pistoia , Ory Segal , Adi Sharabani , Manu Sridharan , Frank Tip , Omer Tripp , Omri Weisman
IPC分类号： G06F11/36
CPC分类号： G06F11/3604 , G06F9/44589 , G06F9/455 , G06F11/36 , G06F11/362 , G06F21/577 , G06F2221/033
摘要： Systems, methods are program products for simulating black box test results using information obtained from white box testing, including analyzing computer software (e.g., an application) to identify a potential vulnerability within the computer software application and a plurality of milestones associated with the potential vulnerability, where each of the milestones indicates a location within the computer software application, tracing a path from a first one of the milestones to an entry point into the computer software application, identifying an input to the entry point that would result in a control flow from the entry point and through each of the milestones, describing the potential vulnerability in a description indicating the entry point and the input, and presenting the description via a computer-controlled output medium.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式