Dissertação

Localização de falhas em programas concorrentes em C

Este trabalho descreve uma nova abordagem para localizar falhas em programas concorrentes, a qual é baseada em técnicas de verificação de modelos limitada e sequencialização. A principal novidade dessa abordagem é a ideia de reproduzir um comportamento defeituoso em uma versão sequencial do programa...

ver descrição completa

Autor principal: Alves, Erickson Higor da Silva
Outros Autores: http://lattes.cnpq.br/6589284404023306
Grau: Dissertação
Idioma: por
Publicado em: Universidade Federal do Amazonas 2018
Assuntos:
Verificação de Modelos
Localização de Falhas
Sequencialização
Depuração
CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO
Acesso em linha: https://tede.ufam.edu.br/handle/tede/6788
id oai:https:--tede.ufam.edu.br-handle-:tede-6788
recordtype dspace
spelling oai:https:--tede.ufam.edu.br-handle-:tede-67882018-11-30T05:03:29Z Localização de falhas em programas concorrentes em C Alves, Erickson Higor da Silva Lima Filho, Eddie Batista de http://lattes.cnpq.br/6589284404023306 http://lattes.cnpq.br/7827981023232761 Verificação de Modelos Localização de Falhas Sequencialização Depuração CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO Este trabalho descreve uma nova abordagem para localizar falhas em programas concorrentes, a qual é baseada em técnicas de verificação de modelos limitada e sequencialização. A principal novidade dessa abordagem é a ideia de reproduzir um comportamento defeituoso em uma versão sequencial do programa concorrente. De forma a apontar linhas defeituosas, analizam-se os contraexemplos gerados por um verificador de modelos para o programa sequencial instrumentado e procura-se um valor para uma variável de diagnóstico, o qual corresponde a linhas reais no programa original. Essa abordagem é útil para aperfeiçoar o processo de depuração para programas concorrentes, já que ela diz qual linha deve ser corrigida e quais valores levam a uma execução bem-sucedida. Essa abordagem foi implementada como uma transformação código-a-código de um programa concorrente para um não-determinístico sequencial, o qual é então usado como entrada para ferramentas de verificação existentes. Resultados experimentais mostram que a abordagem descrita é eficaz e é capaz de localizar falhas na maioria dos casos de teste utilizados, extraídos da suíte da International Competition on Software Verification 2015. Este trabalho descreve uma nova abordagem para localizar falhas em programas concorrentes, a qual é baseada em técnicas de verificação de modelos limitada e sequencialização. A principal novidade dessa abordagem é a ideia de reproduzir um comportamento defeituoso em uma versão sequencial do programa concorrente. De forma a apontar linhas defeituosas, analizam-se os contraexemplos gerados por um verificador de modelos para o programa sequencial instrumentado e procura-se um valor para uma variável de diagnóstico, o qual corresponde a linhas reais no programa original. Essa abordagem é útil para aperfeiçoar o processo de depuração para programas concorrentes, já que ela diz qual linha deve ser corrigida e quais valores levam a uma execução bem-sucedida. Essa abordagem foi implementada como uma transformação código-a-código de um programa concorrente para um não-determinístico sequencial, o qual é então usado como entrada para ferramentas de verificação existentes. Resultados experimentais mostram que a abordagem descrita é eficaz e é capaz de localizar falhas na maioria dos casos de teste utilizados, extraídos da suíte da International Competition on Software Verification 2015. 2018-11-29T14:29:30Z 2018-09-14 Dissertação ALVES, Erickson Higor da Silva. Localização de falhas em programas concorrentes em C. 2018. 97 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Amazonas, Manaus, 2018. https://tede.ufam.edu.br/handle/tede/6788 por Acesso Aberto application/pdf Universidade Federal do Amazonas Faculdade de Tecnologia Brasil UFAM Programa de Pós-graduação em Engenharia Elétrica
institution TEDE - Universidade Federal do Amazonas
collection TEDE-UFAM
language por
topic Verificação de Modelos
Localização de Falhas
Sequencialização
Depuração
CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO
spellingShingle Verificação de Modelos
Localização de Falhas
Sequencialização
Depuração
CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO
Alves, Erickson Higor da Silva
Localização de falhas em programas concorrentes em C
topic_facet Verificação de Modelos
Localização de Falhas
Sequencialização
Depuração
CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO
description Este trabalho descreve uma nova abordagem para localizar falhas em programas concorrentes, a qual é baseada em técnicas de verificação de modelos limitada e sequencialização. A principal novidade dessa abordagem é a ideia de reproduzir um comportamento defeituoso em uma versão sequencial do programa concorrente. De forma a apontar linhas defeituosas, analizam-se os contraexemplos gerados por um verificador de modelos para o programa sequencial instrumentado e procura-se um valor para uma variável de diagnóstico, o qual corresponde a linhas reais no programa original. Essa abordagem é útil para aperfeiçoar o processo de depuração para programas concorrentes, já que ela diz qual linha deve ser corrigida e quais valores levam a uma execução bem-sucedida. Essa abordagem foi implementada como uma transformação código-a-código de um programa concorrente para um não-determinístico sequencial, o qual é então usado como entrada para ferramentas de verificação existentes. Resultados experimentais mostram que a abordagem descrita é eficaz e é capaz de localizar falhas na maioria dos casos de teste utilizados, extraídos da suíte da International Competition on Software Verification 2015.
author_additional Lima Filho, Eddie Batista de
author_additionalStr Lima Filho, Eddie Batista de
format Dissertação
author Alves, Erickson Higor da Silva
author2 http://lattes.cnpq.br/6589284404023306
author2Str http://lattes.cnpq.br/6589284404023306
title Localização de falhas em programas concorrentes em C
title_short Localização de falhas em programas concorrentes em C
title_full Localização de falhas em programas concorrentes em C
title_fullStr Localização de falhas em programas concorrentes em C
title_full_unstemmed Localização de falhas em programas concorrentes em C
title_sort localização de falhas em programas concorrentes em c
publisher Universidade Federal do Amazonas
publishDate 2018
url https://tede.ufam.edu.br/handle/tede/6788
_version_ 1831969689737101312
score 11.753735

Registros relacionados