×

Model independent input reduction

  • US 7,493,522 B2
  • Filed: 01/30/2006
  • Issued: 02/17/2009
  • Est. Priority Date: 01/30/2006
  • Status: Expired due to Fees
First Claim
Patent Images

1. One or more computer storage media storing computer executable instructions, wherein execution of the computer executable instructions causes a computer to perform a process that implements an interface, the process comprising:

  • at an implementation of the interface;

    generating a working model of a program by reading a model description with a first format, the model description describing transitions between states that correspond to transitions between states of the program;

    loading a test path and mapping it to the working model;

    at a reduction engine having the interface;

    reducing the test path;

    causing the program to execute according to the reduced test path; and

    determining whether the execution of the reduced test path reproduced a same program condition as the original unreduced test path;

    at another implementation of the interface;

    generating another working model of another program by reading another model description with a second format, the other model description describing transitions between states that correspond to transitions between states of the other program;

    loading another test path and mapping it to the other working model; and

    at the reduction engine having the interface;

    reducing the other test path;

    causing the other program to execute according to the reduced other test path; and

    determining whether the execution of the other reduced test path reproduced a same program condition as the other original unreduced test path.

View all claims
  • 2 Assignments
Timeline View
Assignment View
    ×
    ×