Especificação de uma ferramenta de geração de sequências de teste para módulos de comunicação de dados.
| Ano de defesa: | 1999 |
|---|---|
| Autor(a) principal: | |
| Orientador(a): | |
| Banca de defesa: | |
| 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 |