Analise de traço com geração de diagnostico para testes de comportamento de uma implementação de protocolo de comunicação em presença de falhas

Detalhes bibliográficos
Autor(a) principal: Stefani, Marcio Roberto
Data de Publicação: 1997
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1584855
Resumo: Orientador: Eliane Martins
id UNICAMP-30_31a056c11b7e71445a0e708fc0d20f35
oai_identifier_str oai::115721
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Analise de traço com geração de diagnostico para testes de comportamento de uma implementação de protocolo de comunicação em presença de falhasEngenharia de softwareElementos traços - AnáliseTolerância à falha (Computação)Software - TestesOrientador: Eliane MartinsDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de ComputaçãoResumo: Uma dificuldade comum aos testes de software é o problema do oráculo: como determinar se os resultados dos testes estão corretos? O oráculo é um mecanismo que analisa os resultados dos testes com base numa referência para o comportamento do softwvare. Essa referência precisa ser a mais confiável possível. Neste trabalho foi desenvolvido um método de análise de resultados para testes de comportamento e testes por injeção de falhas por software aplicados à uma implementação de protocolo de comunicação. Para representar o comportamento do protocolo, utilizou-se um modelo baseado em máquina finita de estados estendida. Foi desenvolvido também o projeto de uma ferramenta que coloca esse método em prática. Essa ferramenta de análise de resultados deve ser incorporada ao A TIFS, um Ambiente integrado de Testes baseado em Injeção de Falhas por software. O mecanismo de análise de resultados é um analisado r de traço de execução. Um traço é um histórico da execução dos testes. Com base no modelo do comportamento e no traço de execução, o analisador de traço produz as seguintes saídas: veredictos sobre as saídas produzidas por uma implementação sob teste, diagnósticos de erros e informações sobre a ativação de mecanismos de detecção de erros e tolerância a falhas.Abstract: A common difficulty to software testing is the oracle problem: how to determine whether or not test results are correct? The oracle is a mechanism that analyses test results by using a reference for the software behavior. This reference should be as reliable as possible. In this work, it had been developed a test result analysis method for behavior tests and software fault injection tests applied to a communication protocol implementation. To represent the protocol behavior, it had been used a model based on extended finite state machine. It had been also developed a design of a tool that puts this method into practice. This test result analysis tool will be embedded in the ATIFS, an integrated test environrnent based on software fault injection. The mechanism of test result analysis is a trace analyzer. A trace is an execution history of the tests. The following outputs are produced by the trace analyzer based on the behavior model and the trace: verdicts about the outputs produced by an implementation under test, error diagnoses, and informations about activation of the error detection and fault tolerance mechanisms.MestradoMestre em Ciência da Computação[s.n.]Martins, Eliane, 1955-Price, Ana Maria de AlencarAnido, Ricardo de OliveiraKowaltowski, TomaszUniversidade Estadual de Campinas (UNICAMP). Instituto de ComputaçãoPrograma de Pós-Graduação em Ciência da ComputaçãoUNIVERSIDADE ESTADUAL DE CAMPINASStefani, Marcio Roberto19971997-05-07T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf97f. : il.https://hdl.handle.net/20.500.12733/1584855STEFANI, Marcio Roberto. Analise de traço com geração de diagnostico para testes de comportamento de uma implementação de protocolo de comunicação em presença de falhas. 1997. 97f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1584855. Acesso em: 27 fev. 2025.https://repositorio.unicamp.br/acervo/detalhe/115721porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T02:37:16Zoai::115721Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T02:37:16Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Analise de traço com geração de diagnostico para testes de comportamento de uma implementação de protocolo de comunicação em presença de falhas
title Analise de traço com geração de diagnostico para testes de comportamento de uma implementação de protocolo de comunicação em presença de falhas
spellingShingle Analise de traço com geração de diagnostico para testes de comportamento de uma implementação de protocolo de comunicação em presença de falhas
Stefani, Marcio Roberto
Engenharia de software
Elementos traços - Análise
Tolerância à falha (Computação)
Software - Testes
title_short Analise de traço com geração de diagnostico para testes de comportamento de uma implementação de protocolo de comunicação em presença de falhas
title_full Analise de traço com geração de diagnostico para testes de comportamento de uma implementação de protocolo de comunicação em presença de falhas
title_fullStr Analise de traço com geração de diagnostico para testes de comportamento de uma implementação de protocolo de comunicação em presença de falhas
title_full_unstemmed Analise de traço com geração de diagnostico para testes de comportamento de uma implementação de protocolo de comunicação em presença de falhas
title_sort Analise de traço com geração de diagnostico para testes de comportamento de uma implementação de protocolo de comunicação em presença de falhas
author Stefani, Marcio Roberto
author_facet Stefani, Marcio Roberto
author_role author
dc.contributor.none.fl_str_mv Martins, Eliane, 1955-
Price, Ana Maria de Alencar
Anido, Ricardo de Oliveira
Kowaltowski, Tomasz
Universidade Estadual de Campinas (UNICAMP). Instituto de Computação
Programa de Pós-Graduação em Ciência da Computação
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Stefani, Marcio Roberto
dc.subject.por.fl_str_mv Engenharia de software
Elementos traços - Análise
Tolerância à falha (Computação)
Software - Testes
topic Engenharia de software
Elementos traços - Análise
Tolerância à falha (Computação)
Software - Testes
description Orientador: Eliane Martins
publishDate 1997
dc.date.none.fl_str_mv 1997
1997-05-07T00:00:00Z
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://hdl.handle.net/20.500.12733/1584855
STEFANI, Marcio Roberto. Analise de traço com geração de diagnostico para testes de comportamento de uma implementação de protocolo de comunicação em presença de falhas. 1997. 97f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1584855. Acesso em: 27 fev. 2025.
url https://hdl.handle.net/20.500.12733/1584855
identifier_str_mv STEFANI, Marcio Roberto. Analise de traço com geração de diagnostico para testes de comportamento de uma implementação de protocolo de comunicação em presença de falhas. 1997. 97f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1584855. Acesso em: 27 fev. 2025.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/115721
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
97f. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1825951534155825152

Registros relacionados