Data/hora: 31/05/2024 08:18:09

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 07/08/1998
Data da última atualização: | 22/08/2007
Autoria: | SABIAO, S. B.; MARTINS, E.
Título: | Condado: uma ferramenta para geracao de testes de protocolos combinando controle e dados.
Ano de publicação: | 1998
Fonte/Imprenta: | In: SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORES, 16., 1998, Rio de Janeiro. Anais. Rio de Janeiro: Universidade Federal Fluminense, 1998.
Páginas: | p.404-423
Idioma: | Português
Conteúdo: | Este artigo apresenta uma abordagem para geracao de casos de testes para protocolos a partir de uma maquina finita de estados estendida( MFEE). Essa abordagem permite tratar os aspectos controle e dados de maneira unificada. Uma ferramenta denominada CONDADO esta sendo desenvolvida para dar suporte a esta abordagem. A ferramenta parte da especificacao do protocolo feita atraves de uma linguagem definida nesse trabalho, e transforma essa especificacao em um programa Prolog que sera usado para a geracao dos casos de testes. Nessa abordagem sao utilizadas restricoes para o tratamento dos predicados existentes na MFEE e tambem para limitar o numero de casos de testes gerados. Atraves dessa abordagem, foram gerados casos de testes para a implementacao do protocolo de transferencia do sistema de comunicaco que sera usada no sistema de Telecomando do projeto do satelite SACI-i.
Palavras-Chave: | Computer networks; Redes de computadores.
Categoria do assunto: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (7119-1) - ADD - PL - -- - 004.6 - SIM - 1998.00001 - DIS