| 摘要 |
PROBLEM TO BE SOLVED: To predict the complexity of a relationship between parallel processes in advance, and to provide a policy for determining the validity/invalidity of model inspection execution in advance. SOLUTION: A model inspection validity measuring device includes: an inter-process communication information analysis unit for generating inter-process communication information based on the state transition table data of each process; an inter-process communication information input/output unit for urging a user to select the inter-process communication information corresponding to processes operating in parallel, and for synthesizing an external event with the selected inter-process communication information, and for generating post-synthesis inter-process communication information, and for calculating the number of event states of each event about the inter-process communication information and the post-synthesis inter-process communication information; and a complexity calculation unit for calculating complexity based on the number of frames in the state transition table data and the number of event states of the inter-process communication information and the post-synthesis inter-process communication information. COPYRIGHT: (C)2011,JPO&INPIT
|
