Method of testing program, and compiler and program testing tool for the method

摘要

A method of testing a source program includes the steps of converting the source program into a load module while dividing statements of the source program associated with access to same data into a plurality of processes, executing the load module while generating access information representing a process defining the data or a process using the data each time the data is accessed, and determining in accordance with said access information whether or not the using process coincides with the defining process or whether or not the use by the using process precedes the definition by the defining process.