O II Workshop de Testes e Tolerância a Falhas (WTF 2000) foi realizado de 15 a 16 de julho de 2000 na cidade de Curitiba-PR
A coordenação foi do Prof. Elias P. Duarte Jr. (UFPR).
Nesta edição, os anais incluem 20 artigos completos (arquivo completo).
Palestra Convidada
Analisando Sistemas Reais Usando Vericação Formal
S.V.A. Campos (UFMG)
ST01 – Sistemas Distribuídos Tolerantes a Falhas
Reliability Requirements for Mobile Agent Systems
Flávio Morais de Assis Silva, Raimundo José de Araújo Macêdo – UFBA
Detecção de Falha para Redes de Larga Escala No Fault-Tolerant CORBA
Lau Cheuk Lung, Joni da Silva Fraga – UFSC
Using Common Knoledge to Improve Fixed-Dependency-After-Send
Islene C. Garcia, Luiz E. Buzato – UNICAMP
ST02 – Replicação e Software Tolerante a Falhas
Tratamento de Exceções no Desenvolvimento de Software Confiável Baseado em Componentes
Gisele Rodrigues Mesquita Ferreira, Cecília Mary Fischer Rubira – UNICAMP
RPM: Um Sistema para Posicionar Réplicas
André Zampieri, Taisy Silva Weber, Marcia Pasin – UFRGS
A Meta-Leve Software Architecture based on Patterns for Developing Dependable Collaboration- based Designs
Delano M. Beder, Cecília M. F. Rubira – UNICAMP
Adicionando Replicação Utilizando Componentes de Software e um Ambiente Interativo
João Carlos Filho, Silvia de Castro Bertagnolli, Maria Lúcia Blanck Lisbôa – UFRGS
ST03 – Teste & Validação de Software
Estratégia para Teste de Máquinas Finitas de Estados Estendidas
Flavio Rogério Uber, Eliane Martins – UNICAMP
Resultados de uma Aplicação do Critério Análise de Mutantes e do Critério Todos Potenciais Usos Restritos
Inali Wisniewski Soares, Silvia Regina Vergilio – UFPR
Definição de Operadores de Mutação para o Teste de Programas Prolog
Silvia Regina Vergilio, Rudá Sumé Tente de Moura – UFPR
ST04 – Detecção de Falhas
Comunicação Não Confiável em Detectores de Defeitos com Falhas por Crash
Luiz Angelo Barchet Estefanel, Ingrid Jansch-Pôrto – UFRGS
Avaliação Prática de Detector de Defeitos: teoria versus implementação
Luiz Angelo Barchet Estefanel, Ingrid Jansch-Pôrto – UFRGS
Failure Detection in Asynchronous Distributed Systems
Raimundo José de Araújo Macêdo – UFBA
ST05 – Diagnóstico e Injeção de Falhas
Diagnóstico em Redes de Topologia Arbitrária: Um Algoritmo Baseado em Inundação de Mensagens
Elias Procópio Duarte Jr., Giorgia de Oliveira Mattos – UFPR
O Agente Chinês para Diagnóstico de Redes de Topologia Arbitrária
Elias Procópio Duarte Jr., José Marcelo A. P. Cestari – UFPR
Experiência com a Implementação de um Injetor de Falhas em Linux
Fábio Olivé Leite, Taisy Silva Weber- Conectiva/Curitiba e T.S.Weber – UFRGS
Um Sistema de Padrões para Injeção de Falhas por Software
Nelson G. M. Leme, Eliane Martins, Cecília M. F. Rubira – UNICAMP
ST06 – Reflexão Computacional
Uma Abordagem Reflexiva para Replicação de Componentes Servidores da Plataforma Java para Comparações
Cristina Verçosa Pérez Barrios de Souza, Carlos Alberto Maziero – PUC/PR
Utilização de Reflexão Computacional em Tempo de Compilação para Implementação de Ferramentas de Injeção de Falhas
Michael Menna Barreto Leske, Eliane Martins – UNICAMP
A Language Construct for DMIs
Avelino .F. Zorzo – PUC/RS