Title | ||
---|---|---|
Testing and debugging message passing applications based on the synergy of program and specification executions |
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 |
Year | DOI | Venue |
---|---|---|
1999 | 10.1109/EMPDP.1999.746668 | Funchal |
Keywords | Field | DocType |
formal specification,message passing,program debugging,program testing,Ensemble,debugging,message passing,program execution visualisation,specification composition,specification simulations,synergy of tools,testing | Programming language,Visualization,Computer science,Formal specification,Program development,Program testing,Message passing,Algorithmic program debugging,Debugging | Conference |
ISBN | Citations | PageRank |
0-7695-0059-5 | 0 | 0.34 |
References | Authors | |
9 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Zacharias Tsiatsoulis | 1 | 17 | 2.74 |
J. Y. Cotronis | 2 | 13 | 2.33 |
Evangelos Floros | 3 | 0 | 0.34 |