Validando Sistemas Distribu´ idos Desenvolvidos em Java Utilizando Injec ¸ ˜ ao de Falhas de Comunicac ¸ ˜ ao por Software

Java distributed applications used in high-available systems require valida- ted fault tolerance mechanisms, to avoid unexpected behavior during execution. Jaca is a fault injection tool to experimentally validate Java applications. In its first version, Jaca had three fault classes, based on interface faults. This work presents an expansion of Jaca's fault model to communication faults. This extension allows the use of Jaca to conduct validation experiments in distributed systems. Resumo. Aplicac ¸˜ oes distribu´ idas em Java usadas em sistemas de alta disponibilidade exigem que mecanismos de tolerˆ ancia a falhas sejam validados, para n˜ ao apresentarem um comportamento inesperado no momento em que s