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

21. 发明授权

US08132150B2 Automatic customization of classes 失效
标题翻译：自动定制类
公开(公告)号：US08132150B2
公开(公告)日：2012-03-06
申请号：US12034359
申请日：2008-02-20
申请人： Bjorn De Sutter , Julian Dolby , Frank Tip
发明人： Bjorn De Sutter , Julian Dolby , Frank Tip
IPC分类号： G06F9/44
CPC分类号： G06F8/443 , G06F8/36
摘要： A method and computer readable medium for automatic replacement of object classes in a library with custom classes to improve program efficiency. The method begins with static analysis preformed on a program containing a plurality of objects in order to determine type-correctness constraints and to detect unused functionality in one or more of the objects to be replaced. The plurality of objects is instrumented to detect usage patterns of functionality in one or more objects. Customized classes are generated based upon the static analysis and usage patterns detected. Bytecode is rewritten which is used for generating classes. The present invention provides transparency in the replacement of the objects.
摘要翻译：一种用于使用自定义类自动替换库中的对象类以提高程序效率的方法和计算机可读介质。该方法开始于在包含多个对象的程序上执行的静态分析，以便确定类型正确性约束并且检测一个或多个待替换对象中的未使用的功能。多个对象被检测以检测一个或多个对象中的功能的使用模式。基于检测到的静态分析和使用模式生成定制类。字节码被重写用于生成类。本发明提供了更换物体的透明度。

22. 发明授权

US08122430B2 Automatic customization of classes 失效
公开(公告)号：US08122430B2
公开(公告)日：2012-02-21
申请号：US11926287
申请日：2007-10-29
申请人： Bjorn De Sutter , Julian Dolby , Frank Tip
发明人： Bjorn De Sutter , Julian Dolby , Frank Tip
IPC分类号： G06F9/44
CPC分类号： G06F8/443 , G06F8/36
摘要： A method and computer readable medium for automatic replacement of object classes in a library with custom classes to improve program efficiency. The method begins with static analysis preformed on a program containing a plurality of objects in order to determine type-correctness constraints and to detect unused functionality in one or more of the objects to be replaced. The plurality of objects is instrumented to detect usage patterns of functionality in one or more objects. Customized classes are generated based upon the static analysis and usage patterns detected. Bytecode is rewritten which is used for generating classes. The present invention provides transparency in the replacement of the objects.

23. 发明申请

US20080082972A1 AUTOMATIC CUSTOMIZATION OF CLASSES 失效
标题翻译：自动自定义类
公开(公告)号：US20080082972A1
公开(公告)日：2008-04-03
申请号：US11926287
申请日：2007-10-29
申请人： BJORN DE SUTTER , Julian Dolby , Frank Tip
发明人： BJORN DE SUTTER , Julian Dolby , Frank Tip
IPC分类号： G06F9/45
CPC分类号： G06F8/443 , G06F8/36
摘要： A method and computer readable medium for automatic replacement of object classes in a library with custom classes to improve program efficiency. The method begins with static analysis preformed on a program containing a plurality of objects in order to determine type-correctness constraints and to detect unused functionality in one or more of the objects to be replaced. The plurality of objects is instrumented to detect usage patterns of functionality in one or more objects. Customized classes are generated based upon the static analysis and usage patterns detected. Bytecode is rewritten which is used for generating classes. The present invention provides transparency in the replacement of the objects.
摘要翻译：一种用于使用自定义类自动替换库中的对象类以提高程序效率的方法和计算机可读介质。该方法开始于在包含多个对象的程序上执行的静态分析，以便确定类型正确性约束并且检测一个或多个待替换对象中的未使用的功能。多个对象被检测以检测一个或多个对象中的功能的使用模式。基于检测到的静态分析和使用模式生成定制类。字节码被重写用于生成类。本发明提供了更换物体的透明度。

24. 发明授权

US08943478B2 Fault detection and localization in dynamic software applications 有权
标题翻译：动态软件应用中的故障检测和定位
公开(公告)号：US08943478B2
公开(公告)日：2015-01-27
申请号：US12502519
申请日：2009-07-14
申请人： Shay Artzi , Julian Dolby , Frank Tip
发明人： Shay Artzi , Julian Dolby , Frank Tip
IPC分类号： G06F9/44 , G06F11/36 , G06F11/34
CPC分类号： G06F11/3672 , G06F11/3466 , G06F11/3612
摘要： The present invention provides a system, computer program product and a computer implemented method for prioritizing code fragments based on the use of a software oracle and on a correlation between the executed code fragments and the output they produce. Also described is a computer-implemented method generates additional user inputs based on execution information associated with path constraints and based on information from the oracle. Advantageously, the embodiment is useful in a test generation tool that generated many similar inputs when a failure-inducing input is found, in order to enhance fault localization. Further, described is a computer-implemented flow for extending the existing idea of concolic testing to applications that interact with persistent state.
摘要翻译：本发明提供了一种系统，计算机程序产品和计算机实现的方法，用于基于使用软件oracle以及所执行的代码片段与其产生的输出之间的相关性对代码片段进行优先级排序。还描述了一种基于计算机实现的方法，其基于与路径约束相关联的执行信息并且基于来自oracle的信息生成额外的用户输入。有利地，该实施例对于在发现故障诱导输入时产生许多相似输入的测试生成工具中是有用的，以便增强故障定位。此外，描述了一种计算机实现的流程，用于将现有的concolic测试思想扩展到与持久状态交互的应用程序。

