- Patent Title: Validating correctness of expression evaluation within a debugger
-
Application No.: US14597469Application Date: 2015-01-15
-
Publication No.: US09176846B1Publication Date: 2015-11-03
- Inventor: Timothy A. Fors , Patrick G. Gallop , Chung Hang Kevin Yuen
- Applicant: International Business Machines Corporation
- Applicant Address: US NY Armonk
- Assignee: International Business Machines Corporation
- Current Assignee: International Business Machines Corporation
- Current Assignee Address: US NY Armonk
- Agent Alexa L. Ashworth
- Main IPC: G06F9/44
- IPC: G06F9/44 ; G06F11/36

Abstract:
A method for validating correctness of expression evaluation within a debugger. The method includes determining a statement of interest comprising an expression recognized by a debugger program within one or more source program files of a debuggable program and generating a debug command file for the statement of interest. The method includes inserting a set of debug commands, comprising a first path for a baseline run and a second path for a test run for the statement of interest, into the debug command file, then causing the execution of the baseline run and test run. Results from the baseline run and results from the test run are compared to determine if the results from the baseline run are equivalent to the results from the test run.
Public/Granted literature
- US20150331782A1 VALIDATING CORRECTNESS OF EXPRESSION EVALUATION WITHIN A DEBUGGER Public/Granted day:2015-11-19
Information query