Geração de testes de memória compartilhada coerente: uma avaliação de cobertura e eficácia

Detalhes bibliográficos
Autor(a) principal: Graf, Marleson
Data de Publicação: 2017
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/xmlui/handle/123456789/182193
Resumo: TCC(graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Ciências da Computação.
id UFSC_0ee74319d558a86f6a5e781808e73b6f
oai_identifier_str oai:repositorio.ufsc.br:123456789/182193
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Geração de testes de memória compartilhada coerente: uma avaliação de cobertura e eficáciaVerificaçãoMemória CompatilhadaMultiprocessadoresVerificationShared MemoryGeração de TestesTest GenerationChip MultiprocessingTCC(graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Ciências da Computação.Multiprocessadores em chip (CMP) vêm sendo desafiados pela crescente complexidade de seus subsistemas de memória compartilhada. Regras de consistência e requisitos de coerência especificados por um modelo de memória devem ser atendidos pelo hardware para que o funcionamento da memória ocorra como esperado pelo programador. O uso de regras de consistência relaxadas - para abrir espaço a novas otimizações - e o crescente número de núcleos - o que aumenta a complexidade dos protocolos de coerência - torna o projeto do subsistema de memória suscetível a erros. Para evitar que esses erros se propaguem até a fase de prototipação, aplicam-se técnicas de verificação sobre uma versão executável do projeto (por meio de simulações). Essas técnicas dependem da execução de programas de teste sobre a plataforma verificada, a fim de estimular o sistema e expor quaisquer erros que possam existir no projeto. Nesse trabalho é proposta uma métrica de cobertura para avaliar os programas de testes gerados por diferentes técnicas, e assim descobrir quais propriedades e características dos geradores têm mais impacto na capacidade de exposição de erros. Com essas informações espera-se fomentar as bases de um futuro gerador adaptativo de testes. Complementarmente, foram desenvolvidos novos erros de coerência, a partir dos quais criaram-se representações de projeto para avaliar o esforço e eficácia dos testes gerados pelas diferentes técnicas. Para a representação dos projetos, foi utilizado um simulador de domínio público (gem5). Ao todo, foram executados 14400 programas de teste para a avaliação de cobertura e 86400 casos de uso para a avaliação de esforço e eficácia (6 erros x 14400 programas de teste), em arquiteturas de 8, 16 e 32 núcleos. Os resultados mostram que a combinação de duas diferentes técnicas de geração de testes leva aos melhores valores de cobertura e alcança os melhores resultados de esforço e eficácia na maiorias dos cenários de verificação.Florianópolis, SC.Santos, Luiz Claudio Villar dosUniversidade Federal de Santa CatarinaGraf, Marleson2017-12-13T20:33:16Z2017-12-13T20:33:16Z2017-11-14info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesis80 p.application/pdfhttps://repositorio.ufsc.br/xmlui/handle/123456789/182193porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2017-12-13T20:33:16Zoai:repositorio.ufsc.br:123456789/182193Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732017-12-13T20:33:16Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Geração de testes de memória compartilhada coerente: uma avaliação de cobertura e eficácia
title Geração de testes de memória compartilhada coerente: uma avaliação de cobertura e eficácia
spellingShingle Geração de testes de memória compartilhada coerente: uma avaliação de cobertura e eficácia
Graf, Marleson
Verificação
Memória Compatilhada
Multiprocessadores
Verification
Shared Memory
Geração de Testes
Test Generation
Chip Multiprocessing
title_short Geração de testes de memória compartilhada coerente: uma avaliação de cobertura e eficácia
title_full Geração de testes de memória compartilhada coerente: uma avaliação de cobertura e eficácia
title_fullStr Geração de testes de memória compartilhada coerente: uma avaliação de cobertura e eficácia
title_full_unstemmed Geração de testes de memória compartilhada coerente: uma avaliação de cobertura e eficácia
title_sort Geração de testes de memória compartilhada coerente: uma avaliação de cobertura e eficácia
author Graf, Marleson
author_facet Graf, Marleson
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 Graf, Marleson
dc.subject.por.fl_str_mv Verificação
Memória Compatilhada
Multiprocessadores
Verification
Shared Memory
Geração de Testes
Test Generation
Chip Multiprocessing
topic Verificação
Memória Compatilhada
Multiprocessadores
Verification
Shared Memory
Geração de Testes
Test Generation
Chip Multiprocessing
description TCC(graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Ciências da Computação.
publishDate 2017
dc.date.none.fl_str_mv 2017-12-13T20:33:16Z
2017-12-13T20:33:16Z
2017-11-14
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/xmlui/handle/123456789/182193
url https://repositorio.ufsc.br/xmlui/handle/123456789/182193
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 80 p.
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_ 1808652373469429760

Registros relacionados