Login| Sign Up| Help| Contact|

Patent Searching and Data


Title:
SOFTWARE VERIFICATION SUPPORT DEVICE, SOFTWARE VERIFICATION SUPPORT METHOD, SOFTWARE VERIFICATION SUPPORT PROGRAM
Document Type and Number:
WIPO Patent Application WO/2013/108730
Kind Code:
A1
Abstract:
The objective of the present invention is to achieve software verification support technology for achieving software which is provided with high safety and reusability and which is capable of suppressing program size. The software verification support device as laid out in the present invention, in a case in which a condition described by a conditional branch instruction is always satisfied, allows instructions executed when the condition is satisfied to remain within source code, thereupon deleting instructions which are executed when the condition is not satisfied from the source code.

More Like This:
WO/2017/158575METHOD AND SYSTEM FOR PROCESSING A TASK WITH ROBUSTNESS TO MISSING INPUT INFORMATION
WO/1995/031771SUPPORT FOR CUSTOM USER-INTERACTION ELEMENTS IN A GRAPHICAL, EVENT-DRIVEN COMPUTER SYSTEM
JPH0883180RULE GENERATION METHOD
Inventors:
NARISAWA FUMIO (JP)
ISHIGOOKA TASUKU (JP)
TSUKIDATE TSUNAMICHI (JP)
NAGAURA WATARU (JP)
SAKURAI KOHEI (JP)
MATSUBARA MASAHIRO (JP)
Application Number:
PCT/JP2013/050503
Publication Date:
July 25, 2013
Filing Date:
January 15, 2013
Export Citation:
Click for automatic bibliography generation   Help
Assignee:
HITACHI AUTOMOTIVE SYSTEMS LTD (JP)
International Classes:
G06F9/44; G06F11/36
Foreign References:
JP2008015665A2008-01-24
JP2005535055A2005-11-17
JPH05181685A1993-07-23
JP2011113317A2011-06-09
JP2007241426A2007-09-20
JP2011100420A2011-05-19
JP2006164294A2006-06-22
Attorney, Agent or Firm:
INOUE Manabu et al. (JP)
Manabu Inoue (JP)
Download PDF:
View/Download PDF      PDF Help
Claims:



 
Previous Patent: DOOR LATCH RELEASE FORCE TRANSMISSION MECHANISM

Next Patent: RESIN COMPOSITION FOR SEALING