| 摘要 |
PROBLEM TO BE SOLVED: To verify whether an output file is correct, by comparing the output files before and after repair when repairing a program including a function for creating the output file. ! SOLUTION: New and former first programs 211 and 221 are executed by a first compare task 61, a system is activated after new and former output files 411 and 421 are created, and the new and former files 411 and 421 are compared to output a different part as a first mismatch result 51. A part in which mismatching is predicted in comparing the new and former first output files 411 and 421 is outputted as a first mask part list 711 on the basis of new and former first output file specifications 311 and 321 by a first mask part extraction task 71. On the basis of the new and former first programs 211 and 221, the new and former first output file specifications 311 and 321 and the first mismatch result 51, a program that causes mismatching is determined by a first factor program determination task 81. ! COPYRIGHT: |
