Top > Search of International Patents > Program analysis/verification service providing system, method for controlling system, control program, control program for causing computer to operate, program analysis/verification device and program analysis/verification tool management device

Program analysis/verification service providing system, method for controlling system, control program, control program for causing computer to operate, program analysis/verification device and program analysis/verification tool management device

Foreign code F130007704
File No. AF10-02TW
Posted date Nov 25, 2013
Country Taiwan
Application number 101142173
Gazette No. 201331779
Gazette No. I524206
Date of filing Nov 13, 2012
Gazette Date Aug 1, 2013
Gazette Date Mar 1, 2016
Priority data
  • P2011-249978 (Nov 15, 2011) JP
Title Program analysis/verification service providing system, method for controlling system, control program, control program for causing computer to operate, program analysis/verification device and 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
  • 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