Ver registro no DEDALUS
Exportar registro bibliográfico

Estudo e definição de mecanismos para redução do custo de aplicação do teste de programas concorrentes (2011)

  • Authors:
  • USP affiliated authors: MACHADO, MARIO CESAR DA CUNHA - ICMC
  • USP Schools: ICMC
  • Sigla do Departamento: SSC
  • Subjects: TESTE E AVALIAÇÃO DE SOFTWARE; PROGRAMAÇÃO CONCORRENTE (TESTES); SISTEMAS DISTRIBUÍDOS
  • Language: Português
  • Abstract: Programas concorrentes possuem características que os diferenciam de programas sequenciais, tornando a atividade de teste mais complexa. Questões como definição e uso de variáveis por diferentes processos, comunicação, sincronização e comportamento não-determinístico precisam ser consideradas. Apesar dos avanços obtidos nesse contexto, um problema que ainda persiste é o custo da atividade de teste, relacionado principalmente ao número excessivo de elementos requeridos a serem testados. Neste contexto, este trabalho apresenta duas propostas: a primeira estática, focando na detecção automática de elementos requeridos não-executáveis, para os critérios relacionados a sincronizações; e a segunda dinâmica, aplicando-se o teste de alcançabilidade para apoiar a avaliação da cobertura de sequências de sincronizações, desse modo, usando informações dinâmicas para apoiar o teste de cobertura. Estas propostas foram implementadas na ferramenta ValiMPI e um experimento foi realizado a fim de verificar a eficácia da proposta. Os resultados indicam que as duas propostas implementadas neste trabalho são promissoras e auxiliam a reduzir o custo da atividade de teste
  • Imprenta:
  • Data da defesa: 13.04.2011
  • 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
    ICMC30300044305T M149ed e.1
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      MACHADO, Mario Cesar da Cunha; SOUZA, Paulo Sergio Lopes de. Estudo e definição de mecanismos para redução do custo de aplicação do teste de programas concorrentes. 2011.Universidade de São Paulo, São Carlos, 2011. Disponível em: < http://www.teses.usp.br/teses/disponiveis/55/55134/tde-01092011-084548/ >.
    • APA

      Machado, M. C. da C., & Souza, P. S. L. de. (2011). Estudo e definição de mecanismos para redução do custo de aplicação do teste de programas concorrentes. Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-01092011-084548/
    • NLM

      Machado MC da C, Souza PSL de. Estudo e definição de mecanismos para redução do custo de aplicação do teste de programas concorrentes [Internet]. 2011 ;Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-01092011-084548/
    • Vancouver

      Machado MC da C, Souza PSL de. Estudo e definição de mecanismos para redução do custo de aplicação do teste de programas concorrentes [Internet]. 2011 ;Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-01092011-084548/

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