Microsoft Technology Licensing, LLC

Adam Jonathan Shapiro

Vladimir A Levin

Jakob Frederik Lichtenberg

Dieter G Achtelstetter

Conal McGarvey

Travis J Martin

Various embodiments provide per group verification techniques in which code may be verified against one or more rules on a group by group basis. In one or more embodiments relationships between portions of a module to be verified can be defined. By being aware of relationships between various code portions, various embodiments can divide a module into related groups and perform verification on the basis of the groups. Multiple groups can be derived based at least in part upon the relationships. Each group can then be verified separately for compliance with one or more rules. Verification results can be output for each of the groups.

Per group verification

A target test framework and method are provided which can enable scenario writer(s) to design and implement driver test(s) by providing a platform to build scenario-based automated tests for device(s) and device driver(s) by using a set of components designed for target testing. The framework enables scenario writer(s) to perform a set of actions across different types device(s). The framework further enables the testing of technology areas common to many targets (e.g., plug and play, power management, install/uninstall, security etc.). Additionally, the framework facilitates automatic identification and/or running of prewritten core functionality test that apply to a particular device. The framework further can allow runtime control of tests and the combining of framework components to form new device functionality tests and large scale scenarios.

Growing community of inventors

Seattle, WA, United States of America

Adam Jonathan Shapiro