A Petri net-based distributed debugger

Author

Liu, An-Chi ; Engberts, Andre

Author_Institution

Dept. of Inf. Eng., Feng Chia Univ., Taichung, Taiwan

fYear

1990

fDate

31 Oct-2 Nov 1990

Firstpage

639

Lastpage

646

Abstract

A distributed debugger based on the Petri net model is designed and implemented. The major functions supported are distributed breakpoints, step-by-step execution, and replay. The debugger consists of a preprocessor which inserts control functions into the source code, and a parser which generates a Petri net model of the distributed program for graphical monitoring and program simulation. The debugger also interfaces with existing sequential program debuggers to provide access to variables. The superposition of the distributed debugger on top of a sequential program debugger makes it possible to decouple sequential programming from distributed program behavior

Keywords

Petri nets; distributed processing; program compilers; program debugging; Petri net model; control functions; distributed debugger; distributed program; graphical monitoring; parser; program simulation; sequential program debuggers; Clocks; Drives; Filtering; Graphics; History; Image segmentation; Information retrieval; Monitoring; Software debugging; Software testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1990. COMPSAC 90. Proceedings., Fourteenth Annual International

Conference_Location

Chicago, IL

Print_ISBN

0-8186-2054-4

Type

conf

DOI

10.1109/CMPSAC.1990.139449

Filename

139449