Generating inputs for computer-program testing

One or more non-transitory computer-readable media that include instructions that when executed by one or more processors perform operations, the operations comprising:

• obtaining a computer-readable program;
• analyzing the computer-readable program to identify a constant in code of the computer-readable program, the constant having a constant value in the code of the computer-readable program;
• obtaining context data associated with the constant, the context data obtained from an analysis of lines of code adjacent to an occurrence of the constant;
• determining a location of a basic block in the computer-readable program that includes the occurrence of the constant, the basic block requesting an input value;
• analyzing the context data in relation to the constant value to identify a property of potential input values to the computer-readable program at the location;
• generating an input value for the basic block in the computer-readable program using the constant value and the identified property, the input value designed to test functionality of the computer-readable program by being processed by the computer-readable program during execution of the computer-readable program;
• executing the computer-readable program;
• and
• testing functionality of the computer-readable program by automatically providing the generated input value to the location of the basic block in the computer-readable program during execution of the computer-readable program,
• wherein the computer-readable program processes the generated input value, the generated input value being automatically provided in response to the executing computer-readable program requesting an input value after execution of the computer-readable program reaches the location of the basic block and without changing the constant value of the constant in the code of the computer-readable program.

A system including one or more processors and one or more computer-readable media, the system configured to perform operations comprising:

• obtaining a computer-readable program;
• analyzing the computer-readable program to identify a constant in code of the computer-readable program, the constant having a constant value in the code of the computer-readable program;
• obtaining context data associated with the constant, the context data obtained from an analysis of lines of code adjacent to an occurrence of the constant;
• determining a location of a basic block in the computer-readable program that includes the occurrence of the constant, the basic block requesting an input value;
• analyzing the context data in relation to the constant value to identify a property of potential input values to the computer-readable program at the location;
• generating an input value for the basic block in the computer-readable program using the constant value and the identified property, the input value designed to test functionality of the computer-readable program by being processed by the computer-readable program during execution of the computer-readable program;
• executing the computer-readable program;
• and
• testing functionality of the computer-readable program by automatically providing the generated input value to the location of the basic block in the computer-readable program during execution of the computer-readable program,
• wherein the computer-readable program processes the generated input value, the generated input value being automatically provided in response to the executing computer-readable program requesting an input value after execution of the computer-readable program reaches the location of the basic block and without changing the constant value of the constant in the code of the computer-readable program.