Patent · US Active

Modeling software behavior using learned predicates

US9098621B2 · kind B2 · utility

6Cited by

7References

20Claims

0Family size

Assignee

MICROSOFT TECHNOLOGY LICENSING, LLC · US

Inventors

Alice Zheng · Seattle, US
Madanlal Musuvathi · Redmond, US
Nishant Mehta · Delhi, IN

Key dates

Filing date	Feb 28, 2011
Grant date	Aug 4, 2015
Priority date	—
Expiry date	Oct 15, 2032

Classification

Technology area (CPC G)Physics
CPC primaryG06N20/00
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

The described implementations relate to analysis of computing programs. One implementation provides a technique that can include accessing values of input variables that are processed by test code and runtime values that are produced by the test code while processing the input variables. The technique can also include modeling relationships between the runtime values and the values of the input variables. The relationships can reflect discontinuous functions of the input variables.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.