Especificação de uma ferramenta de geração de sequências de teste para módulos de comunicação de dados.

Detalhes bibliográficos
Ano de defesa: 1999
Autor(a) principal: Stiubiener, Itana
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-08102024-104840/
Resumo: O presente trabalho visa estudar e avaliar técnicas de teste propostas na literatura para o aprimoramento desta atividade aplicada ao desenvolvimento do fluxo de programas de comunicação descritos como máquinas de estados finito com o ojetivo de se alcançar sistemas mais confiáveis. Como principal resultado é apresentada a especificação funcional de uma ferramenta para geração de seqüências de teste que utiliza o conceito de Seqüências Únicas de Entrada e Saída. Consta desta especificação não somente aspectos da técnica utilizada como também são especificados todos os aspectos de interface com o usuário. A título de um maior esclarecimento da técnica escolhida são fornecidos dois exemplos completos que foram totalmente avaliados segundo o conceito de Seqüências Únicas. Um dos exemplos apresentados é a parte de controle do protocolo TCP e portanto este trabalho fornece uma suite de seqüências de teste completa para este protocolo. Em seguida com o objetivo de se avaliar a validade da utilização de tal ferramenta é apresentada a especificação e a implementação completa de um piloto para a geração de seqüências de teste. Finalmente é feita uma avaliação dos resultados obtidos enfocando-se principalemnte a abrangência das seqüências de teste geradas e consequentemente o impacto na confiabilidade final dos módulos que foram submetidos à ferramenta.
id USP_bb031c4475ded0c7fbe9e08f7e886f2f
oai_identifier_str oai:teses.usp.br:tde-08102024-104840
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str
spelling Especificação de uma ferramenta de geração de sequências de teste para módulos de comunicação de dados.Untitled in englishHuman-computer interfaceInterface homem-computadorO presente trabalho visa estudar e avaliar técnicas de teste propostas na literatura para o aprimoramento desta atividade aplicada ao desenvolvimento do fluxo de programas de comunicação descritos como máquinas de estados finito com o ojetivo de se alcançar sistemas mais confiáveis. Como principal resultado é apresentada a especificação funcional de uma ferramenta para geração de seqüências de teste que utiliza o conceito de Seqüências Únicas de Entrada e Saída. Consta desta especificação não somente aspectos da técnica utilizada como também são especificados todos os aspectos de interface com o usuário. A título de um maior esclarecimento da técnica escolhida são fornecidos dois exemplos completos que foram totalmente avaliados segundo o conceito de Seqüências Únicas. Um dos exemplos apresentados é a parte de controle do protocolo TCP e portanto este trabalho fornece uma suite de seqüências de teste completa para este protocolo. Em seguida com o objetivo de se avaliar a validade da utilização de tal ferramenta é apresentada a especificação e a implementação completa de um piloto para a geração de seqüências de teste. Finalmente é feita uma avaliação dos resultados obtidos enfocando-se principalemnte a abrangência das seqüências de teste geradas e consequentemente o impacto na confiabilidade final dos módulos que foram submetidos à ferramenta.The present work aims at the study and evaluation of test techniques proposed in the literature for the improvement of development activities in search of more reliable communication software systems. As the main result, a functional specification of a tool for the production of test sequences is given which uses the concept of Unique Sequences of input and Output (UIO sequences). In order to clarifying the chosen technique, we present two examples which were thoroughly evaluated according to the UIO concept. One of the examples shown is the control portion of the TCP protocol and therefore this work provide a complete test sequence suite for the TCP. Afterward a complete software pilot of that tool is presented with the aim of evaluating its usefulness. Finally there is an evaluation of the results focusing mainly on the scope of the generated test sequences and consequently on the impact over the final reliability of the system submitted to such a tool.Biblioteca Digitais de Teses e Dissertações da USPRuggiero, Wilson VicenteStiubiener, Itana1999-03-03info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/3/3141/tde-08102024-104840/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2024-10-08T13:54:02Zoai:teses.usp.br:tde-08102024-104840Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212024-10-08T13:54:02Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Especificação de uma ferramenta de geração de sequências de teste para módulos de comunicação de dados.
Untitled in english
title Especificação de uma ferramenta de geração de sequências de teste para módulos de comunicação de dados.
spellingShingle Especificação de uma ferramenta de geração de sequências de teste para módulos de comunicação de dados.
Stiubiener, Itana
Human-computer interface
Interface homem-computador
title_short Especificação de uma ferramenta de geração de sequências de teste para módulos de comunicação de dados.
title_full Especificação de uma ferramenta de geração de sequências de teste para módulos de comunicação de dados.
title_fullStr Especificação de uma ferramenta de geração de sequências de teste para módulos de comunicação de dados.
title_full_unstemmed Especificação de uma ferramenta de geração de sequências de teste para módulos de comunicação de dados.
title_sort Especificação de uma ferramenta de geração de sequências de teste para módulos de comunicação de dados.
author Stiubiener, Itana
author_facet Stiubiener, Itana
author_role author
dc.contributor.none.fl_str_mv Ruggiero, Wilson Vicente
dc.contributor.author.fl_str_mv Stiubiener, Itana
dc.subject.por.fl_str_mv Human-computer interface
Interface homem-computador
topic Human-computer interface
Interface homem-computador
description O presente trabalho visa estudar e avaliar técnicas de teste propostas na literatura para o aprimoramento desta atividade aplicada ao desenvolvimento do fluxo de programas de comunicação descritos como máquinas de estados finito com o ojetivo de se alcançar sistemas mais confiáveis. Como principal resultado é apresentada a especificação funcional de uma ferramenta para geração de seqüências de teste que utiliza o conceito de Seqüências Únicas de Entrada e Saída. Consta desta especificação não somente aspectos da técnica utilizada como também são especificados todos os aspectos de interface com o usuário. A título de um maior esclarecimento da técnica escolhida são fornecidos dois exemplos completos que foram totalmente avaliados segundo o conceito de Seqüências Únicas. Um dos exemplos apresentados é a parte de controle do protocolo TCP e portanto este trabalho fornece uma suite de seqüências de teste completa para este protocolo. Em seguida com o objetivo de se avaliar a validade da utilização de tal ferramenta é apresentada a especificação e a implementação completa de um piloto para a geração de seqüências de teste. Finalmente é feita uma avaliação dos resultados obtidos enfocando-se principalemnte a abrangência das seqüências de teste geradas e consequentemente o impacto na confiabilidade final dos módulos que foram submetidos à ferramenta.
publishDate 1999
dc.date.none.fl_str_mv 1999-03-03
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://www.teses.usp.br/teses/disponiveis/3/3141/tde-08102024-104840/
url https://www.teses.usp.br/teses/disponiveis/3/3141/tde-08102024-104840/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1818279181144817664