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

1. 发明申请

US20120167042A1 CONTEXTUALLY INTELLIGENT CODE EDITING 有权
标题翻译：内部智能代码编辑
公开(公告)号：US20120167042A1
公开(公告)日：2012-06-28
申请号：US12979839
申请日：2010-12-28
申请人： Nikolai Tillmann , Jonathan P. de Halleux , Barend H. Venter
发明人： Nikolai Tillmann , Jonathan P. de Halleux , Barend H. Venter
IPC分类号： G06F9/44
CPC分类号： G06F8/33
摘要： This document describes techniques for contextually intelligent code editing. In at least some embodiments, the techniques are network-based and can use client-server interactions to develop programming code. For example, input to a local programming environment of a client can be transmitted to a server. A functionality at the server can inspect the input and determine programming options (e.g., programming terms and/or phrases) that are contextually valid in the local programming environment. A list of the programming options can then be transmitted to the client and presented via a user interface. In some embodiments, a selection of one of the programming options can cause the programming option to be populated to the local programming environment, e.g., as part of a user interface associated with the local programming environment. In at least some embodiments, the list of programming options can be cached locally on the client for quick retrieval.
摘要翻译：本文档描述了上下文智能代码编辑的技术。在至少一些实施例中，这些技术是基于网络的，并且可以使用客户端 - 服务器交互来开发编程代码。例如，可将客户端的本地编程环境的输入发送到服务器。服务器上的功能可以检查输入并确定在本地编程环境中上下文有效的编程选项（例如，编程术语和/或短语）。然后可以将编程选项的列表传送到客户端并通过用户界面呈现。在一些实施例中，编程选项之一的选择可以使编程选项被填充到本地编程环境，例如作为与本地编程环境相关联的用户界面的一部分。在至少一些实施例中，编程选项列表可以在本地缓存在客户机上用于快速检索。

2. 发明授权

US09239708B2 Contextually intelligent code editing 有权
标题翻译：上下文智能代码编辑
公开(公告)号：US09239708B2
公开(公告)日：2016-01-19
申请号：US12979839
申请日：2010-12-28
申请人： Nikolai Tillmann , Jonathan P. de Halleux , Barend H. Venter
发明人： Nikolai Tillmann , Jonathan P. de Halleux , Barend H. Venter
IPC分类号： G06F9/44
CPC分类号： G06F8/33
摘要： This document describes techniques for contextually intelligent code editing. In at least some embodiments, the techniques are network-based and can use client-server interactions to develop programming code. For example, input to a local programming environment of a client can be transmitted to a server. A functionality at the server can inspect the input and determine programming options (e.g., programming terms and/or phrases) that are contextually valid in the local programming environment. A list of the programming options can then be transmitted to the client and presented via a user interface. In some embodiments, a selection of one of the programming options can cause the programming option to be populated to the local programming environment, e.g., as part of a user interface associated with the local programming environment. In at least some embodiments, the list of programming options can be cached locally on the client for quick retrieval.
摘要翻译：本文档描述了上下文智能代码编辑的技术。在至少一些实施例中，这些技术是基于网络的，并且可以使用客户端 - 服务器交互来开发编程代码。例如，可将客户端的本地编程环境的输入发送到服务器。服务器上的功能可以检查输入并确定在本地编程环境中上下文有效的编程选项（例如，编程术语和/或短语）。然后可以将编程选项的列表传送到客户端并通过用户界面呈现。在一些实施例中，编程选项之一的选择可以使编程选项被填充到本地编程环境，例如作为与本地编程环境相关联的用户界面的一部分。在至少一些实施例中，编程选项列表可以在本地缓存在客户机上用于快速检索。

3. 发明申请

US20110265067A1 Automatic Parallelization in a Tracing Just-in-Time Compiler System 有权
标题翻译：跟踪即时编译器系统中的自动并行化
公开(公告)号：US20110265067A1
公开(公告)日：2011-10-27
申请号：US12764103
申请日：2010-04-21
申请人： Wolfram Schulte , Nikolai Tillmann , Michal J. Moskal , Manuel A. Fahndrich , Daniel JP Leijen , Barend H. Venter
发明人： Wolfram Schulte , Nikolai Tillmann , Michal J. Moskal , Manuel A. Fahndrich , Daniel JP Leijen , Barend H. Venter
IPC分类号： G06F9/45
CPC分类号： G06F9/45516 , G06F8/456 , G06F9/445 , G06F9/449
摘要： A tracing just-in-time (TJIT) compiler system is described for performing parallelization of code in a runtime phase in the execution of code. Upon detecting a hot loop during the execution of the code, the compiler system extracts trace information from sequentially recorded traces. In a first phase, the compiler system uses the trace information to identify at least one group of operation components that can be operated on in a parallel manner. In a second phase, the compiler system provides instructions which allocate the group of operation components to plural processing resources. A native code generator module carries out those instructions by recompiling native code that directs the operation of a native system to perform parallel processing. The compiler system terminates a group if it encounters program data in a loop iteration that is not consistent with previously encountered predicated information (upon which it records a new trace in a sequential manner).
摘要翻译：描述了即时（TJIT）跟踪编译器系统，用于在执行代码的运行时阶段执行代码并行化。在执行代码期间检测到热循环时，编译器系统从顺序记录的轨迹提取跟踪信息。在第一阶段，编译器系统使用跟踪信息来识别可以以并行方式操作的至少一组操作组件。在第二阶段，编译器系统提供将操作组分组分配给多个处理资源的指令。本地代码生成器模块通过重新编译引导本地系统的操作来执行并行处理的本机代码来执行这些指令。如果编译器系统遇到与以前遇到的预定信息不一致的循环迭代中遇到程序数据（在其中以顺序方式记录新的跟踪），则终止组。

4. 发明授权

US08959496B2 Automatic parallelization in a tracing just-in-time compiler system 有权
标题翻译：跟踪即时编译系统中的自动并行化
公开(公告)号：US08959496B2
公开(公告)日：2015-02-17
申请号：US12764103
申请日：2010-04-21
申请人： Wolfram Schulte , Nikolai Tillmann , Michal J. Moskal , Manuel A. Fahndrich , Daniel J P Leijen , Barend H. Venter
发明人： Wolfram Schulte , Nikolai Tillmann , Michal J. Moskal , Manuel A. Fahndrich , Daniel J P Leijen , Barend H. Venter
IPC分类号： G06F9/44 , G06F9/45 , G06F9/455 , G06F9/445
CPC分类号： G06F9/45516 , G06F8/456 , G06F9/445 , G06F9/449
摘要： A tracing just-in-time (TJIT) compiler system is described for performing parallelization of code in a runtime phase in the execution of code. Upon detecting a hot loop during the execution of the code, the compiler system extracts trace information from sequentially recorded traces. In a first phase, the compiler system uses the trace information to identify at least one group of operation components that can be operated on in a parallel manner. In a second phase, the compiler system provides instructions which allocate the group of operation components to plural processing resources. A native code generator module carries out those instructions by recompiling native code that directs the operation of a native system to perform parallel processing. The compiler system terminates a group if it encounters program data in a loop iteration that is not consistent with previously encountered predicated information (upon which it records a new trace in a sequential manner).
摘要翻译：描述了即时（TJIT）跟踪编译器系统，用于在执行代码的运行时阶段执行代码并行化。在执行代码期间检测到热循环时，编译器系统从顺序记录的轨迹提取跟踪信息。在第一阶段，编译器系统使用跟踪信息来识别可以以并行方式操作的至少一组操作组件。在第二阶段，编译器系统提供将操作组分组分配给多个处理资源的指令。本地代码生成器模块通过重新编译引导本地系统的操作来执行并行处理的本机代码来执行这些指令。如果编译器系统遇到与以前遇到的预定信息不一致的循环迭代中遇到程序数据（在其中以顺序方式记录新的跟踪），则终止组。

5. 发明申请

US20130151519A1 Ranking Programs in a Marketplace System 审中-公开
标题翻译：市场系统中的排名计划
公开(公告)号：US20130151519A1
公开(公告)日：2013-06-13
申请号：US13313032
申请日：2011-12-07
申请人： Marat K. Akhin , Nikolai Tillmann , Michal J. Moskal , Jonathan Paul de Halleux , Manuel A. Fahndrich
发明人： Marat K. Akhin , Nikolai Tillmann , Michal J. Moskal , Jonathan Paul de Halleux , Manuel A. Fahndrich
IPC分类号： G06F17/30
CPC分类号： G06F16/35 , G06F16/9535
摘要： A marketplace system is described herein for ranking programs based, at least in part, on the assessed distinctiveness of the programs. In one implementation, the marketplace operates by: (a) accessing a set of programs; (b) extracting feature information from each of the programs; (c) generating similarity information for each program, based on the feature information; (d) ranking the programs based at least on the similarity information, to provide ranking information; and (e) providing a user interface presentation that has an effect of promoting at least one distinctive program in the set of applications on the basis of the ranking information.
摘要翻译：本文描述了一种市场系统，用于至少部分地基于评估的程序的独特性对程序进行排名。在一个实施中，市场通过以下操作：（a）访问一组程序; （b）从每个节目中提取特征信息; （c）基于所述特征信息生成每个节目的相似度信息; （d）至少基于相似性信息对节目进行排序，以提供排名信息; 以及（e）提供具有基于所述排名信息来促进所述应用集合中的至少一个独特程序的效果的用户界面呈现。

