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

1. 发明申请

US20120089868A1 FUZZ TESTING OF ASYNCHRONOUS PROGRAM CODE 有权
标题翻译：非同步程序代码的FUZZ测试
公开(公告)号：US20120089868A1
公开(公告)日：2012-04-12
申请号：US12898724
申请日：2010-10-06
申请人： Erik Meijer , Dragos A. Manolescu , John Wesley Dyer , Jeffrey Van Gogh
发明人： Erik Meijer , Dragos A. Manolescu , John Wesley Dyer , Jeffrey Van Gogh
IPC分类号： G06F11/36
CPC分类号： G06F11/3692 , G06F11/076 , G06F11/3684
摘要： A fuzz testing system is described herein that represents event sources, channels, processors, and consumers as first-class entities in an application. Abstracting event-related entities allows fuzzing through injecting, dropping, reordering, and delaying events from within the application. This translates into the ability to localize the areas under test and perform fuzzing in a systematic manner. In some embodiments, the fuzz testing system tests concurrent asynchronous and event-based code, and can generate event streams based on a given statistical distribution. Representing events, event sources, processors, and sinks as first-class objects provides easy access to the event handlers and facilitates implementing fuzzing by introducing event processors between the source and the sink. Thus, the fuzz testing system improves the testability of applications and APIs with asynchronous behavior and provides a uniform framework for introducing fuzz testing into such applications.
摘要翻译：本文描述了一种模糊测试系统，其将事件源，通道，处理器和消费者表示为应用程序中的一流实体。抽象事件相关实体允许通过从应用程序中注入，删除，重新排序和延迟事件进行模糊化。这转化为能够使被测试区域本地化，并以系统的方式进行模糊化。在一些实施例中，模糊测试系统测试并发异步和基于事件的代码，并且可以基于给定的统计分布生成事件流。将事件，事件源，处理器和接收器作为一流对象，可以方便地访问事件处理程序，并通过在源和宿之间引入事件处理器来促进实现模糊化。因此，模糊测试系统提高了具有异步行为的应用程序和API的可测试性，并为此类应用程序提供了一个统一的框架来引入模糊测试。

2. 发明授权

US09015667B2 Fuzz testing of asynchronous program code 有权
标题翻译：异步程序代码的模糊测试
公开(公告)号：US09015667B2
公开(公告)日：2015-04-21
申请号：US12898724
申请日：2010-10-06
申请人： Erik Meijer , Dragos A. Manolescu , John Wesley Dyer , Jeffrey van Gogh
发明人： Erik Meijer , Dragos A. Manolescu , John Wesley Dyer , Jeffrey van Gogh
IPC分类号： G06F9/44 , G06F11/07 , G06F11/36
CPC分类号： G06F11/3692 , G06F11/076 , G06F11/3684
摘要： A fuzz testing system is described herein that represents event sources, channels, processors, and consumers as first-class entities in an application. Abstracting event-related entities allows fuzzing through injecting, dropping, reordering, and delaying events from within the application. This translates into the ability to localize the areas under test and perform fuzzing in a systematic manner. In some embodiments, the fuzz testing system tests concurrent asynchronous and event-based code, and can generate event streams based on a given statistical distribution. Representing events, event sources, processors, and sinks as first-class objects provides easy access to the event handlers and facilitates implementing fuzzing by introducing event processors between the source and the sink. Thus, the fuzz testing system improves the testability of applications and APIs with asynchronous behavior and provides a uniform framework for introducing fuzz testing into such applications.
摘要翻译：本文描述了一种模糊测试系统，其将事件源，通道，处理器和消费者表示为应用程序中的一流实体。抽象事件相关实体允许通过从应用程序中注入，删除，重新排序和延迟事件进行模糊化。这转化为能够使被测试区域本地化，并以系统的方式进行模糊化。在一些实施例中，模糊测试系统测试并发异步和基于事件的代码，并且可以基于给定的统计分布生成事件流。将事件，事件源，处理器和接收器作为一流对象，可以方便地访问事件处理程序，并通过在源和宿之间引入事件处理器来促进实现模糊化。因此，模糊测试系统提高了具有异步行为的应用程序和API的可测试性，并为此类应用程序提供了一个统一的框架来引入模糊测试。

3. 发明申请

US20120102458A1 GENERATING DOCUMENTATION FROM TESTS 审中-公开
标题翻译：从测试中生成文档
公开(公告)号：US20120102458A1
公开(公告)日：2012-04-26
申请号：US12909851
申请日：2010-10-22
申请人： Erik Meijer , Dragos A. Manolescu , John Wesley Dyer , Jeffrey Van Gogh
发明人： Erik Meijer , Dragos A. Manolescu , John Wesley Dyer , Jeffrey Van Gogh
IPC分类号： G06F9/44
CPC分类号： G06F8/73 , G06F11/3672
摘要： A documentation system is described herein that automatically generates documentation for software code from tests that verify the correct operation of the software code. Software development teams often write automated tests (software that tests the software being shipped), such as unit tests. When written correctly, these tests are a written contract of what the software is supposed to do. The documentation system can use static and dynamic analysis in combination with annotations in the test code to extract the contract from these tests and leverage the extracted information to automatically generate the documentation. The system can then visually display this information in a textual or graphical way. Thus, the documentation system generates documentation that more accurately reflects how software code is expected to operate, without introducing significant burdens into the software development cycle.
摘要翻译：本文描述了一个文档系统，它自动从验证软件代码正确操作的测试中生成软件代码的文档。软件开发团队经常编写自动测试（测试正在运送的软件的软件），如单元测试。当正确写入时，这些测试是软件应该做的书面合同。文档系统可以使用静态和动态分析结合测试代码中的注释来从这些测试中提取合同，并利用提取的信息自动生成文档。然后，系统可以以文本或图形的方式直观地显示该信息。因此，文档系统生成更准确地反映软件代码如何运行的文档，而不会对软件开发周期造成重大负担。

4. 发明申请

US20090235282A1 APPLICATION REMOTE CONTROL 审中-公开
标题翻译：应用远程控制
公开(公告)号：US20090235282A1
公开(公告)日：2009-09-17
申请号：US12046550
申请日：2008-03-12
申请人： Erik Meijer , Jeffrey Van Gogh , John Wesley Dyer
发明人： Erik Meijer , Jeffrey Van Gogh , John Wesley Dyer
IPC分类号： G06F9/44
CPC分类号： G06F9/547 , G06F9/445 , G06F2209/542
摘要： Application remote control is affected across execution contexts. In one instance, input can be acquired from controlled applications and employed by other applications. Additionally or alternatively, remote control can be employed to test applications while minimizing unintended changes to applications under test caused by observation.
摘要翻译：应用程序远程控制在执行上下文之间受到影响。在一种情况下，可以从受控应用程序获取输入并由其他应用程序使用。另外或替代地，可以采用远程控制来测试应用程序，同时最小化由观察引起的被测试应用的意外变化。

5. 发明授权

US08483669B2 Mobile sensor network 有权
标题翻译：移动传感器网络
公开(公告)号：US08483669B2
公开(公告)日：2013-07-09
申请号：US12418145
申请日：2009-04-03
申请人： Dragos A. Manolescu , Erik Meijer
发明人： Dragos A. Manolescu , Erik Meijer
IPC分类号： H04M3/42
CPC分类号： G06K9/624 , H04L67/12 , H04L67/2833 , H04M2250/12 , H04W4/38 , H04W84/18
摘要： A sensor network may be created by collecting information from a plurality of mobile devices, such as cellular telephones. The mobile devices use sensors, such as microphones, cameras, accelerometers, biometric readers, etc. to detect the sensory information. Sensory output related to detected sensory information may be transmitted from a mobile device to a receiver that receives the sensory outputs. The received sensory outputs from a plurality of mobile devices may be aggregated to generate aggregated data, which may be transmitted to one or more receivers that use the aggregated data to perform a function and/or present the aggregated data to a user. Additionally, the aggregated data may be reviewed by a reviewer component that can create (revised) detection instructions regarding how one or more mobile devices are to detect sensory information and/or what sensory information to detect (e.g., to make resulting aggregated data more relevant).
摘要翻译：可以通过从诸如蜂窝电话的多个移动设备收集信息来创建传感器网络。移动设备使用诸如麦克风，照相机，加速度计，生物识别读取器等的传感器来检测感官信息。与检测到的感觉信息相关的感觉输出可以从移动设备发送到接收感觉输出的接收器。可以聚合来自多个移动设备的接收到的感觉输出以生成聚合数据，其可以被发送到使用聚合数据的一个或多个接收机执行功能和/或将聚合数据呈现给用户。此外，综合数据可以由审查者组件审查，审查者组件可以创建关于一个或多个移动设备如何检测感觉信息和/或要检测的感觉信息的（修订的）检测指令（例如，使得结果聚合数据更相关）。

6. 发明申请

US20090125880A1 POLYMORPHIC SOFTWARE ARCHITECTURE 审中-公开
标题翻译：多元软件架构
公开(公告)号：US20090125880A1
公开(公告)日：2009-05-14
申请号：US11938373
申请日：2007-11-12
申请人： Dragos A. Manolescu , Erik Meijer
发明人： Dragos A. Manolescu , Erik Meijer
IPC分类号： G06F9/44
CPC分类号： G06F8/24
摘要： A polymorphic software architecture is provided by which the shape of the architecture is enabled to be dynamically changed by splitting and fusing various architectural components (which may also be called “elements”) responsively to the environment in which the software executes, without changing the application's code. The splitting and fusing points determine, for example, the partitioning of functionality and data across architecture components, communication among the components, and the allocation of resources to the components. A profile of an end-user, or a profile of the runtime environment that supports the end-user, may be used to drive the shape of the software architecture so that overall design goals are met upon initial software deployment, and maintained as the profiles change.
摘要翻译：提供了一种多态软件体系结构，通过该体系结构可以通过分散和融合响应于软件执行的环境的各种架构组件（也可以称为“元素”）来动态地改变架构的形状，而不改变应用程序的码。分割和融合点确定例如跨架构组件的功能和数据的分区，组件之间的通信以及向组件分配资源。最终用户的配置文件或支持最终用户的运行时环境的配置文件可用于驱动软件体系结构的形状，以便在初始部署软件时满足总体设计目标，并将其维护为配置文件更改。

7. 发明申请

US20100255830A1 MOBILE SENSOR NETWORK 有权
标题翻译：移动传感器网络
公开(公告)号：US20100255830A1
公开(公告)日：2010-10-07
申请号：US12418145
申请日：2009-04-03
申请人： Dragos A. Manolescu , Erik Meijer
发明人： Dragos A. Manolescu , Erik Meijer
IPC分类号： H04M3/00 , H04M1/00 , G06F15/16
CPC分类号： G06K9/624 , H04L67/12 , H04L67/2833 , H04M2250/12 , H04W4/38 , H04W84/18
摘要： A sensor network may be created by collecting information from a plurality of mobile devices, such as cellular telephones. The mobile devices use sensors, such as microphones, cameras, accelerometers, biometric readers, etc. to detect the sensory information. Sensory output related to detected sensory information may be transmitted from a mobile device to a receiver that receives the sensory outputs. The received sensory outputs from a plurality of mobile devices may be aggregated to generate aggregated data, which may be transmitted to one or more receivers that use the aggregated data to perform a function and/or present the aggregated data to a user. Additionally, the aggregated data may be reviewed by a reviewer component that can create (revised) detection instructions regarding how one or more mobile devices are to detect sensory information and/or what sensory information to detect (e.g., to make resulting aggregated data more relevant).
摘要翻译：可以通过从诸如蜂窝电话的多个移动设备收集信息来创建传感器网络。移动设备使用诸如麦克风，照相机，加速度计，生物识别读取器等的传感器来检测感官信息。与检测到的感觉信息相关的感觉输出可以从移动设备发送到接收感觉输出的接收器。可以聚合来自多个移动设备的接收到的感觉输出以生成聚合数据，其可以被发送到使用聚合数据的一个或多个接收机执行功能和/或将聚合数据呈现给用户。此外，综合数据可以由审阅者组件审查，审阅者组件可以创建关于一个或多个移动设备如何检测感觉信息和/或要检测的感觉信息的（修订的）检测指令（例如，使得结果聚合数据更相关）。

8. 发明授权

US08601448B2 Representing pointers and boxing in environments using only reference types 有权
标题翻译：在仅使用引用类型的环境中表示指针和拳击
公开(公告)号：US08601448B2
公开(公告)日：2013-12-03
申请号：US11950945
申请日：2007-12-05
申请人： Erik Meijer , Jeffrey van Gogh
发明人： Erik Meijer , Jeffrey van Gogh
IPC分类号： G06F9/45
CPC分类号： G06F8/52 , G06F8/53
摘要： An arrangement by which pointers may be represented in a restricted software execution environment that provides access to only reference types but not pointers is realized by modeling both pointers and value type boxing using a set of boxes (i.e., containers) which describe how to retrieve the value associated with the pointer, and emitting code for accessing the set of boxes. A decompiling and recompiling process is utilized in which code arranged to run in an execution environment that supports pointers is scanned to reveal pointer and boxing usage. In one illustrative example, code is responsively emitted to create one or more specific boxes. At runtime in the restricted execution environment, an instance of a box class is created to thus emulate a pointer to the value.
摘要翻译：指针可以在仅限于引用类型而不是指针的受限软件执行环境中表示的布置通过使用一组框（即容器）对指针和值类型进行建模来实现，这些框描述如何检索与指针相关联的值，以及发送用于访问该组框的代码。使用反编译和重新编译过程，其中被安排为在支持指针的执行环境中运行的代码被扫描以显示指针和拳击使用。在一个说明性示例中，响应地发射代码以创建一个或多个特定框。在受限执行环境中的运行时，创建一个框类的实例，从而模拟一个指向该值的指针。

9. 发明申请

US20090150422A1 REPRESENTING POINTERS AND BOXING IN ENVIRONMENTS USING ONLY REFERENCE TYPES 有权
标题翻译：仅使用参考类型表示环境中的指针和包装
公开(公告)号：US20090150422A1
公开(公告)日：2009-06-11
申请号：US11950945
申请日：2007-12-05
申请人： Erik Meijer , Jeffrey van Gogh
发明人： Erik Meijer , Jeffrey van Gogh
IPC分类号： G06F17/30
CPC分类号： G06F8/52 , G06F8/53
摘要： An arrangement by which pointers may be represented in a restricted software execution environment that provides access to only reference types but not pointers is realized by modeling both pointers and value type boxing using a set of boxes (i.e., containers) which describe how to retrieve the value associated with the pointer, and emitting code for accessing the set of boxes. A decompiling and recompiling process is utilized in which code arranged to run in an execution environment that supports pointers is scanned to reveal pointer and boxing usage. In one illustrative example, code is responsively emitted to create one or more specific boxes. At runtime in the restricted execution environment, an instance of a box class is created to thus emulate a pointer to the value.
摘要翻译：指针可以在仅限于引用类型而不是指针的受限软件执行环境中表示的布置通过使用一组框（即容器）对指针和值类型进行建模来实现，这些框描述如何检索与指针相关联的值，以及发送用于访问该组框的代码。使用反编译和重新编译过程，其中被安排为在支持指针的执行环境中运行的代码被扫描以显示指针和拳击使用。在一个说明性示例中，响应地发射代码以创建一个或多个特定框。在受限执行环境中的运行时，创建一个框类的实例，从而模拟一个指向该值的指针。

10. 发明申请

US20100325607A1 Generating Code Meeting Approved Patterns 审中-公开
标题翻译：生成代码会议批准的模式
公开(公告)号：US20100325607A1
公开(公告)日：2010-12-23
申请号：US12486156
申请日：2009-06-17
申请人： Erik Meijer , John Wesley Dyer
发明人： Erik Meijer , John Wesley Dyer
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/447
摘要： A compiler deployed as a component of an integrated development environment (“IDE”) is adapted to transform source code into target code that is correct by construction by complying with approved patterns described by an external configuration file which is utilized to parameterize the generation of the target code by a code generator. The approved patterns can express various design requirements, guidelines, policies, and the like that are acceptable for the target code to include as well as those which are unacceptable. A rules generator that applies regular tree grammar is configured to encapsulate the approved patterns in the external configuration file using a formal description that is machine-readable by the code generator. A source code translator is alternatively utilized to transform non-compliant source code into compliant source code that adheres to the approved patterns.
摘要翻译：作为集成开发环境（“IDE”）组件部署的编译器适用于通过符合由外部配置文件描述的批准模式将源代码转换为正确的目标代码，该外部配置文件用于参数化生成目标代码由代码生成器。批准的模式可以表达目标代码可接受的各种设计要求，准则，政策等以及不可接受的设计要求。使用规则树语法的规则生成器被配置为使用由代码生成器可机读取的形式描述将批准的模式封装在外部配置文件中。替代地，使用源代码翻译器将不合规的源代码变换为符合批准的模式的兼容源代码。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式