25. 发明授权

US08423966B2 Using atomic sets of memory locations 失效
标题翻译：使用原子集的内存位置
公开(公告)号：US08423966B2
公开(公告)日：2013-04-16
申请号：US12754012
申请日：2010-04-05
申请人： Julian Dolby , Frank Tip , Mandana Vaziri
发明人： Julian Dolby , Frank Tip , Mandana Vaziri
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/458
摘要： A system and method for ensuring consistency of data and preventing data races, including steps of: receiving and examining a computer program written in an object-oriented language; receiving sequences of accesses that form logical operations on a set of memory locations used by the program; receiving definitions of atomic sets of data from the memory locations, wherein said atomic sets are sets of data that indicate an existence of a consistency property without requiring the consistency property itself; inferring which code blocks of the computer program must be synchronized in order to prevent one or more data races in the computer program, wherein synchronization is inferred by determining by analysis for each unit of work, what atomic sets are read and written by the unit of work; and providing a message indicating where synchronization is required.
摘要翻译：一种用于确保数据一致性和防止数据竞赛的系统和方法，包括以下步骤：接收和检查以面向对象语言编写的计算机程序; 接收在程序使用的一组存储器位置上形成逻辑操作的访问序列; 从存储器位置接收原子数据集的定义，其中所述原子集是指示一致性属性的存在而不需要一致性属性本身的数据集合; 推断计算机程序的哪些代码块必须同步以防止计算机程序中的一个或多个数据比赛，其中通过对每个单位工作的分析确定哪个原子组是以单位为单位读取和写入的工作; 并提供指示需要同步的位置的消息。

26. 发明申请

US20120151454A1 GENERATING INPUTS FOR CLIENT-SERVER PROGRAMS FOR FAULT DETECTION AND LOCALIZATION 失效
标题翻译：为客户服务器程序生成用于故障检测和本地化的程序
公开(公告)号：US20120151454A1
公开(公告)日：2012-06-14
申请号：US12966556
申请日：2010-12-13
申请人： Shay ARTZI , Julian Dolby , Marco Pistoia , Frank Tip
发明人： Shay ARTZI , Julian Dolby , Marco Pistoia , Frank Tip
IPC分类号： G06F9/44
CPC分类号： G06F11/3684 , H04L69/40
摘要： The present invention provides a system, computer program product, and a computer implemented method for analyzing a set of two or more communicating applications. The method begins with receiving a first second application that communicates with each other during execution. Next, an initial input for executing the first application and the second application is received. The initial input is added to a set of inputs. An iterative execution loop is performed at least once. The loop begins with selecting inputs out of the set of inputs for execution. Next, using the selected inputs, the first and/or the second application is executed while information regarding the execution and information communicated to the other application are recorded. A set of one or more new application inputs for either applications is generated based the second application recorded information and the first application information. These new inputs are added to the set of inputs.
摘要翻译：本发明提供了一种系统，计算机程序产品和用于分析一组两个或多个通信应用的计算机实现的方法。该方法开始于在执行期间接收彼此通信的第一个第二应用程序。接下来，接收用于执行第一应用和第二应用的初始输入。初始输入被添加到一组输入。执行迭代执行循环至少一次。循环从选择输入集合中的输入开始执行。接下来，使用所选择的输入，执行第一和/或第二应用，同时记录关于执行的信息和传送给其他应用的信息。基于第二应用记录信息和第一应用信息生成用于任一应用的一组或多个新的应用输入。这些新的输入被添加到该组输入。

27. 发明申请

US20110030061A1 DETECTING AND LOCALIZING SECURITY VULNERABILITIES IN CLIENT-SERVER APPLICATION 失效
标题翻译：检测和本地化客户端服务器应用程序中的安全漏洞
公开(公告)号：US20110030061A1
公开(公告)日：2011-02-03
申请号：US12902423
申请日：2010-10-12
申请人： SHAY ARTZI , Julian Dolby , Marco Pistoia , Frank Tip , Omer Tripp
发明人： SHAY ARTZI , Julian Dolby , Marco Pistoia , Frank Tip , Omer Tripp
IPC分类号： G06F11/36 , G06F11/00 , G06F9/44
CPC分类号： G06F11/3604
摘要： The present invention provides a system, computer program product, and a computer implemented method for analyzing a set of two or more communicating applications. The method includes executing a first application, such as a client application, and executing a second application, such as a server application. The applications are communicating with each other. A correlation is recorded between the applications and an execution characteristic exhibited on execution. An oracle is used to determine an analysis of the first application that has been executed. The execution of the first application causes a change of state in the second application and/or a change control flow in the second application. Code fragment in the first application and/or the second application are prioritized based on an evaluation produced by the oracle, and based on the correlation between the code fragments that have been executed and the execution characteristic exhibited by the code fragments.
摘要翻译：本发明提供了一种系统，计算机程序产品和用于分析一组两个或多个通信应用的计算机实现的方法。该方法包括执行诸如客户端应用的第一应用，以及执行诸如服务器应用的第二应用。应用程序正在彼此通信。应用之间记录相关性，执行时执行特性。使用oracle来确定已执行的第一个应用程序的分析。第一应用的执行导致第二应用中的状态改变和/或第二应用中的改变控制流。第一应用程序和/或第二应用程序中的代码片段基于由oracle生成的评估，并且基于已执行的代码片段与代码片段所呈现的执行特性之间的相关性进行优先级排序。

