Definição de um Design de Estudos Empíricos em Técnicas de Teste para Programas Concorrentes

• Processo: 15/23653-5
• Modalidade de apoio: Bolsas no Exterior - Estágio de Pesquisa - Doutorado
• Data de Início da vigência: 01 de fevereiro de 2016
• Data de Término da vigência: 31 de janeiro de 2017
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
• Pesquisador responsável: Simone Do Rocio Senger de Souza
• Beneficiário: Silvana Morita Melo
• Supervisor: Jeffrey C. Carver
• 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
• Instituição Anfitriã: University of Alabama (UA), Estados Unidos
• Vinculado à bolsa: 13/05046-9 - Definição de um Framework para Avaliação Sistemática de Técnicas de Teste no Contexto de Programação Concorrente, BP.DR
• Assunto(s): Engenharia de software
• Palavra(s)-Chave do Pesquisador: Concurrent programming | Empirical study | software testing | Engenharia de Software

Resumo

O teste de software concorrente tem sido intensamente investigado, apresentando uma vasta gama de técnicas e ferramentas de teste. Entretanto, não há um corpo de evidências consolidado que possibilite aos desenvolvedores de aplicações concorrentes na academia ou indústria selecionar dentre as várias técnicas disponíveis, aquela que apresente melhor custo/ benefício quando é incorporada a atividade de teste da organização. O projeto de estágio no exterior está relacionado ao projeto de doutorado que visa investigar as principais alternativas a atividade de teste no contexto de aplicações concorrentes com objetivo de desenvolver um framework para auxiliar na avaliação e seleção dessas técnicas. Dada a experiência do supervisor externo na área de engenharia de software empírica. O projeto desenvolvido em parceria com a Universidade do Alabama tem como objetivo definir um design para estudos empíricos a fim de conduzir experimentos sobre técnicas de teste no contexto da programação concorrente. Este é um fator importante para o projeto de doutorado que o estágio está subordinado, proporcionado fundamentos para o desenvolvimento de um corpo de conhecimento por meio da definição de um framework para seleção de técnicas/ferramentas de teste e base para ajudar os profissionais de teste a identificar a técnica mais apropriada para uso em seus projetos, adequadas as suas necessidades de tempo e custo.

Publicações científicas

(5)

(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)

MELO, SILVANA MORITA; DE SOUZA, SIMONE DO ROCIO SENGER; SARMANHO, FELIPE SANTOS; LOPES DE SOUZA, PAULO SERGIO. Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation. SOFTWARE QUALITY JOURNAL, v. 26, n. 3, SI, p. 921-959, SEP 2018. (15/23653-5, 13/01818-7, 13/05046-9, 10/04042-1)

MELO, SILVANA M.; CARVER, JEFFREY C.; SOUZA, PAULO S. L.; SOUZA, SIMONE R. S.. Empirical research on concurrent software testing: A systematic mapping study. INFORMATION AND SOFTWARE TECHNOLOGY, v. 105, p. 226-251, JAN 2019. (15/23653-5, 13/05046-9)

MELO, S. M.; SOUZA, P. S. L.; SOUZA, S. R. S.; IEEE. Towards an Empirical Study Design for Concurrent Software Testing. PROCEEDINGS OF SE-HPCCSE 2016: 4TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING OR HIGH PERFORMANCE COMPUTING IN COMPUTATIONAL SCIENCE AND ENGINEERING, v. N/A, p. 1-pg., 2016-01-01. (15/23653-5, 13/05046-9)

MELO, SILVANA M.; MOURA, FELIPE M.; SOUZA, PAULO S. L.; SOUZA, SIMONE R. S.; ACM. SeleCTT: An Infrastructure for Selection of Concurrent Software Testing Techniques. SAST 2019: PROCEEDINGS OF THE IV BRAZILIAN SYMPOSIUM ON SYSTEMATIC AND AUTOMATED SOFTWARE TESTING, v. N/A, p. 10-pg., 2019-01-01. (13/05046-9, 15/23653-5)

MELO, SILVANA MORITA; DE SOUZA, SIMONE DO ROCIO SENGER; SARMANHO, FELIPE SANTOS; LOPES DE SOUZA, PAULO SERGIO. Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation. SOFTWARE QUALITY JOURNAL, v. 26, n. 3, p. 39-pg., 2018-09-01. (15/23653-5, 13/01818-7, 10/04042-1, 13/05046-9)