公开(公告)号：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的可测试性，并提供了用于将模糊测试引入这些应用程序中的统一框架。

公开(公告)号：CN102521021A

公开(公告)日：2012-06-27

申请号：CN201110339647.3

申请日：2011-10-19

Applicant: 微软公司

Inventor： E·梅杰 ,  D·马诺列斯库

IPC: G06F9/46

CPC classification number: G06F9/5094 ,  G06F9/542 ,  Y02D10/22

Abstract: 本发明涉及经由事件流管理的绿色计算，具体地，本发明涉及通过利用基于事件的编程的异步特性在计算系统中的资源优化。用如此处描述的机制来截取到达相应事件流的事件，该机制根据与程序处理相关联的理想的资源使用水平而调节事件从事件流流向其相应程序的流动。经由在事件上的诸如缓冲、排队、解样、聚集、重新排序等操作而如此处所述地执行事件流控制。如此处附加地描述的，可基于对诸如程序优先级、功率配置文件或其他资源配置文件和资源成本分析等的考虑而为给定处理实体确定资源使用水平。进一步，提供了用于将此处所述的输入调节扩展在到多个处理节点之间的分布负载的情况的技术。