6. 发明授权

US07844951B2 Specification generation from implementations 有权
标题翻译：来自实现的规范生成
公开(公告)号：US07844951B2
公开(公告)日：2010-11-30
申请号：US11322982
申请日：2005-12-30
申请人： Feng Chen , Nikolai Tillmann , Wolfgang Grieskamp , Wolfram Schulte
发明人： Feng Chen , Nikolai Tillmann , Wolfgang Grieskamp , Wolfram Schulte
IPC分类号： G06F9/44
CPC分类号： G06F8/74
摘要： A computerized method receives an implementation comprising a modifier method and an observer method of a class implementing an abstract data type. The method symbolically executes the modifier method to obtain constrained states, and applies the observer method in constrained states to obtain specialized axioms. The method then creates a specification from the obtained specialized axioms based on generalizing, merging and simplifying the specialized axioms.
摘要翻译：计算机化方法接收包括实现抽象数据类型的类的修饰符方法和观察者方法的实现。该方法以符号方式执行修正方法以获得约束状态，并将受监视方法应用于约束状态以获得专门的公理。然后，该方法基于通用化，合并和简化专用公理，从获得的专业公理中创建一个规范。

7. 发明授权

US07685571B2 Interactive domain configuration 有权
标题翻译：互动域配置
公开(公告)号：US07685571B2
公开(公告)日：2010-03-23
申请号：US10650238
申请日：2003-08-27
申请人： Wolfram Schulte , Wolfgang Grieskamp , Nikolai Tillmann
发明人： Wolfram Schulte , Wolfgang Grieskamp , Nikolai Tillmann
IPC分类号： G06F9/44
CPC分类号： G06F8/75 , G06F8/74 , G06F11/3672
摘要： Described herein are methods and systems for interactively configuring and producing a data domain for various data structure elements of a computer program. A domain configuration manager is described which interactively receives domain configuration information corresponding to a data structure element, reads a reflection of the program and produces a data domain according to domain configuration information. The domain configuration manager is capable of producing a data domain for a data structure element according to such domain configuration information such as an explicit expression, inheritance or domain generation technique. The reflection of the computer program exposes the methods and functions of the program to be used in the explicit expression regardless of the visibility rules. Also, predicates and conditions can be used with domain generation techniques to further narrowly configure the data domains.
摘要翻译：这里描述了用于交互地配置和产生用于计算机程序的各种数据结构元素的数据域的方法和系统。描述了一种域配置管理器，其交互地接收对应于数据结构元素的域配置信息，读取该程序的反射并根据域配置信息产生数据域。域配置管理器能够根据诸如显式表达式，继承性或域生成技术之类的域配置信息为数据结构元素生成数据域。计算机程序的反映公开了要在显式表达式中使用的程序的方法和功能，而不管可见性规则如何。此外，谓词和条件可以与域生成技术一起使用，以进一步窄配置数据域。

8. 发明授权

US07681180B2 Parameterized test driven development 有权
标题翻译：参数化测试驱动开发
公开(公告)号：US07681180B2
公开(公告)日：2010-03-16
申请号：US11759144
申请日：2007-06-06
申请人： Jonathan Paul de Halleux , Nikolai Tillmann , Wolfram Schulte
发明人： Jonathan Paul de Halleux , Nikolai Tillmann , Wolfram Schulte
IPC分类号： G06F9/44 , G06F11/00
CPC分类号： G06F11/3688
摘要： In one embodiment a computer system automatically generates unit tests. The computer system accesses a parameterized unit test that provides a base outline from which one or more unit tests are automatically generated, generates input parameter values for a unit of software code, automatically generates a unit test configured to assess the functionality of the unit of software code, and receives test results from a software testing program and provides feedback to a user. In other embodiments, a computer system automatically maintains a unit test database. The computer system receives a unit test at a unit test database, assigns a test identity to the received unit test, determines that the test identity assigned to the received unit test is unique when compared to other unit tests, determines that the received unit test has different functionality coverage characteristics, and adds the received unit test to the unit test database.
摘要翻译：在一个实施例中，计算机系统自动生成单元测试。计算机系统访问参数化单元测试，该测试提供一个基本概要，从该自动生成一个或多个单元测试，生成软件代码单元的输入参数值，自动生成单元测试，用于评估软件单元的功能代码，并从软件测试程序接收测试结果，并向用户提供反馈。在其他实施例中，计算机系统自动维护单元测试数据库。计算机系统在单元测试数据库中接收单元测试，为接收到的单元测试分配测试身份，确定与其他单元测试相比，分配给接收单元测试的测试身份是唯一的，确定接收单元测试具有不同的功能覆盖特性，并将接收到的单元测试添加到单元测试数据库。

