Title :
Testing and debugging message passing applications based on the synergy of program and specification executions
Author :
Tsiatsoulis, Z. ; Cotronis, J.Y. ; Floros, E.
Author_Institution :
Dept. of Inf., Athens Univ., Greece
Abstract :
We outline Ensemble, a design and implementation methodology for composing message passing (MP) applications from program components. We also outline specification composition, directly associated with application composition. We present the integration of specification and implementation of program development. We particularly elaborate on testing and debugging of MP applications based on the synergy of tools for specification simulations with tools for program execution visualisation
Keywords :
formal specification; message passing; program debugging; program testing; Ensemble; debugging; message passing; program execution visualisation; specification composition; specification simulations; synergy of tools; testing; Debugging; Decision support systems; Message passing; Testing; X-ray scattering;
Conference_Titel :
Parallel and Distributed Processing, 1999. PDP '99. Proceedings of the Seventh Euromicro Workshop on
Conference_Location :
Funchal
Print_ISBN :
0-7695-0059-5
DOI :
10.1109/EMPDP.1999.746668
