Microsoft Technology Licensing, LLC

Pankaj Bharti Gupta

Randall Edward Aull

Vivek Gupta

Robert E Harris, Jr

Venkatesh-Prasad Ranganath

Pradip Harindran Vallathol

Randell E Aull

Jane Evguenia Lawrence

Deng Zhong

A 'Compatibility Tester' extracts observable behaviors from different system implementations (e.g., software, operating systems, device drivers, hardware interfaces, etc.), then performs compatibility testing via comparisons of the extracted behaviors. Traces (e.g., bus level signals between controllers and hardware devices or commands between software components) representing observable behaviors of different implementations of a system are captured. Temporal and structural rules are then mined from these traces. The mined rules (or a model constructed from those rules) are used by a 'Rule Checking' process that determines whether reference rules (mined from a known compatible system) are compatible with rules mined from test traces of a second system. Invalid rules are flagged as behavioral compatibility bugs. Alternately, the mined rules are used by a &#x201c;Rule Diffing&#x201d; process that performs set differencing of the behavioral and structural rules mined from the different system implementations, with differences between the systems flagged as behavioral compatibility bugs.

Compatibility testing using traces, linear temporal rules, and behavioral models

Various embodiments provide a two-way interface between a URC driver (URCD) and various Protocol Adaption Layer (PAL) drivers. The two-way interface can enable bandwidth to be shared and managed among multiple different PALs. The two-way interface can also be used to implement common radio functionality such as beaconing, channel selection, and address conflict resolution. In at least some embodiments, the two-way interface can be utilized for power management to place PALs in lower power states to conserve power and to support remote wake-up functionality. Further, at least some embodiments can enable vendor-specific PALs to interact with vendor-specific hardware.

Ultra-wideband radio controller driver (URCD)-PAL interface

Growing community of inventors

Bothell, WA, United States of America

Pankaj Bharti Gupta