摘要 |
PROBLEM TO BE SOLVED: To extract interference part of a global variable, having the possibility of occurrence of non conformities, and to automatically check the existence of disable/enable instructions on proper positions, when a common global variable is read by the interrupt processing. SOLUTION: The global variable is retrieved first on the basis of a source program, and a variable table describing the information relating to the global variable is generated. A variable attribute table is generated continuously by adding a task level to the variable table. Then, the variable attribute table is read (S100), and, when the read processing of the global variable is performed in an upper function (S110, S120), and the write processing to the global variable is performed in a lower function several times (S130), the existence of the interrupt disable/enable instructions on proper positions corresponding to the write processing describing position is determined (S140-S160) and a result of the determination is outputted (S170).
|