主权项 |
1. A method for validating correctness of expression evaluation within a debugger program, the method comprising:
determining, by one or more processors, a statement of interest within one or more source program files of a debuggable program, wherein the statement of interest comprises an expression recognized by a debugger program; generating, by one or more processors, a debug command file for the statement of interest; inserting, by one or more processors, a set of debug commands for the statement of interest into the debug command file, wherein the set of debug commands comprises a first path for a baseline run and a second path for a test run; causing, by one or more processors, the execution of the baseline run and the test run; comparing, by one or more processors, results from the baseline run and results from the test run to determine if said results from the baseline run are equivalent to said results from the test run; storing results from the baseline run as a first true path string or a first false path string; storing results from the test run as a second true path string or a second false path string; and comparing the first true path string or the first false path string of the results from the baseline run to the second true path string or the second false path string of the results from the test run, to determine if the first true path string or the first false path string is equivalent to the second true path string or the second false path string. |