SOURCE CODE EVALUATION DEVICE, SOURCE CODE EVALUATION METHOD, AND SOURCE CODE EVALUATION PROGRAM

摘要

An association scope extraction unit (300) extracts, from post-change source code (102), as a second association scope, a code block which is the same as any code block of pre-change source code (101) and which corresponds to a portion which is changed from the pre-change source code, and extracts, from the pre—change source code, as a first association scope, the same code block as the second association scope. A symbolic execution unit (402) carries out a symbolic execution of the first association scope and the second association scope. When an operation appears in the symbolic execution of the first association scope which is upon an element which is outside the first association scope, a recording unit (404) records an identification value of the operation upon the element which is outside the first association scope, and when an operation appears in the symbolic execution of the second association scope which is upon an element which is outside the second association scope, records an identification value of the operation upon the element which is outside the second association scope. A comparison unit (403) compares the recorded sequence of the identification values in the symbolic execution of the first association scope and the recorded sequence of the identification values in the symbolic execution of the second association scope.