Due to the non-deterministic behavior of some parallel and distributed programs, addressing the problem of testing in such context is a non-trivial task. A proficient testing phase must be done using tools which record information about a single execution, and which are able to force a concurrent program to exercise a given execution. This paper describes a tool for testing of programs based on the Horus system. Our approach is novel in dealing with events connected to process group handling and group communication. Moreover, we show that using the capabilities of the Horus run-time system can be really helpful in solving testing problems. Our approach has the advantages of requiring no modifications neither in the program nor in the operating system, and to avoid a centralized solution through the use of partial orders of synchronization events.

A Tool for Testing of Parallel and Distributed Programs in Message-Passing Environments

BECHINI, ALESSIO;PRETE, COSIMO ANTONIO
1998-01-01

Abstract

Due to the non-deterministic behavior of some parallel and distributed programs, addressing the problem of testing in such context is a non-trivial task. A proficient testing phase must be done using tools which record information about a single execution, and which are able to force a concurrent program to exercise a given execution. This paper describes a tool for testing of programs based on the Horus system. Our approach is novel in dealing with events connected to process group handling and group communication. Moreover, we show that using the capabilities of the Horus run-time system can be really helpful in solving testing problems. Our approach has the advantages of requiring no modifications neither in the program nor in the operating system, and to avoid a centralized solution through the use of partial orders of synchronization events.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11568/183141
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 2
social impact