Top > Search of International Patents > PROGRAM ANALYSIS/VERIFICATION SERVICE PROVISION SYSTEM, CONTROL METHOD FOR SAME, CONTROL PROGRAM, CONTROL PROGRAM FOR DIRECTING COMPUTER TO FUNCTION, PROGRAM ANALYSIS/VERIFICATION DEVICE, PROGRAM ANALYSIS/VERIFICATION TOOL MANAGEMENT DEVICE

PROGRAM ANALYSIS/VERIFICATION SERVICE PROVISION SYSTEM, CONTROL METHOD FOR SAME, CONTROL PROGRAM, CONTROL PROGRAM FOR DIRECTING COMPUTER TO FUNCTION, PROGRAM ANALYSIS/VERIFICATION DEVICE, PROGRAM ANALYSIS/VERIFICATION TOOL MANAGEMENT DEVICE

Foreign code F130007393
File No. AF10-02WO
Posted date Jun 11, 2013
Country WIPO
International application number 2012JP079304
International publication number WO 2013/073504
Date of international filing Nov 12, 2012
Date of international publication May 23, 2013
Priority data
  • P2011-249978 (Nov 15, 2011) JP
Title PROGRAM ANALYSIS/VERIFICATION SERVICE PROVISION SYSTEM, CONTROL METHOD FOR SAME, CONTROL PROGRAM, CONTROL PROGRAM FOR DIRECTING COMPUTER TO FUNCTION, PROGRAM ANALYSIS/VERIFICATION DEVICE, PROGRAM ANALYSIS/VERIFICATION TOOL MANAGEMENT DEVICE
Abstract

This program analysis/verification service provision system (1) is provided with: a tool registration/search unit (313) which extracts a virtual machine (T), in which a program analysis/verification tool which is used for analysis and verification of a program (P) has been introduced and set, from a plurality of program analysis/verification tools (virtual machines) stored in a tool storage unit (320)

and a virtual machine execution environment unit (120) which uses the extracted virtual machine (T) to analyze and verify the program (P).

  • Applicant
  • ※All designated countries except for US in the data before July 2012
  • JAPAN SCIENCE AND TECHNOLOGY AGENCY
  • Inventor
  • MAEDA, TOSHIYUKI
IPC(International Patent Classification)
Reference ( R and D project ) CREST Dependable Operating Systems for Embedded Systems Aiming at Practical Applications AREA
Please contact us by E-mail or facsimile if you have any interests on this patent.

PAGE TOP

close
close
close
close
close
close