Verificação automática de programas a partir da monitoração de múltiplas execuções de código.

Página inicial
→
Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
→
PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA
→
Mestrado em Engenharia Elétrica.
→
Ver item

dc.creator.ID	VASCONCELOS, G. M.	pt_BR
dc.creator.Lattes	http://lattes.cnpq.br/9015211624221688	pt_BR
dc.contributor.advisor1	PERKUSICH, Angelo.
dc.contributor.advisor1ID	PERKUSICH, A.	pt_BR
dc.contributor.advisor1Lattes	http://lattes.cnpq.br/9439858291700830	pt_BR
dc.contributor.advisor2	SILVA, Leandro Dias da.
dc.contributor.advisor2ID	SILVA, L. D.	pt_BR
dc.contributor.advisor2Lattes	http://lattes.cnpq.br/7856968264410259	pt_BR
dc.contributor.referee1	LIMA, Antonio Marcus Nogueira.
dc.contributor.referee2	GORGÔNIO, Kyller Costa.
dc.description.resumo	0 objetivo neste trabalho é apresentar um método para a verificação de programas a partir de modelos gerados com a análise de múltiplos traços de execuções do código. Para tanto, o programa a ser verificado deverá ser instrumentado para que ocorra a coleta dos traços das execuções em um arquivo de log. A partir desse arquivo, um algoritmo é aplicado para a obtenção de um modelo reduzido do programa. Esse modelo será então confrontado com a especificação do produto por meio de um verificador de modelos para a detecção de contra-exemplos da especificação. Os contra-exemplos detectados representam erros presentes no código fonte do programa implementado. Estes erros deverão ser corrigidos c as etapas repetidas para uma nova verificação. A validação desse método de verificação automática de programas é apresentado em um estudo de caso.	pt_BR
dc.publisher.country	Brasil	pt_BR
dc.publisher.department	Centro de Engenharia Elétrica e Informática - CEEI	pt_BR
dc.publisher.program	PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA	pt_BR
dc.publisher.initials	UFCG	pt_BR
dc.title	Verificação automática de programas a partir da monitoração de múltiplas execuções de código.	pt_BR
dc.date.issued	2012-03
dc.description.abstract	The objective in this work is to present a method for verifying programs using models generated with the analysis of multiple execution traces. The program to be checked should be instrumented to obtain the traces information and recording in a log file. Using this hie, an algorithm is applied to obtain a reduced program model. This model is then confronted with the product specification through a model checker to detect counterexamples of the specification. The counter-examples detected are caused due source code errors of the program implemented. These erros should be corrected and steps repeated to re-check the specification. The validation of this method for automatic formal verification of software system is presented as a case study.	pt_BR
dc.identifier.uri	http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3682
dc.date.accessioned	2019-05-07T10:09:44Z
dc.date.available	2019-05-07
dc.date.available	2019-05-07T10:09:44Z
dc.type	Dissertação	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.creator	VASCONCELOS, Genildo de Moura.
dc.publisher	Universidade Federal de Campina Grande	pt_BR
dc.language	por	pt_BR
dc.title.alternative	Automatic checking of programs by monitoring multiple code runs.	pt_BR
dc.identifier.citation	VASCONCELOS, Genildo de Moura. Verificação automática de programas a partir da monitoração de múltiplas execuções de código. 2012. 61f. (Dissertação de Mestrado em Engenharia Elétrica), Programa de Pós-Graduação em Engenharia Elétrica, Centro de Engenharia Elétrica e Informática , Universidade Federal de Campina Grande – Paraíba Brasil, 2012.	pt_BR