Patent ID: 9697018
Date: 2017-07-04
CPC Classifications: G06F,G06N

Claim:
1. A computer-implemented method for generating one or more customized mock inputs to a computer program to enable execution of a set of functionalities of the computer program when resources providing inputs that enable execution of the set of functionalities are unavailable, comprising: selecting the computer program from a database of candidate computer programs; during a test run of the selected computer program, determining when access to a first resource providing a first input is unavailable and when access to a second resource providing a second input is unavailable; identifying, by at least one processor, the set of functionalities, wherein a first functionality of the set of functionalities has the first input, and a second functionality of the set of functionalities has the second input; determining a first constraint on the first input, wherein the first constraint defines a set of values of the first input which enables the first functionality; determining a second constraint on the second input, wherein the second constraint defines a set of values of the second input which enables the second functionality; generating a first constraint satisfaction problem including the first constraint and the second constraint, wherein the first constraint and the second constraint are written as a logical expression including logical operators that combine the first constraint with the second constraint; determining that a first tuple of mock input values does not exist to satisfy the first constraint satisfaction problem; in response to determining that the first tuple does not exist, performing steps of: