[发明专利]程序分析/验证服务提供系统及其控制方法、程序分析/验证装置、程序分析/验证工具管理装置有效
| 申请号： | 201280055921.7 | 申请日： | 2012-11-12 |
| 公开（公告）号： | CN103930898B | 公开（公告）日： | 2016-10-12 |
| 发明（设计）人： | 前田俊行 | 申请（专利权）人： | 国立研究开发法人科学技术振兴机构 |
| 主分类号： | G06F21/56 | 分类号： | G06F21/56;G06F9/46;G06F11/28 |
| 代理公司： | 中科专利商标代理有限责任公司 11021 | 代理人： | 吴秋明 |
| 地址： | 日本*** | 国省代码： | 日本;JP |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 程序分析/验证服务提供系统(1)具备：工具注册/检索部(313)，其从保存在工具存储部(320)中的多个程序分析/验证工具(虚拟机)之中提取对用于分析、验证对象程序(P)的程序分析/验证工具进行导入、设定的虚拟机(T)；以及虚拟机执行环境部(120)，其使用所提取的虚拟机(T)来分析、验证对象程序(P)。 | ||
| 搜索关键词： | 程序 分析 验证 服务 提供 系统 及其 控制 方法 装置 工具 管理 | ||
【主权项】：
一种程序分析/验证服务提供系统，使用程序分析/验证工具来分析、验证对象程序，其特征在于，上述程序分析/验证服务提供系统具备：对象程序获取单元，其获取对象程序；工具存储部，其保存有多个程序分析/验证工具；工具提取单元，其从保存在上述工具存储部中的多个程序分析/验证工具之中提取用于分析、验证由上述对象程序获取单元获取到的对象程序的程序分析/验证工具；工具获取单元，其从上述工具存储部获取由上述工具提取单元提取出的程序分析/验证工具；和工具执行单元，其使用由上述工具获取单元获取到的各程序分析/验证工具，来分析、验证由上述对象程序获取单元获取到的对象程序，上述工具执行单元，对从多个利用者的每一个受理的对象程序进行分析、验证。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于国立研究开发法人科学技术振兴机构，未经国立研究开发法人科学技术振兴机构许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201280055921.7/，转载请声明来源钻瓜专利网。
- 上一篇：记录装置
- 下一篇：多层拉网机织针织复合面料
