-
1.发明申请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 有权程序分析/验证服务提供系统，其控制方法，控制程序，用于指导计算机到功能的控制程序，程序分析/验证设备，程序分析/验证工具管理设备公开(公告)号：US20140304815A1
公开(公告)日：2014-10-09
申请号：US14357956
申请日：2012-11-12
Applicant: Japan Science and Technology Agency
Inventor： Toshiyuki Maeda
IPC: G06F21/57
CPC classification number: G06F21/57 , G06F11/3604 , G06F21/566
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.
Abstract translation: 程序分析/验证服务提供系统（1）包括：工具登记/搜索部分（313），用于从存储在工具存储部分（320）中的多个程序分析/验证工具（虚拟机）中提取虚拟 机器（T），其中已经安装和设置用于目标程序（P）的分析/验证的程序分析/验证工具; 以及用于使用由此提取的虚拟机（T）分析/验证目标程序（P）的虚拟机执行环境部分（120）。
-
2.发明授权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 有权程序分析/验证服务提供系统，相同的控制方法，计算机可读非暂时性存储介质，程序分析/验证设备，程序分析/验证工具管理设备公开(公告)号：US09400887B2
公开(公告)日：2016-07-26
申请号：US14357956
申请日：2012-11-12
Applicant: Japan Science and Technology Agency
Inventor： Toshiyuki Maeda
CPC classification number: G06F21/57 , G06F11/3604 , G06F21/566
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.
Abstract translation: 程序分析/验证服务提供系统（1）包括：工具登记/搜索部分（313），用于从存储在工具存储部分（320）中的多个程序分析/验证工具（虚拟机）中提取虚拟 机器（T），其中已经安装和设置用于目标程序（P）的分析/验证的程序分析/验证工具; 以及用于使用由此提取的虚拟机（T）分析/验证目标程序（P）的虚拟机执行环境部分（120）。
-
Search Results
2
records
(took 0.014 seconds)
