公开(公告)号：CN102402481A

公开(公告)日：2012-04-04

申请号：CN201110317876.5

申请日：2011-10-09

Applicant: 微软公司

Inventor： E·梅杰 ,  D·A·马诺列斯库 ,  J·W·戴尔 ,  J·范格格

IPC: G06F11/36

CPC classification number: G06F11/3692 ,  G06F11/076 ,  G06F11/3684

Abstract: 描述了异步程序代码的模糊测试。此处描述了将事件源、信道、处理器以及消费者表示为应用程序中的第一级实体的模糊测试系统。对与事件相关的实体进行抽象允许通过对来自应用程序内的事件进行插入、丢弃、重新排序以及延迟来进行模糊。这转变为定位受测试的区域以及以对称方式执行模糊的能力。在一些实施例中，模糊测试系统测试并发异步和基于事件的代码，并能够基于给定的统计分布来生成事件流。将事件、事件源、过滤器、以及汇点表示为第一级对象提供了对于事件处理器的简单访问，并有助通过在源和汇点之间引入事件过滤器来实现模糊。因此，模糊测试系统采用异步行为改进了应用程序和API的可测试性，并提供了用于将模糊测试引入这些应用程序中的统一框架。

公开(公告)号：CN102323772A

公开(公告)日：2012-01-18

申请号：CN201110096104.3

申请日：2011-04-01

Applicant: 微软公司

Inventor： H·J·M·梅杰 ,  D·A·马诺列斯库 ,  J·范格格 ,  J·W·戴尔 ,  B·C·贝克曼

IPC: G05B19/048 ,  G06F17/00

CPC classification number: G06F17/30595 ,  G06F9/4498

Abstract: 本发明描述了用数据库运算符的状态机表达。状态机可以使用数据库查询语言的事件驱动对象来表示。可以将来自数据库查询语言的绑定运算符用作状态转移函数，其中转移函数具有定义状态的副效应。对象可以用事件驱动表达式和运算符来操纵并且执行原本对于简单状态机而言复杂的操作。

公开(公告)号：CN102594860A

公开(公告)日：2012-07-18

申请号：CN201110415371.2

申请日：2011-12-01

Applicant: 微软公司

Inventor： D·范费尔岑 ,  J·范格格 ,  H·J·M·梅杰 ,  A·萨凯蒂 ,  S·R·拉武拉

IPC: H04L29/08

CPC classification number: G06F17/3089 ,  H04L65/4015 ,  H04L65/605

Abstract: 本文描述了混合同步和异步数据流。队列可存储基于接收到的数据请求和后续对于一个或多个数据源/服务器的订阅从服务器异步获取的数据流。例如，可管理队列以用于后续接收的数据流的同步或异步释放。

公开(公告)号：CN102541636A

公开(公告)日：2012-07-04

申请号：CN201110435584.1

申请日：2011-12-12

Applicant: 微软公司

Inventor： J·W·戴尔 ,  J·范格格 ,  H·J·M·梅杰 ,  B·德斯梅特 ,  C·J·米克

IPC: G06F9/46

CPC classification number: G06F9/542 ,  G06F17/5009

Abstract: 本发明涉及反应性的重合。对外部事件流可进行建模，以用内部事件流来表示事件的持续时间。可生成内部事件流来表示来自外部事件流的至少一个事件的持续时间。通过对外部事件流建模以包括持续时间，可确定两个或更多事件之间的重合。更具体地，对外部事件流的建模使得能够使用运算符来标识来自事件流的各个事件间的重合。

公开(公告)号：CN102385513A

公开(公告)日：2012-03-21

申请号：CN201110308242.3

申请日：2011-09-28

Applicant: 微软公司

Inventor： J·范格格 ,  H·J·M·梅杰 ,  J·W·戴尔 ,  B·德斯梅特 ,  D·范费尔岑

IPC: G06F9/44

CPC classification number: G06F8/30 ,  G06F9/542

Abstract: 本发明涉及反应式编程的编程语言支持。提供程序语言支持以便于反应式编程。提供了在第一类模式和第二类模式之间开始转换的代码，其中模式相对于基于推的数据来操作。还提供了对根据例如迭代器模式来产生和消费基于推的数据的支持。

公开(公告)号：CN102236578A

公开(公告)日：2011-11-09

申请号：CN201110127071.4

申请日：2011-05-06

Applicant: 微软公司

Inventor： D·范威尔兹恩 ,  J·范格格 ,  H·J·M·梅杰

IPC: G06F9/46

CPC classification number: G06F9/5038 ,  G06F8/70 ,  G06F9/5083

Abstract: 本发明描述了分布式工作流执行。工作流可被自动指定成跨多个自治计算实体来执行。例如，将计算成本与计算实体之间通信的成本进行平衡，以减小工作流的总执行时间。换言之，在编组任务以在单个计算实体上执行与划分任务以跨多个计算实体执行之间达到平衡。