9. 发明申请

US20080313602A1 BOUNDED PROGRAM FAILURE ANALYSIS AND CORRECTION 有权
标题翻译：边界程序故障分析与校正
公开(公告)号：US20080313602A1
公开(公告)日：2008-12-18
申请号：US11763312
申请日：2007-06-14
申请人： Nikolai Tillmann , Jonathan Paul de Halleux , Wolfram Schulte
发明人： Nikolai Tillmann , Jonathan Paul de Halleux , Wolfram Schulte
IPC分类号： G06F9/44
CPC分类号： G06F11/3688 , G06F11/3636
摘要： In one embodiment, a computer system determines that a previously run test scenario configured to test a software program has failed to produce an expected result due to one or more semantic errors, generates error trace code configured to monitor the called component, processes the test scenario using the error trace code, and analyzes error trace information to determine the point at which the semantic error occurs in the called component. In an alternative embodiment, a computer system detects a semantic error in a software component of a software program, constructs an error condition that may include source code representing a minimum condition under which the error occurs, generates an object invariant based on the error condition that represents an opposite condition to that represented by the error condition, and automatically generates source code change recommendations using the object invariant that prevent the semantic error from reoccurring in subsequent test scenarios.
摘要翻译：在一个实施例中，计算机系统确定配置成测试软件程序的先前运行的测试场景由于一个或多个语义错误而未能产生预期结果，生成被配置为监视被调用组件的错误跟踪代码，处理测试场景使用错误跟踪代码，并分析错误跟踪信息以确定在被调用组件中发生语义错误的点。在替代实施例中，计算机系统检测软件程序的软件组件中的语义错误，构建可以包括表示发生错误的最小条件的源代码的错误条件，基于错误条件生成对象不变量，表示与由错误条件表示的相反的条件，并使用防止在后续测试场景中重现的语义错误的对象不变量自动生成源代码更改建议。

10. 发明授权

US07444622B2 Access driven filtering 有权
标题翻译：访问驱动过滤
公开(公告)号：US07444622B2
公开(公告)日：2008-10-28
申请号：US10650297
申请日：2003-08-27
申请人： Wolfgang Grieskamp , Wolfram Schulte , Nikolai Tillmann
发明人： Wolfgang Grieskamp , Wolfram Schulte , Nikolai Tillmann
IPC分类号： G06F9/45
CPC分类号： G06F11/3684
摘要： A test domain configuration module generates graphical user interfaces for identifying information about desired tests such as data types and domain configurations, and collects information used by other modules to generate tests. The identified information may include, for example, an abstract syntax, a static semantic, max counts on instances of data types, or costs of field accesses or data types for max path costs or max expression costs. A test input generator, generates test input for the identified and configured data types. In one case, the generated test inputs are generated as tree data structures. A predicate determines whether a generated test input follows semantic conditions. A test input evaluator counts instances of data types in, sums paths through, or sums total costs of, the generated test inputs. A test acceptance module saves test inputs acceptable to the predicate and the test input evaluator.
摘要翻译：测试域配置模块生成用于识别有关所需测试（例如数据类型和域配置）的信息的图形用户界面，并收集其他模块使用的信息以生成测试。所识别的信息可以包括例如抽象语法，数据类型的实例的静态语义，最大计数，或者用于最大路径成本或最大表达成本的字段访问或数据类型的成本。测试输入生成器，为识别和配置的数据类型生成测试输入。在一种情况下，生成的测试输入被生成为树数据结构。谓词确定生成的测试输入是否遵循语义条件。测试输入评估器对数据类型的实例进行计数，总和通过生成的测试输入，或总计生成的测试输入的总和。测试验收模块可以保存对谓词和测试输入评估器可接受的测试输入。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式