| 摘要 |
<P>PROBLEM TO BE SOLVED: To provide a load distribution system which reduces a verification processing time by distributing verification processing by means of distributed processing in a source code verification system using a model inspection technique. <P>SOLUTION: An input information weighting part 23 makes the weight of each process constant from information, which is the input of a process of a model inspection technique, such as program information or modeling information to weight it by model inspection process units and generates a job based on the weighted process. A weight sum value calculation part 41 by devices defines the weight sum value by processes as the weight of the job, and a distribution destination device determination part 42 determines a distribution destination device of a job to be next input based on the weight of each job and the weight sum value possessed by the distribution destination device and input the job to distribute jobs in processing devices, thereby distributing load uniformly to distribution destination devices. <P>COPYRIGHT: (C)2012,JPO&INPIT |
