Statements in a computer program under review are divided into a plurality of program blocks (S03); for each of said program blocks, variables that are updated in said program block are extracted (S04), yielding a set of updated variables corresponding to each program block; at least one of said sets of updated variables is identified as a group variable (S05); the inclusion relationships between said group variable(s) and the sets of updated variables corresponding to the program blocks are used to determine the degree to which program blocks perform simultaneous updates (S06); and the results of said determination are outputted (S10).
展开▼