×

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

  • US 20140304815A1
  • Filed: 11/12/2012
  • Published: 10/09/2014
  • Est. Priority Date: 11/15/2011
  • Status: Active Grant
First Claim
Patent Images

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 all claims
  • 1 Assignment
Timeline View
Assignment View
    ×
    ×