摘要 |
PROBLEM TO BE SOLVED: To enable the proper check of the interference of a global variable without complicating a device structure even when a program to be inspected is described in a plurality of languages. SOLUTION: A variable table forming block 11 generates a variable table from a source program 21. A call tree forming block 12 forms a call tree. A variable attribute table forming block 13 generates a variable attribute table with access attribute and priority described every global variable by use of the variable table, the call tree, and a task level table 22, and an interference detecting block 14 judges the interference of the global variable. In addition to such a basic structure, the variable attribute table forming block 13 extracts the access attribute and priority corresponding to the global variable of a different language program from a variable definition file 24 and a variable attribute file 25, and adds them to the variable attribute table. COPYRIGHT: (C)2003,JPO
|