Exclusive control inspection apparatus, exclusive control inspection method, exclusive control inspection program

摘要

The exclusive control inspection apparatus specifies the execution order and the execution path of the statements included in the computer program to be inspected (S 02), identifies the lock section based on the execution order of the statement and the execution path (S 03), registers the lock section Of the timeout period (S 04). Then, for each of the execution paths, the number of clocks required for execution of the lock section is calculated (S 05, S 06), the maximum number of clocks is calculated for each of the lock sections (S 07) and output (S 11).