Title:
INSPECTION DEVICE OF COMPUTER PROGRAM, AND ON-VEHICLE DEVICE FOR INSPECTING COMPUTER PROGRAM FOR VEHICLE CONTROL
Document Type and Number:
Japanese Patent JP2018151803
Kind Code:
A
Abstract:
PROBLEM TO BE SOLVED: To determine the existence/absence of instability due to parallel execution of a program.SOLUTION: An inspection device 10 of a computer program including a first sub-program and a second sub-program which undergo parallel execution determines whether a first program state after the two sub-programs undergo the parallel execution and a second program state after the two sub-programs are sequentially executed satisfy a prescribed equivalence standard, and outputs a determination result 70 of the equivalence standard.SELECTED DRAWING: Figure 1
Inventors:
NISHI MASATAKA
EBINA TOMOHITO
EBINA TOMOHITO
Application Number:
JP2017046878A
Publication Date:
September 27, 2018
Filing Date:
March 13, 2017
Export Citation:
Assignee:
HITACHI AUTOMOTIVE SYSTEMS LTD
International Classes:
G06F11/36; G06F8/77
Attorney, Agent or Firm:
Wilfort International Patent Office