ITERATIVE GENERATION OF SYMBOLIC TEST DRIVERS FOR OBJECT-ORIENTED LANGUAGES

摘要

PROBLEM TO BE SOLVED: To provide a method and system of iterative generation of symbolic test drivers.SOLUTION: A method includes, by one or more computing devices, determining instructions for a computing device to be evaluated, creating a first symbolic test driver including one or more of the instructions to be evaluated and a designation of a symbolic variable corresponding to a portion of the instructions, symbolically executing the instructions with respect to the symbolic variable, determining a test case from the results of the symbolic execution including one or more commands to execute the instructions with a given value for the symbolic variable, determining one or more calls to an object-oriented-programming component in the commands, creating a new symbolic test driver including the calls based on the determined calls, and subsequently symbolically executing the new symbolic test driver.