Ver registro no DEDALUS
Exportar registro bibliográfico

 Scalable data-flow testing (2014)

  • Authors:
  • USP affiliated authors: ARAUJO, ROBERTO PAULO ANDRIOLI DE - EACH
  • USP Schools: EACH
  • Subjects: TESTE E AVALIAÇÃO DE SOFTWARE; VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE; ENGENHARIA DE SOFTWARE; ALGORITMOS E ESTRUTURAS DE DADOS
  • Keywords: 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
  • Language: Inglês
  • Abstract: 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
  • Acesso online ao documento

    Online access or search this record in

    Exemplares físicos disponíveis nas Bibliotecas da USP
    BibliotecaCód. de barrasNúm. de chamada
    EACH2696878-10t005.14 A663s
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      ARAUJO, Roberto Paulo Andrioli de; CHAIM, Marcos Lordello.  Scalable data-flow testing. 2014.Universidade de São Paulo, São Paulo, 2014. Disponível em: < http://www.teses.usp.br/teses/disponiveis/100/100131/tde-14112014-155259/ >.
    • APA

      Araujo, R. P. A. de, & Chaim, M. L. (2014).  Scalable data-flow testing. 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, Chaim ML.  Scalable data-flow testing [Internet]. 2014 ;Available from: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-14112014-155259/
    • Vancouver

      Araujo RPA de, Chaim ML.  Scalable data-flow testing [Internet]. 2014 ;Available from: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-14112014-155259/

    Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI: