Impacto da Relação de Subsunção na Localização de Defeitos baseados em Espectros de Fluxo de Dados (2023)
- Authors:
- Autor USP: SILVA, DENNIS LOPES DA - EACH
- Unidade: EACH
- DOI: 10.11606/D.100.2023.tde-08052023-102345
- Subjects: TESTE E AVALIAÇÃO DE SOFTWARE; DESENVOLVIMENTO DE SOFTWARE
- Keywords: Data flow; Fluxo de Dados; Localização de defeitos; Relação de subsunção; Software Fault Localization; Software Testing; Subsumption Relationship; Testes de Software
- Language: Português
- Abstract: Depuração tem por objetivo localizar e corrigir os defeitos do software. Para auxiliar o desenvolvedor foram desenvolvidas técnicas de localização de defeitos que utilizam métricas de associação e dados de cobertura de código (espectros) para identificar os trechos de código mais suspeitos. Elas auxiliam o desenvolvedor por meio de um ranking dos espectros mais suspeitos que pode ser usado para orientar a caça aos defeitos. Essas técnicas, quando baseadas em espectros de fluxo de dados, utilizam as associações definição uso (ADU) para cálculo das posições no ranking. No entanto, a cobertura de dadas ADUs, muitas vezes, garantem a cobertura de outras ADUs, numa relação entre elas denominada subsunção. Na prática, a relação de subsunção significa que se uma determinada ADU é coberta, outras também são, em determinadas condições, garantidamente cobertas. Com base na propriedade de subsunção, esse trabalho apresenta um experimento no qual é avaliada a eficácia da localização de defeitos com a utilização apenas dos espectros do conjunto de ADUs não-limitadas, ou seja, o conjunto minimal de ADUs que garante a cobertura de todas as outras ADUs do software em teste. Para tal experimento são utilizados um subconjunto dos programas do repositório Defects4J, espectros de fluxo de dados e a métrica de associação Ochiai.Os resultados do experimento indicam que a maioria dos defeitos localizados por espectros de fluxo de dados podem ser localizados inspecionando apenas as ADUs não-limitadas, sobretudo quando são consideradas apenas as ADUs posicionadas nos primeiros rankings. Além disso, o número de linhas de código a serem inspecionadas pelo programador é reduzido
- Imprenta:
- Data da defesa: 30.03.2023
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
ABNT
SILVA, Dennis Lopes da. Impacto da Relação de Subsunção na Localização de Defeitos baseados em Espectros de Fluxo de Dados. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/100/100131/tde-08052023-102345/. Acesso em: 30 jan. 2026. -
APA
Silva, D. L. da. (2023). Impacto da Relação de Subsunção na Localização de Defeitos baseados em Espectros de Fluxo de Dados (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/100/100131/tde-08052023-102345/ -
NLM
Silva DL da. Impacto da Relação de Subsunção na Localização de Defeitos baseados em Espectros de Fluxo de Dados [Internet]. 2023 ;[citado 2026 jan. 30 ] Available from: https://www.teses.usp.br/teses/disponiveis/100/100131/tde-08052023-102345/ -
Vancouver
Silva DL da. Impacto da Relação de Subsunção na Localização de Defeitos baseados em Espectros de Fluxo de Dados [Internet]. 2023 ;[citado 2026 jan. 30 ] Available from: https://www.teses.usp.br/teses/disponiveis/100/100131/tde-08052023-102345/
Informações sobre o DOI: 10.11606/D.100.2023.tde-08052023-102345 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