28. 发明申请

US20110016457A1 FAULT DETECTION AND LOCALIZATION IN DYNAMIC SOFTWARE APPLICATIONS REQUIRING USER INPUTS AND PERSISTENT STATES 有权
标题翻译：动态软件应用中的故障检测和本地化需要用户输入和持续状态
公开(公告)号：US20110016457A1
公开(公告)日：2011-01-20
申请号：US12502562
申请日：2009-07-14
申请人： SHAY ARTZI , Julian Dolby , Frank Tip
发明人： SHAY ARTZI , Julian Dolby , Frank Tip
IPC分类号： G06F9/44 , G06F11/00
CPC分类号： G06F11/3692 , G06F9/454 , G06F11/3684 , G06F21/51 , G06F2221/2119
摘要： The present invention provides a system, computer program product and a computer implemented method for prioritizing code fragments based on the use of a software oracle and on a correlation between the executed code fragments and the output they produce. Also described is a computer-implemented method generates additional user inputs based on execution information associated with path constraints and based on information from the oracle. Advantageously, the embodiment is useful in a test generation tool that generated many similar inputs when a failure-inducing input is found, in order to enhance fault localization. Further, described is a computer-implemented flow for extending the existing idea of concolic testing to applications that interact with persistent state.
摘要翻译：本发明提供了一种系统，计算机程序产品和计算机实现的方法，用于基于使用软件oracle以及所执行的代码片段与其产生的输出之间的相关性对代码片段进行优先级排序。还描述了一种基于计算机实现的方法，其基于与路径约束相关联的执行信息并且基于来自oracle的信息生成额外的用户输入。有利地，该实施例对于在发现故障诱导输入时产生许多相似输入的测试生成工具中是有用的，以便增强故障定位。此外，描述了一种计算机实现的流程，用于将现有的concolic测试思想扩展到与持久状态交互的应用程序。

29. 发明授权

US07716645B2 Using atomic sets of memory locations 失效
标题翻译：使用原子集的内存位置
公开(公告)号：US07716645B2
公开(公告)日：2010-05-11
申请号：US11150611
申请日：2005-06-10
申请人： Julian Dolby , Frank Tip , Mandana Vaziri
发明人： Julian Dolby , Frank Tip , Mandana Vaziri
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/458
摘要： A system and method includes steps or acts of receiving and examining a computer program written in an object-oriented language; receiving sequences of accesses that form logical operations on a set of memory locations used by the program; receiving definitions of atomic sets of memory locations, each consisting of pieces of data; providing a message indicating where the synchronization is required.
摘要翻译：一种系统和方法包括接收和检查以面向对象语言编写的计算机程序的步骤或动作; 接收在程序使用的一组存储器位置上形成逻辑操作的访问序列; 接收存储器位置的原子集的定义，每个存储器位置由数据段组成; 提供指示需要同步的位置的消息。

30. 发明申请

US20120054552A1 FAULT LOCALIZATION USING DIRECTED TEST GENERATION 失效
标题翻译：使用指导性测试生成的故障本地化
公开(公告)号：US20120054552A1
公开(公告)日：2012-03-01
申请号：US12873816
申请日：2010-09-01
申请人： Shay Artzi , Julian Dolby , Marco Pistoia , Frank Tip
发明人： Shay Artzi , Julian Dolby , Marco Pistoia , Frank Tip
IPC分类号： G06F11/36
CPC分类号： G06F11/3684 , G06F11/3688
摘要： Disclosed is a novel computer implemented system, on demand service, computer program product and a method for fault-localization techniques that apply statistical analyses to execution data gathered from multiple tests. The present invention determines the fault-localization effectiveness of test suites generated according to several test-generation techniques based on combined concrete and symbolic (concolic) execution. These techniques are evaluated by applying the Ochiai fault-localization technique to generated test suites in order to localize 35 faults in four PHPWeb applications. The results show that the test-generation techniques under consideration produce test suites with similar high fault-localization effectiveness, when given a large time budget.
摘要翻译：公开了一种新颖的计算机实现系统，按需服务，计算机程序产品和用于故障定位技术的方法，其将统计分析应用于从多个测试收集的执行数据。本发明确定了基于组合的具体和符号（concolic）执行的几种测试生成技术产生的测试套件的故障定位有效性。通过将Ochiai故障定位技术应用于生成的测试套件来评估这些技术，以便在四个PHPWeb应用程序中定位35个故障。结果表明，考虑到的测试生成技术产生具有类似高故障定位效果的测试套件，当给予大的时间预算时。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式