Scalable data-flow testing (2014)
- Autores:
- Autor USP: ARAUJO, ROBERTO PAULO ANDRIOLI DE - EACH
- Unidade: EACH
- Assuntos: TESTE E AVALIAÇÃO DE SOFTWARE; VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE; ENGENHARIA DE SOFTWARE; ALGORITMOS E ESTRUTURAS DE DADOS
- Palavras-chave do autor: Análise de cobertura em tempo de execução; Coverage analysis at run-time; Data-flow testing; Instrumentação de programas; Program instrumentation; Teste de fluxo de dados
- Idioma: Inglês
- Resumo: Teste de fluxo de dados (TFD) foi introduzido há mais de trinta anos com o objetivo de criar uma avaliação mais abrangente da estrutura dos programas. TFD exige testes que percorrem caminhos nos quais a atribuição de valor a uma variável (definição) e a subsequente referência a esse valor (uso) são verificados. Essa relação é denominada associação definição-uso. Enquanto as ferramentas de teste de fluxo de controle são capazes de lidar com sistemas compostos de programas grandes e que executam durante bastante tempo, as ferramentas de TFD não têm obtido o mesmo sucesso. Esta situação é, em parte, devida aos custos associados ao rastreamento de associações definição-uso em tempo de execução. Recentemente, foi proposto um algoritmo - chamado Bitwise- Algorithm (BA) - que usa vetores de bits e operações bit a bit para monitorar associações definição-uso em tempo de execução. Esta pesquisa apresenta a implementação de BA para programas compilados em Java. Abordagens anteriores são capazes de lidar com programas pequenos e de médio porte com altas penalidades em termos de execução e memória. Os resultados experimentais mostram que, usando BA, é possível utilizar TFD para verificar sistemas com mais de 250 mil linhas de código e 300 mil associações definição-uso. Além disso, para vários programas, a penalidade de execução imposta por BA é comparável àquela imposta por uma popular ferramenta de teste de fluxo de controle
- Imprenta:
- Data da defesa: 15.09.2014
-
ABNT
ARAUJO, Roberto Paulo Andrioli de. Scalable data-flow testing. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-14112014-155259/. Acesso em: 24 abr. 2024. -
APA
Araujo, R. P. A. de. (2014). Scalable data-flow testing (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/100/100131/tde-14112014-155259/ -
NLM
Araujo RPA de. Scalable data-flow testing [Internet]. 2014 ;[citado 2024 abr. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-14112014-155259/ -
Vancouver
Araujo RPA de. Scalable data-flow testing [Internet]. 2014 ;[citado 2024 abr. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-14112014-155259/
Como citar
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
