Estratégias de teste e validação no contexto de decompilação

Detalhes bibliográficos
Ano de defesa: 2002
Autor(a) principal: Salas, Percy Antonio Pari
Orientador(a): Não Informado pela instituição
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: Biblioteca Digitais de Teses e Dissertações da USP
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
Palavras-chave em Português:
Não disponível
Not available
Link de acesso: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03062015-143016/
Resumo: Numa realidade em que a maioria das atividades desenvolvidas por nós são realizadas com apoio de sistemas computacionais, torna-se ainda mais relevante a atividade de validação desses sistemas. A decompilação é uma das atividades, dentro do processo de desenvolvimento desses sistemas, que está sendo muito difundida atualmente. Assim, torna-se necessária a existência de técnicas e estratégias que visem a aumentar a confiança na corretitude tanto das ferramentas que se usam quanto dos produtos que se geram. Este trabalho propõe uma estratégia incremental de aplicação de diversas técnicas e critérios para o teste e validação de ferramentas de decompilação e, consequentemente, dos produtos gerados por um decompilador. Para ilustrar o emprego da estratégia definida foram realizados dois estudos de caso, usando os decompiladores Dcc(para a linguagem alvo C) e JAD (para a linguagem alvo Java).
id USP_d85260b4b9ae8b39b12ce76508a3873d
oai_identifier_str oai:teses.usp.br:tde-03062015-143016
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str
spelling Estratégias de teste e validação no contexto de decompilaçãoTest and validation strategies in the context decompilationNão disponívelNot availableNuma realidade em que a maioria das atividades desenvolvidas por nós são realizadas com apoio de sistemas computacionais, torna-se ainda mais relevante a atividade de validação desses sistemas. A decompilação é uma das atividades, dentro do processo de desenvolvimento desses sistemas, que está sendo muito difundida atualmente. Assim, torna-se necessária a existência de técnicas e estratégias que visem a aumentar a confiança na corretitude tanto das ferramentas que se usam quanto dos produtos que se geram. Este trabalho propõe uma estratégia incremental de aplicação de diversas técnicas e critérios para o teste e validação de ferramentas de decompilação e, consequentemente, dos produtos gerados por um decompilador. Para ilustrar o emprego da estratégia definida foram realizados dois estudos de caso, usando os decompiladores Dcc(para a linguagem alvo C) e JAD (para a linguagem alvo Java).Most of our activities are carried out with the assistance of computational systems, which makes even more relevant the validation activity of such systems. Decompilation is one of the activities of the software development process that is being very much difussed nowadays. Thus, the existence of testing and validation techniques and strategies that aim at incrementing confidence on decompilation tools and products becomes a necessity. This work proposes an incremental strategy composed of various techniques and testing criteria for testing and validating decompilation tools and related products. To illustrate that strategy two case studies were used, one case study using Dcc (a decompiler for C language) and another one using JAD (a decompiler for Java language).Biblioteca Digitais de Teses e Dissertações da USPMaldonado, José CarlosSalas, Percy Antonio Pari2002-03-18info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/55/55134/tde-03062015-143016/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2016-07-28T16:11:57Zoai:teses.usp.br:tde-03062015-143016Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212016-07-28T16:11:57Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Estratégias de teste e validação no contexto de decompilação
Test and validation strategies in the context decompilation
title Estratégias de teste e validação no contexto de decompilação
spellingShingle Estratégias de teste e validação no contexto de decompilação
Salas, Percy Antonio Pari
Não disponível
Not available
title_short Estratégias de teste e validação no contexto de decompilação
title_full Estratégias de teste e validação no contexto de decompilação
title_fullStr Estratégias de teste e validação no contexto de decompilação
title_full_unstemmed Estratégias de teste e validação no contexto de decompilação
title_sort Estratégias de teste e validação no contexto de decompilação
author Salas, Percy Antonio Pari
author_facet Salas, Percy Antonio Pari
author_role author
dc.contributor.none.fl_str_mv Maldonado, José Carlos
dc.contributor.author.fl_str_mv Salas, Percy Antonio Pari
dc.subject.por.fl_str_mv Não disponível
Not available
topic Não disponível
Not available
description Numa realidade em que a maioria das atividades desenvolvidas por nós são realizadas com apoio de sistemas computacionais, torna-se ainda mais relevante a atividade de validação desses sistemas. A decompilação é uma das atividades, dentro do processo de desenvolvimento desses sistemas, que está sendo muito difundida atualmente. Assim, torna-se necessária a existência de técnicas e estratégias que visem a aumentar a confiança na corretitude tanto das ferramentas que se usam quanto dos produtos que se geram. Este trabalho propõe uma estratégia incremental de aplicação de diversas técnicas e critérios para o teste e validação de ferramentas de decompilação e, consequentemente, dos produtos gerados por um decompilador. Para ilustrar o emprego da estratégia definida foram realizados dois estudos de caso, usando os decompiladores Dcc(para a linguagem alvo C) e JAD (para a linguagem alvo Java).
publishDate 2002
dc.date.none.fl_str_mv 2002-03-18
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 http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03062015-143016/
url http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03062015-143016/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1865490824181055488

Registros relacionados