Title:
PROGRAM CHECK DEVICE AND PROGRAM CHECK METHOD
Document Type and Number:
WIPO Patent Application WO/2023/145165
Kind Code:
A1
Abstract:
Provided is a program check device formed of a computer including a computation unit that executes predetermined computation processing and a storage device connected to the computation unit, the storage device stores at least a compiler for compiling a source code, and the computation unit executes the compiler to identify an error occurrence location in the source code, generates a change location candidate at which an equivalent change is applied to the source code, executes the compiler to identify an error occurrence location in the source code to which the equivalent change has been applied at the change location candidate, and identifies a true error-causing location in the source code according to a change in the error occurrence location.
Inventors:
HAYASHI RYOSUKE (JP)
SERIZAWA KAZUYOSHI (JP)
SERIZAWA KAZUYOSHI (JP)
Application Number:
PCT/JP2022/039564
Publication Date:
August 03, 2023
Filing Date:
October 24, 2022
Export Citation:
Assignee:
HITACHI ASTEMO LTD (JP)
International Classes:
G06F11/36; G06F8/41
Foreign References:
| CN113918444A | 2022-01-11 | |||
| JPH0944347A | 1997-02-14 |
Attorney, Agent or Firm:
TOU-OU PATENT FIRM (JP)
Download PDF: