Geração automática de testes baseada em algoritmos genéticos para verificação funcional

Detalhes bibliográficos
Ano de defesa: 2016
Autor(a) principal: Maziero, Fabrízio Piccoli
Orientador(a): Lettnin, Djones Vinicius
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
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
Link de acesso: https://repositorio.ufsc.br/xmlui/handle/123456789/175320
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Elétrica, Florianópolis, 2016.
id UFSC_4e6f92d4c7e008ffa206471c2658ee7f
oai_identifier_str oai:repositorio.ufsc.br:123456789/175320
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str
spelling Universidade Federal de Santa CatarinaMaziero, Fabrízio PiccoliLettnin, Djones Vinicius2017-05-02T04:12:34Z2017-05-02T04:12:34Z2016345228https://repositorio.ufsc.br/xmlui/handle/123456789/175320Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Elétrica, Florianópolis, 2016.O constante aumento da complexidade de sistemas embarcados requer um processo de verificação capaz de acompanhar esse crescimento e ser capaz de assegurar o correto funcionamento do sistema projetado, especialmente se tratando de aplicações críticas que lidem com vidas humanas ou com grandes investimentos. Esta responsabilidade por parte das companhias que desenvolvem tais sistemas faz com que a verificação se torne a parte mais importante no projeto de um sistema, consumindo a maior parte dos seus recursos, tanto em questão de tempo quanto financeiramente. A verificação realizada através de simulações requer a participação de um engenheiro de verificação analisando os resultados e com base nestes, modificando parâmetros para gerar novos testes. Neste trabalho é apresentada uma abordagem para uso de Algoritmos Genéticos no processo de verificação, de forma a automatizar a geração de novos vetores de teste. Esta abordagem analisa os resultados com base nas métricas de verificação definidas durante a fase de planejamento do projeto, e com estas informações gera novos testes que contribuam para a validação do sistema, adaptando-se ao funcionamento do sistema e aos resultados de cada nova iteração do processo de verificação.<br>Abstract : The growing increase in embedded systems complexity requires a verification process to be able to follow this trend while capable of assuring the correctness of the designed system, especially on critical applications that deal with human lives, or big financial investments. This responsibility incurred by these system's developers makes verification the most important step in designing an embedded system, considering both development time and money. Simulation-based verification requires an engineer's work by analyzing results and creating new test vectors relevant to the process. In this work an approach for automating test vector generation through Genetic Algorithms is presented. This approach analyzes test results based on predefined verification metrics and, with this information creates new tests that aim on advancing the verification process to reach a better system validation, adapting itself to the design and its results at each step of the process.112 p.| il., grafs., tabs.porEngenharia elétricaSistemas embarcados (Computadores)Algoritmos genéticosGeração automática de testes baseada em algoritmos genéticos para verificação funcionalinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINAL345228.pdfapplication/pdf2456245https://repositorio.ufsc.br/bitstream/123456789/175320/1/345228.pdf8a93eaf6ebf886bec3c4c85de820db74MD51123456789/1753202017-05-02 01:12:34.905oai:repositorio.ufsc.br:123456789/175320Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestsandra.sobrera@ufsc.bropendoar:23732017-05-02T04:12:34Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.pt_BR.fl_str_mv Geração automática de testes baseada em algoritmos genéticos para verificação funcional
title Geração automática de testes baseada em algoritmos genéticos para verificação funcional
spellingShingle Geração automática de testes baseada em algoritmos genéticos para verificação funcional
Maziero, Fabrízio Piccoli
Engenharia elétrica
Sistemas embarcados (Computadores)
Algoritmos genéticos
title_short Geração automática de testes baseada em algoritmos genéticos para verificação funcional
title_full Geração automática de testes baseada em algoritmos genéticos para verificação funcional
title_fullStr Geração automática de testes baseada em algoritmos genéticos para verificação funcional
title_full_unstemmed Geração automática de testes baseada em algoritmos genéticos para verificação funcional
title_sort Geração automática de testes baseada em algoritmos genéticos para verificação funcional
author Maziero, Fabrízio Piccoli
author_facet Maziero, Fabrízio Piccoli
author_role author
dc.contributor.pt_BR.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Maziero, Fabrízio Piccoli
dc.contributor.advisor1.fl_str_mv Lettnin, Djones Vinicius
contributor_str_mv Lettnin, Djones Vinicius
dc.subject.classification.pt_BR.fl_str_mv Engenharia elétrica
Sistemas embarcados (Computadores)
Algoritmos genéticos
topic Engenharia elétrica
Sistemas embarcados (Computadores)
Algoritmos genéticos
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Elétrica, Florianópolis, 2016.
publishDate 2016
dc.date.issued.fl_str_mv 2016
dc.date.accessioned.fl_str_mv 2017-05-02T04:12:34Z
dc.date.available.fl_str_mv 2017-05-02T04:12:34Z
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://repositorio.ufsc.br/xmlui/handle/123456789/175320
dc.identifier.other.pt_BR.fl_str_mv 345228
identifier_str_mv 345228
url https://repositorio.ufsc.br/xmlui/handle/123456789/175320
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 112 p.| il., grafs., tabs.
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
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/175320/1/345228.pdf
bitstream.checksum.fl_str_mv 8a93eaf6ebf886bec3c4c85de820db74
bitstream.checksumAlgorithm.fl_str_mv MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv sandra.sobrera@ufsc.br
_version_ 1851758855023755264

Registros relacionados