DocumentCode
2576666
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
fYear
1999
fDate
3-5 Feb 1999
Firstpage
196
Lastpage
203
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/EMPDP.1999.746668
Filename
746668
Link To Document