[发明专利]程序分析/验证服务提供系统及其控制方法、程序分析/验证装置、程序分析/验证工具管理装置

权利要求书

1.一种程序分析/验证服务提供系统，使用程序分析/验证工具来分析、验证对象程序，其特征在于，

上述程序分析/验证服务提供系统具备：

对象程序获取单元，其获取对象程序；

工具存储部，其保存有多个程序分析/验证工具；

工具提取单元，其从保存在上述工具存储部中的多个程序分析/验证工具之中提取用于分析、验证由上述对象程序获取单元获取到的对象程序的程序分析/验证工具；

工具获取单元，其从上述工具存储部获取由上述工具提取单元提取出的程序分析/验证工具；和

工具执行单元，其使用由上述工具获取单元获取到的各程序分析/验证工具，来分析、验证由上述对象程序获取单元获取到的对象程序。

2.根据权利要求1所述的程序分析/验证服务提供系统，其特征在于，

上述程序分析/验证服务提供系统还具备：工具指定信息获取单元，其获取对用于分析、验证由上述对象程序获取单元获取到的上述对象程序的程序分析/验证工具进行指定的工具指定信息，

上述工具存储部将多个程序分析/验证工具分别与各程序分析/验证工具的工具关联信息建立对应地保存，

上述工具提取单元基于由上述工具指定信息获取单元获取到的上述工具指定信息来检索上述工具关联信息，提取与相适合的工具关联信息建立了对应的程序分析/验证工具。

3.根据权利要求1或2所述的程序分析/验证服务提供系统，其特征在于，

上述工具存储部保存作为上述程序分析/验证工具的、对该程序分析/验证工具进行了导入、设定的虚拟机，

上述工具执行单元在由上述工具获取单元获取到的虚拟机上分析、验证由上述对象程序获取单元获取到的对象程序。

4.根据权利要求3所述的程序分析/验证服务提供系统，其特征在于，

上述程序分析/验证服务提供系统还具备：虚拟机生成单元，其针对每个程序分析/验证工具而生成对程序分析/验证工具进行了导入、设定的虚拟机，

上述工具存储部保存有作为上述程序分析/验证工具的、由上述虚拟机生成单元生成的虚拟机。

5.根据权利要求2所述的程序分析/验证服务提供系统，其特征在于，

上述程序分析/验证服务提供系统连续地执行：对前处理前程序进行前处理来获得上述对象程序的处理；以及针对通过该处理而得到的上述对象程序，使用上述程序分析/验证工具来分析、验证的处理，

上述程序分析/验证服务提供系统还具备：前处理后程序存储部，其将对上述前处理前程序进行前处理而获得的上述对象程序与该对象程序的特征描述信息建立对应地保存，

上述对象程序获取单元从上述前处理后程序存储部获取上述对象程序，

上述工具指定信息获取单元从上述前处理后程序存储部获取与由上述对象程序获取单元获取到的上述对象程序建立了对应的上述特征描述信息，作为上述工具指定信息。

6.根据权利要求2所述的程序分析/验证服务提供系统，其特征在于，

上述程序分析/验证服务提供系统连续地执行：使用上述程序分析/验证工具来分析、验证上述对象程序的处理；以及对通过该处理而获得的结果数据进行后处理的处理，

上述程序分析/验证服务提供系统还具备：结果数据存储部，其将由上述工具执行单元使用上述程序分析/验证工具来分析、验证上述对象程序而获得的结果数据与该结果数据的特征描述信息建立对应地保存，

而且，上述工具存储部将对上述结果数据进行后处理的后处理工具与该后处理工具的工具关联信息建立对应地保存，

上述工具指定信息获取单元从上述结果数据存储部获取与上述结果数据建立了对应的上述特征描述信息，作为上述工具指定信息，

上述工具提取单元基于由上述工具指定信息获取单元获取到的上述工具指定信息来检索上述工具关联信息，从保存在上述工具存储部中的多个后处理工具之中提取与相适合的工具关联信息建立了对应的后处理工具。