Geracao de um oraculo para um ambiente de testes baseado em injecao de falhas por software.

• Processo: 95/08927-6
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de março de 1996
• Data de Término da vigência: 30 de abril de 1997
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Eliane Martins
• Beneficiário: Marcio Roberto Stefani
• Instituição Sede: Instituto de Matemática, Estatística e Computação Científica (IMECC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): Técnicas de injeção de falhas
• Palavra(s)-Chave do Pesquisador: Injecao De Falhas | Oraculo

Resumo

Os sistemas computacionais cuja alta confiabilidade, é fundamental, necessitam de mecanismos tolerantes a falhas que permitam que o serviço seja fornecido conforme especificado, mesmo em situações anormais. Entretanto, é importante garantir que esses mecanismos realizem seu serviço corretamente. Assim, faz-se necessário validá-los através da aplicação de testes. A injeção de falhas é uma técnica de teste que vem sendo muito utilizada nessa validação, cobrindo dois aspectos importantes: a eliminação e a previsão de falhas desses mecanismos. Um aspecto fundamental no teste de software é a existência de um mecanismo, um oráculo, que determinará se os resultados da execução dos testes estão corretos os não. Na prática, esse mecanismo, geralmente, consiste na comparação, automática ou manual, da saída de um teste com uma saída pré-calculada, e suposta correta. Entretanto, se um sistema é documentado formalmente, é possível usar sua especificação para determinar o sucesso ou falha da execução de um teste. Esse estudo visa possibilitar a geração de um oráculo a partir da especificação formal de um sistema. (AU)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

STEFANI, Marcio Roberto. Analise de traço com geração de diagnostico para testes de comportamento de uma implementação de protocolo de comunicação em presença de falhas. 1997. Dissertação de Mestrado - Universidade Estadual de Campinas (UNICAMP). Instituto de Computação Campinas, SP.