| 摘要 |
A program development support apparatus and method for supporting the efficient development of a highly reliable program are provided. The basic configuration includes a program-outputting which outputs the source code of a program, a specifying which specifies one or more candidate locations at which an interrupt task is to be enabled in the source code of the program, executing the program so that the interrupt task is executed at a specified location, outputting the results of this execution, inputting an evaluation of whether or not these results are correct, and adding to the program an interrupt control command which enables execution of an interrupt task at the candidate location when the specified candidate location and interrupt task evaluation is positive. In one other configuration, by specifying the interrupt-enabled part, it is possible to resolve a bug in the concurrent program which is caused by a missing interrupt-disabling part. In the other configuration, because a scenario such as used in hyper-sequential programming is employed in development of the concurrent program, an understanding of the contents of the concurrent program is facilitated, thereby improving reliability and the efficiency of the program development process.
|
