Representação em grafo da cobertura de fluxo de dados e sua aplicação (2021)
- Authors:
- Autor USP: CONCILIO NETO, MÁRIO - EACH
- Unidade: EACH
- DOI: 10.11606/D.100.2021.tde-21122021-143502
- Subjects: TESTE E AVALIAÇÃO DE SOFTWARE; ALGORITMOS E ESTRUTURAS DE DADOS; ESTRUTURAS DE DADOS
- Keywords: Cobertura de fluxo de dados; Data-flow coverage; Data-flow testing; Graph representation; Representação em grafo; Teste de fluxo de dados
- Language: Português
- Abstract: O teste de fluxo de dados ajuda os testadores a projetar testes eficazes, exigindo que os testes executem sequências de comandos a partir de definições de variáveis para um ou mais subsequentes usos. Essas associações definição-uso são derivadas de grafos que modelam o comportamento do software. Um "grafo de fluxo" incluindo apenas caminhos que cobrem associações definição-uso, e não outros fluxos de controle, já foi definido em outro trabalho. Embora esses grafos de fluxo tenham várias vantagens sobre os grafos anteriores, quando calculados, eles omitem alguns caminhos válidos, que são necessários no uso dos grafos para descobrir relacionamentos de subsunção e geração de dados de teste. Essas omissões levam a erros nos resultados, por exemplo, no cálculo da relação de subsunção entre associações definição-uso. Este trabalho estende as soluções anteriores, introduzindo um grafo que representa todos os caminhos que cobrem uma dada associação definição-uso. A dissertação apresenta dados experimentais mostrando que este grafo pode ser gerado a um custo razoável e aplicado de forma eficiente para a descoberta da relação de subsunção de requisitos de fluxo de dados. Outras aplicações para as graphduas incluem a geração de dados de entrada e a análise de viabilidade de requisitos de teste de fluxo de dados
- Imprenta:
- Data da defesa: 08.10.2021
- 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
CONCILIO NETO, Mário. Representação em grafo da cobertura de fluxo de dados e sua aplicação. 2021. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://teses.usp.br/teses/disponiveis/100/100131/tde-21122021-143502/. Acesso em: 06 maio 2026. -
APA
Concilio Neto, M. (2021). Representação em grafo da cobertura de fluxo de dados e sua aplicação (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/100/100131/tde-21122021-143502/ -
NLM
Concilio Neto M. Representação em grafo da cobertura de fluxo de dados e sua aplicação [Internet]. 2021 ;[citado 2026 maio 06 ] Available from: https://teses.usp.br/teses/disponiveis/100/100131/tde-21122021-143502/ -
Vancouver
Concilio Neto M. Representação em grafo da cobertura de fluxo de dados e sua aplicação [Internet]. 2021 ;[citado 2026 maio 06 ] Available from: https://teses.usp.br/teses/disponiveis/100/100131/tde-21122021-143502/
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
