Avaliação da Efetividade dos Critérios de Teste Estruturais no Contexto de Programas Concorrentes

• Processo: 09/04517-2
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de agosto de 2009
• Data de Término da vigência: 31 de julho de 2011
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
• Pesquisador responsável: Adenilso da Silva Simão
• Beneficiário: Maria Adelina Silva Brito
• 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: Critérios de Teste | Teste de Programas Concorrentes | Teste de Software | engenharia de software

Resumo

Esta proposta de mestrado está inserida no contexto do projeto Subsídios para o Teste Estrutural de Aplicações Distribuídas (FAPESP 2008/04614-5), cujo objetivo central é investigar alternativas para reduzir o custo de aplicação e a eficácia em revelar defeitos dos critérios propostos para aplicações concorrentes. Este projeto de mestrado em particular irá caracterizar e aplicar um estudo experimental com o objetivo de avaliar o custo, eficácia e aspecto complementar dos critérios de teste estruturais propostos para programas concorrentes. Será feito um estudo sobre a taxonomia de defeitos existentes para programas concorrentes, de modo a avaliar se os critérios de teste estudados são apropriados para revelar esses defeitos. Espera-se com os resultados deste projeto que a ferramenta de teste ValiPar - ferramenta de apoio ao teste de programas concorrentes, em desenvolvimento pelo grupo de pesquisa, seja melhorada e que a mesma possa ser utilizada com maior amplitude. Esse objetivo permitirá que a ferramenta seja disponibilizada para uso pela comunidade de programação concorrente e para o ensino de teste de programas concorrentes.

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)