Title :
A Petri net-based distributed debugger
Author :
Liu, An-Chi ; Engberts, Andre
Author_Institution :
Dept. of Inf. Eng., Feng Chia Univ., Taichung, Taiwan
fDate :
31 Oct-2 Nov 1990
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;
Conference_Titel :
Computer Software and Applications Conference, 1990. COMPSAC 90. Proceedings., Fourteenth Annual International
Conference_Location :
Chicago, IL
Print_ISBN :
0-8186-2054-4
DOI :
10.1109/CMPSAC.1990.139449
