Detalhes bibliográficos
| Ano de defesa: |
1990 |
| Autor(a) principal: |
Gabos, Denis |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Biblioteca Digitais de Teses e Dissertações da USP
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
https://www.teses.usp.br/teses/disponiveis/3/3141/tde-03022025-115712/
|
Resumo: |
As abordagens tradicionais para geração de sequências de teste de conformidade para protocolos de comunicação de dados utilizam o modelo de máquinas de estados finita, exercitando essa máquina com entradas e observando suas respostas, sem entretanto levar em consideração, no projeto dessas sequências, a variação dos parâmetros dessas entradas e a alteração do comportamento da implementação do protocolo em função de variáveis internas. Este trabalho implementa uma metodologia para geração de sequências de teste a partir de uma especificação formal do protocolo na linguagem Estelle, metodologia essa que considera a variação de parâmetros das unidades de dados e de serviço desse protocolo bem como das variáveis internas da entidade que o implementa. O trabalho também analisa a metodologia tendo em vista as atividades de orgãos internacionais de padronização e faz alguns comentários a respeito de suas possibilidades como ferramenta de especificação de cenários abstratos de teste. |
