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
First Claim
1. A program analysis/verification service provision system for analyzing/verifying a target program with use of one or more program analysis/verification tools,the program analysis/verification service provision system comprising:
- target program obtaining means for obtaining the target program;
a tool storage section in which a plurality of program analysis/verification tools are stored;
tool extraction means for extracting, from the plurality of program analysis/verification tools stored in the tool storage section, the one or more program analysis/verification tools for use in analysis/verification of the target program that the target program obtaining means has obtained;
tool obtaining means for obtaining, from the tool storage section, the one or more program analysis/verification tools that the tool extraction means has extracted; and
tool execution means for analyzing/verifying, with use of each of the one or more program analysis/verification tools that the tool obtaining means has obtained, the target program that the target program obtaining means has obtained.
1 Assignment
0 Petitions
Accused Products
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.
100 Citations
12 Claims
-
1. A program analysis/verification service provision system for analyzing/verifying a target program with use of one or more program analysis/verification tools,
the program analysis/verification service provision system comprising: -
target program obtaining means for obtaining the target program; a tool storage section in which a plurality of program analysis/verification tools are stored; tool extraction means for extracting, from the plurality of program analysis/verification tools stored in the tool storage section, the one or more program analysis/verification tools for use in analysis/verification of the target program that the target program obtaining means has obtained; tool obtaining means for obtaining, from the tool storage section, the one or more program analysis/verification tools that the tool extraction means has extracted; and tool execution means for analyzing/verifying, with use of each of the one or more program analysis/verification tools that the tool obtaining means has obtained, the target program that the target program obtaining means has obtained. - View Dependent Claims (2, 3, 4, 5, 6, 9, 10, 11)
-
-
7. A method of controlling a program analysis/verification service provision system for analyzing/verifying a target program with use of one or more program analysis/verification tools, the program analysis/verification service provision system comprising a tool storage section in which a plurality of program analysis/verification tools are stored,
the method comprising the steps of: -
target program obtaining step for obtaining the target program, tool extraction step for extracting, from the plurality of program analysis/verification tools stored in the tool storage section, the one or more program analysis/verification tools for use in analysis/verification of the target program that the target program obtaining step has obtained; tool obtaining step for obtaining the one or more program analysis/verification tools that has extracted from the tool storage section in the tool extraction step; and tool execution step for analyzing/verifying, with use of the one or more program analysis/verification tools that has obtained in the tool obtaining step, the target program that has obtained in the target program obtaining step.
-
-
8. (canceled)
-
12. A data processing service provision system for processing target data at multiple stages by subsequently using a plurality of data process tools,
the data processing service provision system comprising: -
a tool storage section in which the plurality of data process tools are stored in a state in which the plurality of data process tools are associated with respective pieces of tool related information on the plurality of data process tools; a result data storage section in which result data that has been obtained by processing data with use of one or more data process tools for use in a previous stage is stored in a state in which the result data is associated with characteristics descriptive information on the result data; result data obtaining means for obtaining the result data from the result data storage section; tool designation information obtaining means for obtaining, as tool designation information to designate which data process tool is used for processing the result data that the result data obtaining means has obtained, the characteristics descriptive information associated with the result data from the result data storage section; tool extraction means for searching the pieces of tool related information on the basis of the tool designation information that the tool designation information obtaining means has obtained, and extracting the one or more data process tools associated with a corresponding piece of the tool related information from the plurality of data process tools stored in the tool storage section; tool obtaining means for obtaining, from the tool storage section, the one or more data process tools that the tool extraction means has extracted; and tool execution means for processing, with use of the one or more data process tools that the tool obtaining means has obtained, the result data that the result data obtaining means has obtained.
-
Specification