JOB NET VERIFICATION DEVICE AND JOB NET VERIFICATION METHOD

摘要

PROBLEM TO BE SOLVED: To detect all resource competitions caused by job parallel execution by comprehensively verifying a job net in a large-scale job net.SOLUTION: A job net verification device generates execution command information recording execution order information among jobs and a correspondence relation between a job and a command executed by the job from a definition description of a job net to be a verification object, the source code of a program of one or more jobs to be executed by the job net, and list information of commands used by the job. The job net verification device receives an input of a resource operation kind to an argument designated by a command included in the execution command information, and generates a command definition table which holds arguments and information of resource operation kinds performed to each argument. Then, the job net verification device verifies whether a resource competition can occur during the execution of the job net by using the execution order information, the command definition table, and trouble pattern information being information on a combination of the resource operation kinds which cause a resource competition.SELECTED DRAWING: Figure 1