???jsp.display-item.social.title??? |
![]() ![]() |
Please use this identifier to cite or link to this item:
https://tede.ufam.edu.br/handle/tede/6788
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.creator | Alves, Erickson Higor da Silva | - |
dc.creator.Lattes | http://lattes.cnpq.br/6589284404023306 | por |
dc.contributor.advisor1 | Lima Filho, Eddie Batista de | - |
dc.contributor.advisor1Lattes | http://lattes.cnpq.br/7827981023232761 | por |
dc.contributor.advisor-co1 | Cordeiro, Lucas Carvalho | - |
dc.contributor.advisor-co1Lattes | http://lattes.cnpq.br/5005832876603012 | por |
dc.date.issued | 2018-09-14 | - |
dc.identifier.citation | 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. | por |
dc.identifier.uri | https://tede.ufam.edu.br/handle/tede/6788 | - |
dc.description.resumo | 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. | por |
dc.description.abstract | 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. | eng |
dc.format | application/pdf | * |
dc.thumbnail.url | https://tede.ufam.edu.br//retrieve/25961/Disserta%c3%a7%c3%a3o_EricksonAlves_PPGEE.jpg | * |
dc.language | por | por |
dc.publisher | Universidade Federal do Amazonas | por |
dc.publisher.department | Faculdade de Tecnologia | por |
dc.publisher.country | Brasil | por |
dc.publisher.initials | UFAM | por |
dc.publisher.program | Programa de Pós-graduação em Engenharia Elétrica | por |
dc.rights | Acesso Aberto | por |
dc.subject | Verificação de Modelos | por |
dc.subject | Localização de Falhas | por |
dc.subject | Sequencialização | por |
dc.subject | Depuração | por |
dc.subject.cnpq | CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO | por |
dc.title | Localização de falhas em programas concorrentes em C | por |
dc.type | Dissertação | por |
Appears in Collections: | Mestrado em Engenharia Elétrica |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Dissertação_EricksonAlves_PPGEE | 613.27 kB | Adobe PDF | ![]() Download/Open Preview |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.