Advanced search
Start date

Definition of a Framework for Systematic Testing Techniques Evaluation Applied to Concurrent Programming

Grant number: 13/05046-9
Support Opportunities:Scholarships in Brazil - Doctorate
Effective date (Start): July 01, 2013
Effective date (End): January 31, 2018
Field of knowledge:Physical Sciences and Mathematics - Computer Science - Computer Systems
Principal Investigator:Simone Do Rocio Senger de Souza
Grantee:Silvana Morita Melo
Host Institution: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brazil
Associated scholarship(s):15/23653-5 - Definition of Empirical Study Design in Testing Techniques for Concurrent Programs, BE.EP.DR


Several proposals exist to support the test of concurrent programs. In general, the proposals concern static or dynamic analysis, message-passing and shared-memory paradigm, programming language and the use of patterns. These works deal with different testing approaches such as fault injection, formal verification, test-driven development, controlled execution, mutation testing, model-based testing, structural testing, symbolic analysis, search-based testing, concurrency probabilistic testing, reachability testing and test case generation. Although there are several contributions, there is still not a consolidated body of evidence enabling developers of distributed applications in industry and academia to select which techniques or tools present the best cost / benefit relationship, when they are incorporated into the organization testing activity. This project will investigate the main alternatives for the testing activity that have been proposed in context of concurrent programs in order to develop a framework to support the systematic evaluation of these testing alternatives. The objective is facilitate further studies and especially assisting professionals from academia and industry to select the best technique / testing tool according their necessities, considering quality factors such as satisfaction, cost, effectiveness and efficiency.

News published in Agência FAPESP Newsletter about the scholarship:
Articles published in other media outlets (0 total):
More itemsLess items

Scientific publications
(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)
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, . (13/01818-7, 10/04042-1, 15/23653-5, 13/05046-9)
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, . (15/23653-5, 13/05046-9)
Academic Publications
(References retrieved automatically from State of São Paulo Research Institutions)
MELO, Silvana Morita. A Framework for systematic testing techniques evaluation applied to concurrent programming. 2018. Doctoral Thesis - Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC/SB) São Carlos.

Please report errors in scientific publications list by writing to: