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

1. 发明申请

US20060282476A1 System and method using atomic sets of memory locations 失效
标题翻译：使用原子集的内存位置的系统和方法
公开(公告)号：US20060282476A1
公开(公告)日：2006-12-14
申请号：US11150611
申请日：2005-06-10
申请人： Julian Dolby , Frank Tip , Mandana Vaziri
发明人： Julian Dolby , Frank Tip , Mandana Vaziri
IPC分类号： G06F17/30
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.
摘要翻译：一种系统和方法包括接收和检查以面向对象语言编写的计算机程序的步骤或动作; 接收在程序使用的一组存储器位置上形成逻辑操作的访问序列; 接收存储器位置的原子集的定义，每个存储器位置由数据段组成; 提供指示需要同步的位置的消息。

2. 发明申请

US20100192131A1 USING ATOMIC SETS OF MEMORY LOCATIONS 失效
标题翻译：使用原子集存储位置
公开(公告)号：US20100192131A1
公开(公告)日：2010-07-29
申请号：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.
摘要翻译：一种用于确保数据一致性和防止数据竞赛的系统和方法，包括以下步骤：接收和检查以面向对象语言编写的计算机程序; 接收在程序使用的一组存储器位置上形成逻辑操作的访问序列; 从存储器位置接收原子数据集的定义，其中所述原子集是指示一致性属性的存在而不需要一致性属性本身的数据集合; 推断计算机程序的哪些代码块必须同步以防止计算机程序中的一个或多个数据比赛，其中通过对每个单位工作的分析确定哪个原子组是以单位为单位读取和写入的工作; 并提供指示需要同步的位置的消息。

3. 发明授权

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.
摘要翻译：一种用于确保数据一致性和防止数据竞赛的系统和方法，包括以下步骤：接收和检查以面向对象语言编写的计算机程序; 接收在程序使用的一组存储器位置上形成逻辑操作的访问序列; 从存储器位置接收原子数据集的定义，其中所述原子集是指示一致性属性的存在而不需要一致性属性本身的数据集合; 推断计算机程序的哪些代码块必须同步以防止计算机程序中的一个或多个数据比赛，其中通过对每个单位工作的分析确定哪个原子组是以单位为单位读取和写入的工作; 并提供指示需要同步的位置的消息。

4. 发明授权

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.
摘要翻译：一种系统和方法包括接收和检查以面向对象语言编写的计算机程序的步骤或动作; 接收在程序使用的一组存储器位置上形成逻辑操作的访问序列; 接收存储器位置的原子集的定义，每个存储器位置由数据段组成; 提供指示需要同步的位置的消息。

5. 发明申请

US20090044174A1 DYNAMIC DETECTION OF ATOMIC-SET-SERIALIZABILITY VIOLATIONS 失效
标题翻译：动态检测原子序列化攻击
公开(公告)号：US20090044174A1
公开(公告)日：2009-02-12
申请号：US11835685
申请日：2007-08-08
申请人： Julian T. Dolby , Christian J. Hammer , Frank Tip , Mandana Vaziri-Farahani
发明人： Julian T. Dolby , Christian J. Hammer , Frank Tip , Mandana Vaziri-Farahani
IPC分类号： G06F9/44
CPC分类号： G06F11/28
摘要： A method, an information processing system, and a computer readable medium, are used to detect atomic-set serializability violations in an execution of a program. A set of classes associated with a program to be analyzed is identified. The set of classes include a set of fields. At least one subset of fields in the set of fields in the identified classes is selected. A set of code fragments associated with an execution of the program is selected. Data accesses in the selected set of code fragments are observed. It is determined if the selected set of code fragments is serializable for each selected subset of fields.
摘要翻译：使用方法，信息处理系统和计算机可读介质来检测程序执行中的原子串行序列化违规。识别与要分析的程序相关联的一组类。一组类包括一组字段。选择所识别的类中的集合中的字段的至少一个子集。选择与程序的执行相关联的一组代码片段。观察所选择的代码片段集中的数据访问。确定所选择的代码片段集合是否可针对每个所选字段的子集进行序列化。

6. 发明授权

US08141054B2 Dynamic detection of atomic-set-serializability violations 失效
标题翻译：动态检测原子集可序列化违规
公开(公告)号：US08141054B2
公开(公告)日：2012-03-20
申请号：US11835685
申请日：2007-08-08
申请人： Julian T. Dolby , Christian J. Hammer , Frank Tip , Mandana Vaziri-Farahani
发明人： Julian T. Dolby , Christian J. Hammer , Frank Tip , Mandana Vaziri-Farahani
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F11/28
摘要： A method, an information processing system, and a computer readable medium, are used to detect atomic-set serializability violations in an execution of a program. A set of classes associated with a program to be analyzed is identified. The set of classes include a set of fields. At least one subset of fields in the set of fields in the identified classes is selected. A set of code fragments associated with an execution of the program is selected. Data accesses in the selected set of code fragments are observed. It is determined if the selected set of code fragments is serializable for each selected subset of fields.
摘要翻译：使用方法，信息处理系统和计算机可读介质来检测程序执行中的原子串行序列化违规。识别与要分析的程序相关联的一组类。一组类包括一组字段。选择所识别的类中的集合中的字段的至少一个子集。选择与程序的执行相关联的一组代码片段。观察所选择的代码片段集中的数据访问。确定所选择的代码片段是否可以为每个所选字段的子集进行序列化。

