Teste de pares de arestas: automatização e experimentação (2023)
- Authors:
- Autor USP: SILVA, MATHEUS SOARES - EACH
- Unidade: EACH
- DOI: 10.11606/D.100.2023.tde-07022024-233852
- Subjects: TESTE E AVALIAÇÃO DE SOFTWARE; VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE; DESENVOLVIMENTO DE SOFTWARE
- Keywords: Estratégia de instrumentação; Estudo experimental; Pares de arestas; Teste baseado em fluxo de controle; Teste de software; Teste estrutural; Code coverage; Control flow testing; Edge-pairs; Empirical study; Instrumentation strategy; Software testing; Structural testing
- Language: Português
- Abstract: A técnica de teste estrutural é extensamente utilizada para detectar falhas em software. Porém, sem apoio automatizado é impossível sua utilização em programas desenvolvidos na indústria. O teste estrutural é realizado por meio de critérios de teste com base na cobertura de código do programa. O código do programa é comumente abstraído na forma de um grafo e a cobertura de código baseada em fluxo de controle é determinada em termos de elementos do grafo (e. g., nós e arestas). O critério de cobertura todos os pares de arestas é relativamente recente quando comparado com os critérios todos os nós e todas as arestas. Estudos apontam que o critério todos os pares de arestas apresenta uma eficácia promissora na detecção de falhas. Há diversas ferramentas de apoio à aplicação de critérios de teste estruturais, contudo, que seja de nosso conhecimento, o critério todos os pares de arestas não é apoiado por nenhuma. Este trabalho apresenta uma nova abordagem para rastrear pares de arestas com base em operações bit a bit que também é aplicável a nós e arestas.A nova abordagem foi implementada em uma ferramenta para rastreamento de nós, arestas e pares de arestas em tempo de execução. Dados experimentais indicam que todos os pares de arestas adicionam novos caminhos a serem testados a um custo de rastreamento indistinguível em comparação com os critérios todos os nós ou todas as arestas, usando operações bit a bit. Além disso, o custo da nova abordagem bit-a-bit é comparável ao custo de ferramentas utilizadas na indústria que rastreiam nós e arestas
- Imprenta:
- Data da defesa: 12.12.2023
- Status:
- Artigo publicado em periódico de acesso aberto (Gold Open Access)
- Versão do Documento:
- Versão publicada (Published version)
- Acessar versão aberta:
-
ABNT
SILVA, Matheus Soares. Teste de pares de arestas: automatização e experimentação. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://teses.usp.br/teses/disponiveis/100/100131/tde-07022024-233852/. Acesso em: 20 mar. 2026. -
APA
Silva, M. S. (2023). Teste de pares de arestas: automatização e experimentação (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/100/100131/tde-07022024-233852/ -
NLM
Silva MS. Teste de pares de arestas: automatização e experimentação [Internet]. 2023 ;[citado 2026 mar. 20 ] Available from: https://teses.usp.br/teses/disponiveis/100/100131/tde-07022024-233852/ -
Vancouver
Silva MS. Teste de pares de arestas: automatização e experimentação [Internet]. 2023 ;[citado 2026 mar. 20 ] Available from: https://teses.usp.br/teses/disponiveis/100/100131/tde-07022024-233852/
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
Por se tratar de integração com serviço externo, podem existir diferentes versões do trabalho (como preprints ou postprints), que podem diferir da versão publicada.
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
