会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 6. 发明申请
    • PUSH-BASED APPLICATION PROGRAM INTERFACE BASED ON DUALS OF A PULL-BASED APPLICATION PROGRAM INTERFACE
    • 基于压缩应用程序接口双向的基于压缩的应用程序接口
    • US20110138403A1
    • 2011-06-09
    • US12633160
    • 2009-12-08
    • Henricus Johannes Maria MeijerJohn Wesley DyerDragos A. Manolescu
    • Henricus Johannes Maria MeijerJohn Wesley DyerDragos A. Manolescu
    • G06F9/44
    • G06F9/4486
    • Methods and devices are provided for defining push-based standard sequence operators based on respective duals of corresponding pull-based standard sequence operators. A push-based application program interface (API) may be defined based on mathematical duals of a corresponding pull-based API. The push-based API may include a library of routines, which further may include push-based standard sequence operators defined based on deriving mathematical duals of corresponding pull-based standard sequence operators. A protocol for processing a push-based collection may be defined as a mathematical dual of a protocol for processing a pull-based collection. In various embodiments, mathematical duality with respect to synchronous, pull-based, collections may be exploited to define operators for processing asynchronous push-based collections.
    • 提供了用于基于相应的基于拉式的标准序列运算符的相应双重定义基于推的基于标准序列运算符的方法和装置。 可以基于相应的基于引用的API的数学双重来定义基于推送的应用程序接口(API)。 基于推送的API可以包括例程库,其还可以包括基于相应的基于拉式的标准序列运算符的导出数学双重的定义的基于推的标准序列运算符。 用于处理基于推送的集合的协议可以被定义为用于处理基于引用的集合的协议的数学双重。 在各种实施例中,可以利用相对于同步,基于引用的集合的数学二元性来定义用于处理异步基于推送的集合的运算符。
    • 8. 发明授权
    • Fuzz testing of asynchronous program code
    • 异步程序代码的模糊测试
    • US09015667B2
    • 2015-04-21
    • US12898724
    • 2010-10-06
    • Erik MeijerDragos A. ManolescuJohn Wesley DyerJeffrey van Gogh
    • Erik MeijerDragos A. ManolescuJohn Wesley DyerJeffrey van Gogh
    • G06F9/44G06F11/07G06F11/36
    • G06F11/3692G06F11/076G06F11/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的可测试性,并为此类应用程序提供了一个统一的框架来引入模糊测试。
    • 9. 发明申请
    • GENERATING DOCUMENTATION FROM TESTS
    • 从测试中生成文档
    • US20120102458A1
    • 2012-04-26
    • US12909851
    • 2010-10-22
    • Erik MeijerDragos A. ManolescuJohn Wesley DyerJeffrey Van Gogh
    • Erik MeijerDragos A. ManolescuJohn Wesley DyerJeffrey Van Gogh
    • G06F9/44
    • G06F8/73G06F11/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.
    • 本文描述了一个文档系统,它自动从验证软件代码正确操作的测试中生成软件代码的文档。 软件开发团队经常编写自动测试(测试正在运送的软件的软件),如单元测试。 当正确写入时,这些测试是软件应该做的书面合同。 文档系统可以使用静态和动态分析结合测试代码中的注释来从这些测试中提取合同,并利用提取的信息自动生成文档。 然后,系统可以以文本或图形的方式直观地显示该信息。 因此,文档系统生成更准确地反映软件代码如何运行的文档,而不会对软件开发周期造成重大负担。
    • 10. 发明申请
    • FUZZ TESTING OF ASYNCHRONOUS PROGRAM CODE
    • 非同步程序代码的FUZZ测试
    • US20120089868A1
    • 2012-04-12
    • US12898724
    • 2010-10-06
    • Erik MeijerDragos A. ManolescuJohn Wesley DyerJeffrey Van Gogh
    • Erik MeijerDragos A. ManolescuJohn Wesley DyerJeffrey Van Gogh
    • G06F11/36
    • G06F11/3692G06F11/076G06F11/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的可测试性,并为此类应用程序提供了一个统一的框架来引入模糊测试。