|
|
Registro Completo |
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: |
-- |
Marc: |
LEADER 01460naa a2200169 a 4500 001 1006498 005 2007-08-22 008 1998 bl uuuu u00u1 u #d 100 1 $aSABIAO, S. B. 245 $aCondado$buma ferramenta para geracao de testes de protocolos combinando controle e dados. 260 $c1998 300 $ap.404-423 520 $aEste 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. 653 $aComputer networks 653 $aRedes de computadores 700 1 $aMARTINS, E. 773 $tIn: SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORES, 16., 1998, Rio de Janeiro. Anais. Rio de Janeiro: Universidade Federal Fluminense, 1998.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
Registros recuperados : 909 | |
54. | | WANDER, A. E.; MARTINS, E. C. Viabilidade econômica da caprinocultura leiteira. In: SEMANA DA CAPRINOCULTURA E OVINOCULTURA BRASILEIRAS, 4., 2004, Sobral. A pesquisa e os avanços tecnológicos contribuindo para o futuro da caprino-ovinocultura brasileira: anais. Sobral: Embrapa Caprinos, 2004. 16 f. CD-ROM.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Caprinos e Ovinos. |
| |
Registros recuperados : 909 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|