Avaliação experimental de um gerador de testes dirigidos para a verificação de memória compartilhada em multicore chips

Detalhes bibliográficos
Autor(a) principal: Pfeifer, Nícolas
Data de Publicação: 2018
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/handle/123456789/187877
Resumo: TCC(graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Ciências da Computação.
id UFSC_37dba7b4f509d63be0736c0e43f772e3
oai_identifier_str oai:repositorio.ufsc.br:123456789/187877
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Avaliação experimental de um gerador de testes dirigidos para a verificação de memória compartilhada em multicore chipsMemória Compartilhada, Geração de Testes, Verificação, CMP, EDATCC(graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Ciências da Computação.No contexto de verificação de memória compartilhada em multicore chips, este trabalho propõe uma avaliação crítica da geração automática de testes dirigidos quando baseada em Programação Genética. A metodologia consiste na comparação do gerador McVerSi (que representa o estado da arte) com geradores de testes aleatórios (que representam a base de geradores dirigidos por cobertura). Dois geradores de testes aleatórios são utilizados: um deles (McVerSi_Rand) pressupõe uma restrição do espaço de endereçamento imposta estaticamente antes de disparar a geração, o outro (IRTG) admite a variação dinâmica de restrições impostas ao espaço de endereçamento. Os três geradores são comparados de acordo com duas métricas: cobertura estrutural dos controladores de cache e esforço requerido na detecção de erros de coerência de memória.Florianópolis, SC.Santos, Luiz Claudio Villar dosUniversidade Federal de Santa CatarinaPfeifer, Nícolas2018-07-08T20:19:24Z2018-07-08T20:19:24Z2018-06-21info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesis61 f.application/pdfhttps://repositorio.ufsc.br/handle/123456789/187877porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2018-07-08T20:19:24Zoai:repositorio.ufsc.br:123456789/187877Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732018-07-08T20:19:24Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Avaliação experimental de um gerador de testes dirigidos para a verificação de memória compartilhada em multicore chips
title Avaliação experimental de um gerador de testes dirigidos para a verificação de memória compartilhada em multicore chips
spellingShingle Avaliação experimental de um gerador de testes dirigidos para a verificação de memória compartilhada em multicore chips
Pfeifer, Nícolas
Memória Compartilhada, Geração de Testes, Verificação, CMP, EDA
title_short Avaliação experimental de um gerador de testes dirigidos para a verificação de memória compartilhada em multicore chips
title_full Avaliação experimental de um gerador de testes dirigidos para a verificação de memória compartilhada em multicore chips
title_fullStr Avaliação experimental de um gerador de testes dirigidos para a verificação de memória compartilhada em multicore chips
title_full_unstemmed Avaliação experimental de um gerador de testes dirigidos para a verificação de memória compartilhada em multicore chips
title_sort Avaliação experimental de um gerador de testes dirigidos para a verificação de memória compartilhada em multicore chips
author Pfeifer, Nícolas
author_facet Pfeifer, Nícolas
author_role author
dc.contributor.none.fl_str_mv Santos, Luiz Claudio Villar dos
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Pfeifer, Nícolas
dc.subject.por.fl_str_mv Memória Compartilhada, Geração de Testes, Verificação, CMP, EDA
topic Memória Compartilhada, Geração de Testes, Verificação, CMP, EDA
description TCC(graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Ciências da Computação.
publishDate 2018
dc.date.none.fl_str_mv 2018-07-08T20:19:24Z
2018-07-08T20:19:24Z
2018-06-21
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://repositorio.ufsc.br/handle/123456789/187877
url https://repositorio.ufsc.br/handle/123456789/187877
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 61 f.
application/pdf
dc.publisher.none.fl_str_mv Florianópolis, SC.
publisher.none.fl_str_mv Florianópolis, SC.
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808651952173613056

Registros relacionados