The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Sep. 21, 1999
Filed:
Mar. 28, 1997
Yasuyuki Tahara, Kawasaki, JP;
Kabushiki Kaisha Toshiba, Kawasaki, JP;
Abstract
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.