The system of provision of service analysis / verification of program, control method for the same, control program, and control program for directing the computer to operate, analysis device / verification program, device management tool anu00e1li If the verification programme /

摘要

Abstract the system of provision of service analysis / verification of program, control method for the same, control program, and control program for directing the computer to operate, analysis device / verification program.Device for managing tool of analysis / verification of program a system of service of analysis / verification program (1) includes: a section of record / research tool (313) to extract, from a plurality of analysis tools / Verification of the program (virtual machines) stored in a storage section of the tool (320).A virtual machine (T) in which a tool of analysis / verification program for use in the analysis / verification of a program target (P) is installed and configured, and a section of the execution environment of the virtual machine (120) for analysis / verification of the program target (P) with u. So the virtual machine (T) thus extracted.