Projeto e implementacao de um analisador de traco e geracao de diagnostico para testes de protocolos de comunicacao.

• Processo: 97/14671-0
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de julho de 1998
• Data de Término da vigência: 30 de junho de 1999
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
• Pesquisador responsável: Eliane Martins
• Beneficiário: Yngrid Nicoletti de Azevedo
• Instituição Sede: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): Teste e avaliação de software
• Palavra(s)-Chave do Pesquisador: Analise De Traco | Geracao De Diagnostico | Injecao De Falhas Por Software | Teste De Software

Resumo

O projeto de pesquisa visa a implementação de um analisador de traço e geração de diagnósticos para protocolos de comunicação cujo comportamento pode ser representado por uma máquina de estados finita estendida. Com base no modelo de comportamento e no traço de execução a implementação produzirá as seguintes saídas: veredictos sobre as saídas produzidas por uma implementação sob teste, diagnósticos de erros e informações sobre a ativação de mecanismos de detecção de erros e tolerância às falhas. Esta implementação deverá ser incorporada ao ATIFS (ambiente integrado para testes baseado em injeção de falhas). (AU)