Title:
EQUIVALENCE INSPECTION SYSTEM AND EQUIVALENCE INSPECTION PROGRAM
Document Type and Number:
WIPO Patent Application WO/2022/239148
Kind Code:
A1
Abstract:
An effect state variable extraction unit (110) extracts, from each of an unchanged source code and a changed source code, an effect state variable of a target function that is repeatedly called upon. A determination step number calculation unit (120) calculates, as a determination step number, a number of times that the target function is called upon and that satisfies the condition in which: the unchanged target function is repeatedly called upon and the value of the effect state variable returns to an initial value; and the changed target function is repeatedly called upon and the value of the effect state variable returns to the initial value. A determination code generation unit (130) determines equivalence by repeatedly calling upon each of the unchanged target function and the changed target function the same number of times as the determination step number.
Inventors:
WANG GUYUE (JP)
ISODA MAKOTO (JP)
ISODA MAKOTO (JP)
Application Number:
PCT/JP2021/018051
Publication Date:
November 17, 2022
Filing Date:
May 12, 2021
Export Citation:
Assignee:
MITSUBISHI ELECTRIC CORP (JP)
International Classes:
G06F11/36; G06F8/70
Domestic Patent References:
| WO2018193548A1 | 2018-10-25 |
Attorney, Agent or Firm:
CROSS-BORDER PATENT FIRM (JP)
Download PDF: