Implementacao de um gerador automatico de teste para protocolos de comunicacao.

• Processo: 96/10045-4
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de março de 1997
• Data de Término da vigência: 28 de fevereiro de 1998
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
• Pesquisador responsável: Ricardo de Oliveira Anido
• Beneficiário: Rodrigo Paiva Inacio Lima
• Instituição Sede: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Palavra(s)-Chave do Pesquisador: Finite State Machine

Resumo

O projeto visa o desenvolvimento de uma ferramenta capaz de realizar geração automática de teste para protocolos baseados em descrições feitas através de "finite state madrines". Esta ferramenta deverá contemplar tanto testes convencionais quanto distribuídos. O projeto também pretende um estudo comparativo dos métodos implementados. (AU)