Invention Grant
US09400887B2 Program analysis/verification service provision system, control method for same, computer readable non-transitory storage medium, program analysis/verification device, program analysis/verification tool management device
有权
程序分析/验证服务提供系统，相同的控制方法，计算机可读非暂时性存储介质，程序分析/验证设备，程序分析/验证工具管理设备
- Patent Title: Program analysis/verification service provision system, control method for same, computer readable non-transitory storage medium, program analysis/verification device, program analysis/verification tool management device
- Patent Title (中): 程序分析/验证服务提供系统，相同的控制方法，计算机可读非暂时性存储介质，程序分析/验证设备，程序分析/验证工具管理设备
-
Application No.: US14357956Application Date: 2012-11-12
-
Publication No.: US09400887B2Publication Date: 2016-07-26
- Inventor: Toshiyuki Maeda
- Applicant: Japan Science and Technology Agency
- Applicant Address: JP Saitama
- Assignee: Japan Science and Technology Agency
- Current Assignee: Japan Science and Technology Agency
- Current Assignee Address: JP Saitama
- Agency: Michael Best and Friedrich
- Priority: JP2011-249978 20111115
- International Application: PCT/JP2012/079304 WO 20121112
- International Announcement: WO2013/073504 WO 20130523
- Main IPC: G06F11/00
- IPC: G06F11/00 ; G06F12/14 ; G06F12/16 ; G08B23/00 ; G06F21/57 ; G06F11/36 ; G06F21/56
Abstract:
A program analysis/verification service provision system (1) includes: a tool registration/search section (313) for extracting, from a plurality of program analysis/verification tools (virtual machines) stored in a tool storage section (320), a virtual machine (T) in which a program analysis/verification tool for use in analysis/verification of a target program (P) has been installed and set; and a virtual machine execution environment section (120) for analyzing/verifying the target program (P) with use of the virtual machine (T) thus extracted.
Public/Granted literature
Information query
