Patents by Inventor Pankaj Bharti Gupta

Pankaj Bharti Gupta has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Compatibility testing using traces, linear temporal rules, and behavioral models
    Patent number: 8892493
    Abstract: 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.
    Type: Grant
    Filed: February 1, 2012
    Date of Patent: November 18, 2014
    Assignee: Microsoft Corporation
    Inventors: Randall Edward Aull, Pankaj Bharti Gupta, Robert Eugene Harris, Jr., Jane Evguenia Lawrence, Venkatesh-Prasad Ranganath, Pradip Harindran Vallathol
  • COMPATIBILITY TESTING USING TRACES, LINEAR TEMPORAL RULES, AND BEHAVIORAL MODELS
    Publication number: 20120159250
    Abstract: 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.
    Type: Application
    Filed: February 1, 2012
    Publication date: June 21, 2012
    Applicant: MICROSOFT CORPORATION
    Inventors: Randall Edward Aull, Pankaj Bharti Gupta, Robert Eugene Harris, JR., Jane Evguenia Lawrence, Venkatesh-Prasad Ranganath, Pradip Harindran Vallathol