Estratégias de teste e validação no contexto de decompilação (2002)
- Authors:
- Autor USP: SALAS, PERCY ANTONIO PARI - ICMC
- Unidade: ICMC
- Sigla do Departamento: SCE
- Subjects: ENGENHARIA DE SOFTWARE; SOFTWARES (PROJETO;DESENVOLVIMENTO;TESTES)
- Language: Português
- Abstract: 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)
- Imprenta:
- Publisher place: São Carlos
- Date published: 2002
- Data da defesa: 18.03.2002
-
ABNT
SALAS, Percy Antonio Pari. Estratégias de teste e validação no contexto de decompilação. 2002. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2002. . Acesso em: 13 out. 2024. -
APA
Salas, P. A. P. (2002). Estratégias de teste e validação no contexto de decompilação (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. -
NLM
Salas PAP. Estratégias de teste e validação no contexto de decompilação. 2002 ;[citado 2024 out. 13 ] -
Vancouver
Salas PAP. Estratégias de teste e validação no contexto de decompilação. 2002 ;[citado 2024 out. 13 ]
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas