• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Mémoire de Maîtrise
DOI
10.11606/D.55.2002.tde-03062015-143016
Document
Auteur
Nom complet
Percy Antonio Pari Salas
Unité de l'USP
Domain de Connaissance
Date de Soutenance
Editeur
São Carlos, 2002
Directeur
Jury
Maldonado, José Carlos (Président)
Price, Ana Maria de Alencar
Santana, Marcos José
Titre en portugais
Estratégias de teste e validação no contexto de decompilação
Mots-clés en portugais
Não disponível
Resumé en portugais
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).
Titre en anglais
Test and validation strategies in the context decompilation
Mots-clés en anglais
Not available
Resumé en anglais
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).
 
AVERTISSEMENT - Regarde ce document est soumise à votre acceptation des conditions d'utilisation suivantes:
Ce document est uniquement à des fins privées pour la recherche et l'enseignement. Reproduction à des fins commerciales est interdite. Cette droits couvrent l'ensemble des données sur ce document ainsi que son contenu. Toute utilisation ou de copie de ce document, en totalité ou en partie, doit inclure le nom de l'auteur.
Date de Publication
2015-06-03
 
AVERTISSEMENT: Apprenez ce que sont des œvres dérivées cliquant ici.
Tous droits de la thèse/dissertation appartiennent aux auteurs
Centro de Informática de São Carlos
Bibliothèque Numérique de Thèses et Mémoires de l'USP. Copyright © 2001-2022. Tous droits réservés.