7. 发明授权

US08527946B2 Declarative object identity using relation types 失效
标题翻译：使用关系类型的声明对象标识
公开(公告)号：US08527946B2
公开(公告)日：2013-09-03
申请号：US11682561
申请日：2007-03-06
申请人： Mandana Vaziri-Farahani , Frank Tip , Stephen J. Fink , Julian T. Dolby
发明人： Mandana Vaziri-Farahani , Frank Tip , Stephen J. Fink , Julian T. Dolby
IPC分类号： G06F9/44
CPC分类号： G06F9/4488
摘要： The present invention provides a programming model based on a relational view of the heap which defines identity declaratively, obviating the need for equals( ) and hashcode( ) methods. Each element in the heap (called a tuple) belongs to a relation type and relates an immutable identity to mutable state. The model entails a stricter contract: identity never changes during an execution. Objects, values, and singletons arise as special cases of tuples.
摘要翻译：本发明提供了一种基于堆的关系视图的编程模型，它以声明方式定义身份，避免了对equals（）和hashcode（）方法的需要。堆中的每个元素（称为元组）属于关系类型，并将不可变标识与可变状态相关联。该模型需要更严格的合同：执行期间身份永远不会改变。对象，值和单例出现为特殊情况的元组。

8. 发明申请

US20080222602A1 DECLARATIVE OBJECT IDENTITY USING RELATION TYPES 失效
标题翻译：使用关系类型的声明对象标识
公开(公告)号：US20080222602A1
公开(公告)日：2008-09-11
申请号：US11682561
申请日：2007-03-06
申请人： Mandana Vaziri-Farahani , Frank Tip , Stephen J. Fink , Julian T. Dolby
发明人： Mandana Vaziri-Farahani , Frank Tip , Stephen J. Fink , Julian T. Dolby
IPC分类号： G06F9/44
CPC分类号： G06F9/4488
摘要： The present invention provides a programming model based on a relational view of the heap which defines identity declaratively, obviating the need for equals( ) and hashcode( ) methods. Each element in the heap (called a tuple) belongs to a relation type and relates an immutable identity to mutable state. The model entails a stricter contract: identity never changes during an execution. Objects, values, and singletons arise as special cases of tuples.
摘要翻译：本发明提供了一种基于堆的关系视图的编程模型，它以声明方式定义身份，避免了对equals（）和hashcode（）方法的需要。堆中的每个元素（称为元组）属于关系类型，并将不可变标识与可变状态相关联。该模型需要更严格的合同：执行期间身份永远不会改变。对象，值和单例出现为特殊情况的元组。

9. 发明授权

US09043761B2 Fault localization using condition modeling and return value modeling 有权
标题翻译：使用条件建模和返回值建模的故障定位
公开(公告)号：US09043761B2
公开(公告)日：2015-05-26
申请号：US12873843
申请日：2010-09-01
申请人： Shay Artzi , Julian Dolby , Marco Pistoia , Frank Tip
发明人： Shay Artzi , Julian Dolby , Marco Pistoia , Frank Tip
IPC分类号： G06F9/44 , G06F11/36
CPC分类号： G06F11/3688 , G06F11/3692
摘要： Disclosed is a novel computer implemented system, on demand service, computer program product and a method that leverages combined concrete and symbolic execution and several fault-localization techniques to automatically detects failures and localizes faults in PHP Hypertext Preprocessor (“PHP”) Web applications.
摘要翻译：公开了一种新颖的计算机实现系统，按需服务，计算机程序产品和利用组合的具体和符号执行以及多种故障定位技术来自动检测PHP超文本预处理器（“PHP”）Web应用程序中的故障和本地化故障的方法。

10. 发明授权

US08578342B2 Fault detection and localization in dynamic software applications requiring user inputs and persistent states 有权
标题翻译：需要用户输入和持续状态的动态软件应用中的故障检测和定位
公开(公告)号：US08578342B2
公开(公告)日：2013-11-05
申请号：US12502562
申请日：2009-07-14
申请人： Shay Artzi , Julian Dolby , Frank Tip
发明人： Shay Artzi , Julian Dolby , Frank Tip
IPC分类号： G06F9/44
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测试思想扩展到与持久状态交互的应用程序。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式