Representação em grafo da cobertura de fluxo de dados e sua aplicação
| Ano de defesa: | 2021 |
|---|---|
| Autor(a) principal: | |
| Orientador(a): | |
| Banca de defesa: | |
| Tipo de documento: | Dissertação |
| Tipo de acesso: | Acesso aberto |
| Idioma: | por |
| Instituição de defesa: |
Biblioteca Digitais de Teses e Dissertações da USP
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: | |
| Link de acesso: | https://www.teses.usp.br/teses/disponiveis/100/100131/tde-21122021-143502/ |
Resumo: | 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 |
| id |
USP_49d0ebcf6bdf99c62fbbc31ccdb95566 |
|---|---|
| oai_identifier_str |
oai:teses.usp.br:tde-21122021-143502 |
| network_acronym_str |
USP |
| network_name_str |
Biblioteca Digital de Teses e Dissertações da USP |
| repository_id_str |
|
| spelling |
Representação em grafo da cobertura de fluxo de dados e sua aplicaçãoGraph representation for data-flow coverage and its applicationCobertura de fluxo de dadosData structuresData-flow coverageData-flow testingEstruturas de dadosGraph representationRepresentação em grafoSoftware testingTeste de fluxo de dadosTeste de softwareO 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 dadosData flow testing helps testers design effective tests by requiring the tests to execute sequences of statements from definitions of variables to one or more subsequent uses. These def-use associations are derived from graphs that model software behaviour. A \"flow graph\" that only includes paths that cover def-use associations, and not other control flows, has been defined elsewhere. Although these flow graphs have several advantages over previous graphs, as computed, they omit some valid paths, which are needed to use the graphs to discover subsumption relationships and generate test data. These omissions lead to errors in the results, for example, in the calculation of the subsumption relationship among def-use associations. This work extends previous solutions by introducing a graph that represents all paths that cover a given def-use association. The dissertation presents empirical data showing that this graph can be generated at a reasonable cost and efficiently applied for data flow subsumption discovery. We envision other applications for graphduas such as input data generation and feasibility analysis of data-flow testing requirementsBiblioteca Digitais de Teses e Dissertações da USPChaim, Marcos LordelloConcilio Neto, Mário2021-10-08info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/100/100131/tde-21122021-143502/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2024-10-09T13:16:04Zoai:teses.usp.br:tde-21122021-143502Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212024-10-09T13:16:04Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false |
| dc.title.none.fl_str_mv |
Representação em grafo da cobertura de fluxo de dados e sua aplicação Graph representation for data-flow coverage and its application |
| title |
Representação em grafo da cobertura de fluxo de dados e sua aplicação |
| spellingShingle |
Representação em grafo da cobertura de fluxo de dados e sua aplicação Concilio Neto, Mário Cobertura de fluxo de dados Data structures Data-flow coverage Data-flow testing Estruturas de dados Graph representation Representação em grafo Software testing Teste de fluxo de dados Teste de software |
| title_short |
Representação em grafo da cobertura de fluxo de dados e sua aplicação |
| title_full |
Representação em grafo da cobertura de fluxo de dados e sua aplicação |
| title_fullStr |
Representação em grafo da cobertura de fluxo de dados e sua aplicação |
| title_full_unstemmed |
Representação em grafo da cobertura de fluxo de dados e sua aplicação |
| title_sort |
Representação em grafo da cobertura de fluxo de dados e sua aplicação |
| author |
Concilio Neto, Mário |
| author_facet |
Concilio Neto, Mário |
| author_role |
author |
| dc.contributor.none.fl_str_mv |
Chaim, Marcos Lordello |
| dc.contributor.author.fl_str_mv |
Concilio Neto, Mário |
| dc.subject.por.fl_str_mv |
Cobertura de fluxo de dados Data structures Data-flow coverage Data-flow testing Estruturas de dados Graph representation Representação em grafo Software testing Teste de fluxo de dados Teste de software |
| topic |
Cobertura de fluxo de dados Data structures Data-flow coverage Data-flow testing Estruturas de dados Graph representation Representação em grafo Software testing Teste de fluxo de dados Teste de software |
| description |
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 |
| publishDate |
2021 |
| dc.date.none.fl_str_mv |
2021-10-08 |
| dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
| format |
masterThesis |
| status_str |
publishedVersion |
| dc.identifier.uri.fl_str_mv |
https://www.teses.usp.br/teses/disponiveis/100/100131/tde-21122021-143502/ |
| url |
https://www.teses.usp.br/teses/disponiveis/100/100131/tde-21122021-143502/ |
| dc.language.iso.fl_str_mv |
por |
| language |
por |
| dc.relation.none.fl_str_mv |
|
| dc.rights.driver.fl_str_mv |
Liberar o conteúdo para acesso público. info:eu-repo/semantics/openAccess |
| rights_invalid_str_mv |
Liberar o conteúdo para acesso público. |
| eu_rights_str_mv |
openAccess |
| dc.format.none.fl_str_mv |
application/pdf |
| dc.coverage.none.fl_str_mv |
|
| dc.publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
| publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
| dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da USP instname:Universidade de São Paulo (USP) instacron:USP |
| instname_str |
Universidade de São Paulo (USP) |
| instacron_str |
USP |
| institution |
USP |
| reponame_str |
Biblioteca Digital de Teses e Dissertações da USP |
| collection |
Biblioteca Digital de Teses e Dissertações da USP |
| repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP) |
| repository.mail.fl_str_mv |
virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br |
| _version_ |
1818279223634165760 |