Title :
Deterministic execution debugging of concurrent Ada programs
Author :
Tai, K.-C. ; Carver, Richard H. ; Obaid, Evelyn E.
Author_Institution :
Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA
Abstract :
The authors show how to accomplish deterministic execution debugging of a concurrent Ada program according to a given synchronization (SYN) sequence. They first define the format of a SYN sequence of a concurrent Ada program in order to provide sufficient information for deterministic execution. They show how to transform a concurrent Ada program P into a slightly different Ada program P´ so that any execution of P´ with (X,S ) as input, where S is the SYN sequence of a previous execution of P with input X, definitely repeats S . Tools for transforming concurrent Ada programs for deterministic execution debugging are described
Keywords :
Ada; parallel programming; program debugging; SYN sequence; concurrent Ada programs; deterministic execution debugging; synchronisation sequence; Computer science; Error correction; Life testing; Mathematics; Sequential analysis; Software debugging; Software testing;
Conference_Titel :
Computer Software and Applications Conference, 1989. COMPSAC 89., Proceedings of the 13th Annual International
Conference_Location :
Orlando, FL
Print_ISBN :
0-8186-1964-3
DOI :
10.1109/CMPSAC.1989.65064
