초록 ▼

A designer creates a program with the editor 1. The division means 2 divides each process of the program into a plurality of controllable sections. The detection means 3 finds the dependency relations among the sessions of the program. The generation means 4 represents as a scenario all the possible

A designer creates a program with the editor 1. The division means 2 divides each process of the program into a plurality of controllable sections. The detection means 3 finds the dependency relations among the sessions of the program. The generation means 4 represents as a scenario all the possible execution sequences of the sections in each process. When the designer selects the edge of a section to be executed first at each branch in the scenario with the use of the selection means 6, a scenario containing only the combinations of intended execution sequences is generated. Based on this scenario, the conversion means 9 inserts execution timing control instructions into the first program to convert the first program to a second program. The resulting second program does not contain a harmful nondeterminism. Therefore, a hyper sequential programming system or method for developing reliable concurrent programs is provided easily.

대표청구항 ▼

[ What is claimed is:] [1.] A system for assisting a program designer to remove program errors of a concurrent program, said system comprising:division means for dividing each process of a first concurrent program, consisting of a plurality of processes, into a plurality of sections;generation means

[ What is claimed is:] [1.] A system for assisting a program designer to remove program errors of a concurrent program, said system comprising:division means for dividing each process of a first concurrent program, consisting of a plurality of processes, into a plurality of sections;generation means for generating a network structure, consisting of nodes and arrows, which represents a set of possible execution orders of said sections of said first concurrent program, where each arrow indicates a section, and a path of said network structure indicates a possible execution order of said sections;selection means for selecting sections represented by said arrows at each branch of said network structure; andconversion means for converting said first concurrent program to a second concurrent program which executes selected execution orders consisting of said selected sections of said first concurrent program selected by said selection means and does not execute sections which are not selected.