Subsidios para o teste estrutural de aplicacoes distribuidas.

• Processo: 08/04614-5
• Modalidade de apoio: Auxílio à Pesquisa - Regular
• Data de Início da vigência: 01 de setembro de 2008
• Data de Término da vigência: 31 de agosto de 2010
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Simone Do Rocio Senger de Souza
• Beneficiário: Simone Do Rocio Senger de Souza
• Instituição Sede: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brasil
• Assunto(s): Engenharia de software Teste e avaliação de software
• Palavra(s)-Chave do Pesquisador: Criterios De Cobertura | Ferramentas De Teste | Teste De Software | Engenharia de software

Resumo

A atividade de teste no contexto de aplicações distribuídas ainda é considerada um desafio. Avanços significativos já foram obtidos, principalmente relacionados ao comportamento não determinístico dessas aplicações. Esforços em aplicar o conhecimento adquirido no contexto de programas seqüenciais permitiram a definição de modelos que representam as aplicações distribuídas e o mapeamento de critérios de teste. Entretanto, um problema que ainda persiste é o custo da atividade de teste nesse contexto. Esse custo é relacionado principalmente ao número de processos e a comunicação/sincronização entre eles, comprometendo o uso dos critérios de teste em aplicações distribuídas mais complexas. Este projeto de pesquisa está inserido no contexto do projeto TestPar, cujo objetivo principal é o desenvolvimento de técnicas, critérios e ferramentas de teste para apoiar a validação de aplicações distribuídas. Nesse cenário, este projeto visa investigar alternativas para reduzir o custo de aplicação do teste e também investigar a eficácia em revelar erros dos critérios propostos. Para isso, estudos experimentais serão conduzidos os quais irão caracterizar um benchmark formado por diferentes aplicações distribuídas, contribuindo com a geração de um pacote de laboratório, o qual poderá ser utilizado em outros projetos, viabilizando assim comparações futuras. (AU)

Publicações científicas

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

SOUZA, S. R. S.; SOUZA, P. S. L.; BRITO, M. A. S.; SIMAO, A. S.; ZALUSKA, E. J.. Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. SOFTWARE TESTING VERIFICATION & RELIABILITY, v. 25, n. 3, SI, p. 310-332, MAY 2015. (10/02839-0, 13/01818-7, 09/04517-2, 08/04614-5)

SOUZA, S. R. S.; SOUZA, P. S. L.; BRITO, M. A. S.; SIMAO, A. S.; ZALUSKA, E. J.. Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. SOFTWARE TESTING VERIFICATION & RELIABILITY, v. 25, n. 3, p. 23-pg., 2015-05-01. (08/04614-5, 13/01818-7, 10/02839-0, 09/04517-2)