Title:
EQUIVALENCE VERIFICATION DEVICE AND EQUIVALENCE VERIFICATION PROGRAM
Document Type and Number:
WIPO Patent Application WO/2018/193548
Kind Code:
A1
Abstract:
A generation unit (110) generates a verification wrapper for verifying equivalence between a first function and a second function. The verification wrapper includes a loop statement for repeatedly calling the first function and the second function. A verification unit (130) performs equivalence verification using the verification wrapper so as to determine equivalence between the first function and the second function each time the first and second functions are called.
Inventors:
YONEMOCHI KAZUKI (JP)
ISODA MAKOTO (JP)
ISODA MAKOTO (JP)
Application Number:
PCT/JP2017/015709
Publication Date:
October 25, 2018
Filing Date:
April 19, 2017
Export Citation:
Assignee:
MITSUBISHI ELECTRIC CORP (JP)
International Classes:
G06F11/36
Foreign References:
| JP2013171350A | 2013-09-02 |
Other References:
YASUI, TSUTOMU ET AL.: "Test-Ryoku", JAVA WORLD, vol. 9, no. 10, 1 October 2005 (2005-10-01), pages 200 - 207
Attorney, Agent or Firm:
MIZOI INTERNATIONAL PATENT FIRM (JP)
Download PDF:
Previous Patent: DATA BACKUP CONTROL DEVICE
Next Patent: BUTTON STRUCTURE FOR TOUCH PANEL, BUTTON FOR TOUCH PANEL, AND ELECTRONIC EQUIPMENT
Next Patent: BUTTON STRUCTURE FOR TOUCH PANEL, BUTTON FOR TOUCH PANEL, AND ELECTRONIC EQUIPMENT