Loading patent…
AssigneeMicrosoft Corporation
InventorsNikolai Tillmann, Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Margus Veanes
Estimating the term…
Techniques and tools for generating test cases for methods or programs with input preconditions are described. For example, after finding feasible control flow paths for a tested method along with each path's associated input conditions, a new program is created which tests these conditions along with the precondition. By analyzing this new program's control flow graph, a class of test cases is found while avoiding inefficiencies created by doing complete searches of paths through the combined control flow graph of the precondition and the method. Additional efficiencies are introduced by partitioning a control flow graph for the precondition into branched and straight sections.
A method of generating test cases for a tested software method with an input precondition, the method comprising:
A method for generating test conditions for a first program, the first program having a precondition on its inputs defined by a second program, and the method comprising:
One or more computer-readable media containing instructions which, when executed by a computer, cause the computer to perform a method for determining a class of test cases for a tested computer program, the tested program having an input precondition, and the method comprising:
Dependencies are inferred from the claim text.