Uma abordagem dirigida a modelo para a geração de casos de teste baseada na detecção de cenários implícitos

Detalhes bibliográficos
Autor(a) principal: Reis, Thiago Peixoto dos
Data de Publicação: 2015
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UnB
Texto Completo: http://repositorio.unb.br/handle/10482/20500
http://dx.doi.org/10.26512/2015.08.D.20500
Resumo: Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015.
id UNB_a749d5b298a48ce23499121032dfd0b3
oai_identifier_str oai:repositorio.unb.br:10482/20500
network_acronym_str UNB
network_name_str Repositório Institucional da UnB
repository_id_str
spelling Uma abordagem dirigida a modelo para a geração de casos de teste baseada na detecção de cenários implícitosSoftware - avaliaçãoTeste de desempenhoDependabilidadeConfiabilidadeDissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015.Confiabilidade é um pré-requisito, implícito e desejável na maioria dos sistemas. Para que um sistema seja confiável, tal exigência deve ser tida em conta em todas as fases de seu desenvolvimento. Cenários implícitos são uma anomalia gerada quando componentes de sistemas concorrentes se comunicam de uma forma inesperada, não descrita na especificação de comportamento do software. Teste em sistemas concorrentes é um exercício muito caro e difícil de revelar falhas especialmente quando o sistema já está implementado e em funcionamento. Teste baseado em modelo (TBM) é uma alternativa para automatizar a geração de casos de teste em sistemas concorrentes, a fim de reduzir o seu custo e à complexidade inerente à atividade de teste. Este trabalho aproveita a abordagem de teste dirigido a modelo para explorar detecção de cenários implícitos, de modo a melhorar a geração de casos de teste em sistemas concorrentes.Reliability is a prerequisite, implicit and desirable in most systems. For a system to be reliable, such requirement should be taken into account during all development stages of a system. Implied scenarios are an anomaly generated when concurrent system components communicate in an unexpected way, w.r.t. to the software behavior specification. Testing concurrent systems is a very expensive exercise and hard to reveal faults specially when the system is already deployed and running. Model-Based Testing is an alternative to automate test case generation in concurrent systems, in order to reduce their cost and the inherent complexity of the testing activity. This work leverages model-driven testing techniques to explore implied scenarios detection so as to improve the generation of test cases in concurrent systems.Rodrigues, Genaína NunesReis, Thiago Peixoto dos2016-05-26T18:01:13Z2016-05-26T18:01:13Z2016-05-262015-08-07info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfREIS, Thiago Peixoto dos. Uma abordagem dirigida a modelo para a geração de casos de teste baseada na detecção de cenários implícitos. 2015. xii, 77 f., il. Dissertação (Mestrado em Informática)—Universidade de Brasília, Brasília, 2015.http://repositorio.unb.br/handle/10482/20500http://dx.doi.org/10.26512/2015.08.D.20500A concessão da licença deste item refere-se ao termo de autorização impresso assinado pelo autor com as seguintes condições: Na qualidade de titular dos direitos de autor da publicação, autorizo a Universidade de Brasília e o IBICT a disponibilizar por meio dos sites www.bce.unb.br, www.ibict.br, http://hercules.vtls.com/cgi-bin/ndltd/chameleon?lng=pt&skin=ndltd sem ressarcimento dos direitos autorais, de acordo com a Lei nº 9610/98, o texto integral da obra disponibilizada, conforme permissões assinaladas, para fins de leitura, impressão e/ou download, a título de divulgação da produção científica brasileira, a partir desta data.info:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UnBinstname:Universidade de Brasília (UnB)instacron:UNB2023-07-14T18:56:23Zoai:repositorio.unb.br:10482/20500Repositório InstitucionalPUBhttps://repositorio.unb.br/oai/requestrepositorio@unb.bropendoar:2023-07-14T18:56:23Repositório Institucional da UnB - Universidade de Brasília (UnB)false
dc.title.none.fl_str_mv Uma abordagem dirigida a modelo para a geração de casos de teste baseada na detecção de cenários implícitos
title Uma abordagem dirigida a modelo para a geração de casos de teste baseada na detecção de cenários implícitos
spellingShingle Uma abordagem dirigida a modelo para a geração de casos de teste baseada na detecção de cenários implícitos
Reis, Thiago Peixoto dos
Software - avaliação
Teste de desempenho
Dependabilidade
Confiabilidade
title_short Uma abordagem dirigida a modelo para a geração de casos de teste baseada na detecção de cenários implícitos
title_full Uma abordagem dirigida a modelo para a geração de casos de teste baseada na detecção de cenários implícitos
title_fullStr Uma abordagem dirigida a modelo para a geração de casos de teste baseada na detecção de cenários implícitos
title_full_unstemmed Uma abordagem dirigida a modelo para a geração de casos de teste baseada na detecção de cenários implícitos
title_sort Uma abordagem dirigida a modelo para a geração de casos de teste baseada na detecção de cenários implícitos
author Reis, Thiago Peixoto dos
author_facet Reis, Thiago Peixoto dos
author_role author
dc.contributor.none.fl_str_mv Rodrigues, Genaína Nunes
dc.contributor.author.fl_str_mv Reis, Thiago Peixoto dos
dc.subject.por.fl_str_mv Software - avaliação
Teste de desempenho
Dependabilidade
Confiabilidade
topic Software - avaliação
Teste de desempenho
Dependabilidade
Confiabilidade
description Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015.
publishDate 2015
dc.date.none.fl_str_mv 2015-08-07
2016-05-26T18:01:13Z
2016-05-26T18:01:13Z
2016-05-26
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 REIS, Thiago Peixoto dos. Uma abordagem dirigida a modelo para a geração de casos de teste baseada na detecção de cenários implícitos. 2015. xii, 77 f., il. Dissertação (Mestrado em Informática)—Universidade de Brasília, Brasília, 2015.
http://repositorio.unb.br/handle/10482/20500
http://dx.doi.org/10.26512/2015.08.D.20500
identifier_str_mv REIS, Thiago Peixoto dos. Uma abordagem dirigida a modelo para a geração de casos de teste baseada na detecção de cenários implícitos. 2015. xii, 77 f., il. Dissertação (Mestrado em Informática)—Universidade de Brasília, Brasília, 2015.
url http://repositorio.unb.br/handle/10482/20500
http://dx.doi.org/10.26512/2015.08.D.20500
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UnB
instname:Universidade de Brasília (UnB)
instacron:UNB
instname_str Universidade de Brasília (UnB)
instacron_str UNB
institution UNB
reponame_str Repositório Institucional da UnB
collection Repositório Institucional da UnB
repository.name.fl_str_mv Repositório Institucional da UnB - Universidade de Brasília (UnB)
repository.mail.fl_str_mv repositorio@unb.br
_version_ 1814508335398912000

Registros relacionados